Atomicity Refinement and Trace Reduction Theorems
Abstract elided by the publisher.
Related papers
- Abstraction for conflict-free replicated data types PLDI 2021
- Foundational and Compositional Verification of Layered Concurrent Objects ECOOP 2026
- Theorems for free from separation logic specifications ICFP 2021
- Specification and inference of trace refinement relations OOPSLA 2019
- Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics VMCAI 2019
- Static analysis of atomicity for programs with non-blocking synchronization PPoPP 2005
- VYRD: verifYing concurrent programs by runtime refinement-violation detection PLDI 2005
- Trace-Based Symbolic Analysis for Atomicity Violations TACAS 2010