Checking Linearizability of Encapsulated Extended Operations
Abstract elided by the publisher.
Related papers
- Checking linearizability using hitting families PPoPP 2019
- Mechanically verified proof obligations for linearizability TOPLAS 2011
- Sound, complete, and tractable linearizability monitoring for concurrent collections POPL 2018
- Concurrent libraries with foresight PLDI 2013
- Line-up: a complete and automatic linearizability checker PLDI 2010
- Monadic encapsulation of effects: a revised approach (extended version) JFP 2001
- Axioms for Concurrent Objects POPL 1987
- Encapsulated open nesting for STM: fine-grained higher-level conflict detection PPoPP 2019