Specifying and Verifying Future Conditions
Abstract elided by the publisher.
Related papers
- Back to the future: revisiting precise program verification using SMT solvers POPL 2008
- Specifying and Verifying Persistent Libraries ESOP 2024
- Automatic parallelization of pure method calls via conditional future synthesis OOPSLA 2016
- Local rely-guarantee reasoning POPL 2009
- StarMalloc: Verifying a Modern, Hardened Memory Allocator OOPSLA 2024
- Axioms for Concurrent Objects POPL 1987
- Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers OOPSLA 2017
- Type-Directed Bounding of Collections in Reactive Programs VMCAI 2019