Model Checking of Linearizability of Concurrent List Implementations
Abstract elided by the publisher.
Related papers
- Deriving linearizable fine-grained concurrent objects PLDI 2008
- RELINCHE: Automatically Checking Linearizability under Relaxed Memory Consistency POPL 2025
- Fragment Abstraction for Concurrent Shape Analysis ESOP 2018
- Bundling linked data structures for linearizable range queries PPoPP 2022
- A more pragmatic implementation of the lock-free, ordered, linked list PPoPP 2021
- Mechanically verified proof obligations for linearizability TOPLAS 2011
- A program logic for concurrent objects under fair scheduling POPL 2016
- Checking linearizability using hitting families PPoPP 2019