A Comparison of Two Verification Methods for Speculative Instruction Execution
Abstract elided by the publisher.
Related papers
- Abstract interpretation under speculative execution PLDI 2019
- Delayed Exceptions - Speculative Execution of Trapping Instructions CC 1994
- SSMR: Statically Detecting Speculation Safe Memory Regions to Mitigate Transient Execution Attacks CC 2026
- Compiler Optimization of Memory-Resident Value Communication Between Speculative Threads CGO 2004
- Combining SIMD and Many/Multi-core Parallelism for Finite State Machines with Enumerative Speculation PPoPP 2017
- Formal Verification of VLIW Microprocessors with Speculative Execution CAV 2000
- Processor Verification with Precise Exeptions and Speculative Execution CAV 1998
- LAR-CC: Large atomic regions with conditional commits CGO 2011