Flückiger, Scherer, Yee, Goel, Ahmed, Vitek, 2017. Correctness of Speculative Optimizations with Dynamic Deoptimization.