Proving Safety of Speculative Load Instructions at Compile Time
Abstract elided by the publisher.
Related papers
- Static Load Classification for Improving the Value Predictability of Data-Cache Misses PLDI 2002
- A General Compiler Framework for Speculative Optimizations Using Data Speculative Code Motion CGO 2005
- Experiences with Multi-threading and Dynamic Class Loading in a Java Just-In-Time Compiler CGO 2006
- Speculative Register Promotion Using Advanced Load Address Table (ALAT) CGO 2003
- Do You Even Lift? Strengthening Compiler Security Guarantees against Spectre Attacks POPL 2025
- SSMR: Statically Detecting Speculation Safe Memory Regions to Mitigate Transient Execution Attacks CC 2026
- VLIW Compilation Techniques in a Superscalar Environment PLDI 1994
- Formally verified speculation and deoptimization in a JIT compiler POPL 2021