An intermediate representation for speculative optimizations in a dynamic compiler
- VMIL 2013
- Gilles Duboscq, Thomas Würthinger, Lukas Stadler, Christian Wimmer, Doug Simon, Hanspeter Mössenböck
- https://dl.acm.org/doi/abs/10.1145/2542142.2542143
Correctness of speculative optimizations with dynamic deoptimization
- POPL 2018
- Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
- https://dl.acm.org/doi/abs/10.1145/3158137
Formally verified speculation and deoptimization in a JIT compiler
- POPL 2021
- Aurèle Barrière, Sandrine Blazy, Olivier Flückiger, David Pichardie, Jan Vitek
- https://dl.acm.org/doi/abs/10.1145/3434327
Just in Time: Assumptions and Speculations
- 2022 PhD Dissertatoin
- Olivier Flückiger
- https://repository.library.northeastern.edu/files/neu:4f186m442/fulltext.pdf
- Section 4.7, Assumptions in PIR
Reusing Just-in-Time Compiled Code
- OOPSLA 2023
- Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, Jan Vitek
- https://dl.acm.org/doi/abs/10.1145/3622839