Lazy and speculative execution in computer systems
No abstract available.
Related papers
- Optimizing R language execution via aggressive speculation DLS 2016
- Reducing memory buffering overhead in software thread-level speculation CC 2016
- Cheap eagerness: speculative evaluation in a lazy functional language ICFP 2000
- Safe programmable speculative parallelism PLDI 2010
- Compiler support for speculative multithreading architecture with probabilistic points-to analysis PPoPP 2003
- Scaling out speculative execution of finite-state machines with parallel merge PPoPP 2020
- SSMR: Statically Detecting Speculation Safe Memory Regions to Mitigate Transient Execution Attacks CC 2026
- An SSA-based algorithm for optimal speculative code motion under an execution profile PLDI 2011