Atomic Object Composition
Abstract elided by the publisher.
Related papers
- Supporting lock-free composition of concurrent data objects PPoPP 2010
- Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems OOPSLA 2021
- A separation logic for refining concurrent objects POPL 2011
- A Complete Program Logic for Compositional Linearizability ECOOP 2026
- C4: verified transactional objects OOPSLA 2022
- Foundational and Compositional Verification of Layered Concurrent Objects ECOOP 2026
- Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations TOPLAS 2014
- Concurrent libraries with foresight PLDI 2013