Simulation and Invariance for Weak Consistency
Abstract elided by the publisher.
Related papers
- Ogre and Pythia: an invariance proof method for weak consistency models POPL 2017
- Inlining as a Space Optimization: A Simple Time- and Space-Invariant Implementation of the Weak Lambda-Calculus ICFP 2026
- Verifying optimizations of concurrent programs in the promising semantics PLDI 2022
- Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory TOPLAS 2014
- Ensuring Convergence and Invariants Without Coordination ECOOP 2025
- Verifying Visibility-Based Weak Consistency ESOP 2020
- The weak call-by-value λ-calculus is reasonable for both time and space POPL 2020
- Safe replication through bounded concurrency verification OOPSLA 2018