TY  - RPRT
TI  - Correctness of Speculative Optimizations with Dynamic Deoptimization
AU  - Olivier Flückiger
AU  - Gabriel Scherer
AU  - Ming-Ho Yee
AU  - Aviral Goel
AU  - Amal Ahmed
AU  - Jan Vitek
PY  - 2017
DO  - 10.1145/3158137
UR  - https://arxiv.org/abs/1711.03050
ID  - 1711.03050
ER  -