Skip to content

Instantly share code, notes, and snippets.

@MattPD
Created May 8, 2025 23:16
Compilers: Optimization: Speculation

An intermediate representation for speculative optimizations in a dynamic compiler

Correctness of speculative optimizations with dynamic deoptimization

Formally verified speculation and deoptimization in a JIT compiler

Just in Time: Assumptions and Speculations

Reusing Just-in-Time Compiled Code

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment