Delayed Exceptions - Speculative Execution of Trapping Instructions
Abstract elided by the publisher.
Related papers
- SSMR: Statically Detecting Speculation Safe Memory Regions to Mitigate Transient Execution Attacks CC 2026
- Removing redundancy via exception check motion CGO 2008
- A Comparison of Two Verification Methods for Speculative Instruction Execution TACAS 2000
- Loop Tiling in the Presence of Exceptions ECOOP 2015
- Efficient Instruction Scheduling for Delayed-Load Architectures TOPLAS 1995
- Abstract interpretation under speculative execution PLDI 2019
- Verifying Advanced Microarchitectures that Support Speculation and Exceptions CAV 2000
- Verifying x86 instruction implementations CPP 2020