- Axioms for Concurrent Objects
- Linearizability: A Correctness Condition for Concurrent Objects
- Line-Up: A Complete and Automatic Linearizability Checker
- Experience with Model Checking Linearizability
- Testing for Linearizability
- Faster linearizability checking via P-compositionality
- Concurrent Specifications Beyond Linearizability
- Specifying Concurrent Problems: Beyond Linearizability and up to Tasks
- Sequential Consistency versus Linearizability
- Linearizability versus Serializability