A Complete Guide to the Future
Abstract elided by the publisher.
Related papers
- From implementation to theory in product synthesis POPL 2007
- Prescient memory: exposing weak memory model behavior by looking into the future ISMM 2016
- Leapfrogging: A Portable Technique for Implementing Efficient Futures PPoPP 1993
- Counterexample-Guided Inference of Modular Specifications OOPSLA 2025
- Capturing the future by replaying the past (functional pearl) ICFP 2018
- Back to the future: revisiting precise program verification using SMT solvers POPL 2008
- Consistency-Based Software Diagnosis: Accuracy, Scalability, and Limitations CAV 2026
- Natural language-guided programming Onward! 2021