Comparison Under Abstraction for Verifying Linearizability
No abstract available.
Related papers
- A program logic for concurrent objects under fair scheduling POPL 2016
- RELINCHE: Automatically Checking Linearizability under Relaxed Memory Consistency POPL 2025
- Shape-Value Abstraction for Verifying Linearizability VMCAI 2009
- Compositionality and Observational Refinement for Linearizability with Crashes OOPSLA 2024
- A Fully Verified Persistency Library VMCAI 2024
- Speculative linearizability PLDI 2012
- Progress of concurrent objects with partial methods POPL 2018
- A Complete Program Logic for Compositional Linearizability ECOOP 2026