@misc{indiciaec389859232c9,
  title = {Correctness of Speculative Optimizations with Dynamic Deoptimization},
  author = {Olivier Flückiger and Gabriel Scherer and Ming-Ho Yee and Aviral Goel and Amal Ahmed and Jan Vitek},
  year = {2017},
  doi = {10.1145/3158137},
  url = {https://arxiv.org/abs/1711.03050},
  note = {Source identifier: 1711.03050}
}