Concurrent Library Correctness on the TSO Memory Model
Abstract elided by the publisher.
Related papers
- On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models POPL 2019
- Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model OOPSLA 2018
- Defining Correctness Conditions for Concurrent Objects in Multicore Architectures ECOOP 2015
- A Fully Verified Persistency Library VMCAI 2024
- Bridging the gap between programming languages and hardware weak memory models POPL 2019
- Checking and Enforcing Robustness against TSO ESOP 2013
- Specifying and Verifying RDMA Synchronisation ESOP 2026
- Making weak memory models fair OOPSLA 2021