Collaborated with:
G.Scherer Ming-Ho Yee Aviral Goel A.Ahmed J.Vitek
Talks about:
deoptim (1) correct (1) specul (1) optim (1) dynam (1)
Person: Olivier Flückiger
DBLP: Fl=uuml=ckiger:Olivier
Contributed to:
Wrote 1 papers:
- POPL-2018-FluckigerSYGAV #correctness #optimisation
- Correctness of speculative optimizations with dynamic deoptimization (OF, GS, MHY, AG, AA, JV), p. 28.