A Theory of Speculative Computation
No abstract available.
Related papers
- Lazy and speculative execution in computer systems ICFP 2008
- Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices PLDI 2005
- Enhanced speculative parallelization via incremental recovery PPoPP 2011
- Abstract semantic differencing via speculative correlation OOPSLA 2014
- Safe programmable speculative parallelism PLDI 2010
- SCAF: a speculation-aware collaborative dependence analysis framework PLDI 2020
- Compiler support for speculative multithreading architecture with probabilistic points-to analysis PPoPP 2003
- A Provably Time-Efficient Parallel Implementation of Full Speculation POPL 1996