Skip to content

Instantly share code, notes, and snippets.

@veyselusta

veyselusta/compilers.optimization.speculation.md

Forked from MattPD/compilers.optimization.speculation.md
Created May 9, 2025 10:04
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save veyselusta/8b5596b268119a11e6855ce1a4b265e8 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save veyselusta/8b5596b268119a11e6855ce1a4b265e8 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. @MattPD MattPD created this gist May 8, 2025.
    25 changes: 25 additions & 0 deletions compilers.optimization.speculation.md
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,25 @@
    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