Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking
Abstract elided by the publisher.
Related papers
- Checking Robustness Against Snapshot Isolation CAV 2019
- Dynamic Robustness Verification against Weak Memory PLDI 2025
- Model checking copy phases of concurrent copying garbage collection with various memory models OOPSLA 2017
- Sequential reasoning for optimizing compilers under weak memory concurrency PLDI 2022
- GPS: navigating weak memory with ghosts, protocols, and separation OOPSLA 2014
- Fast and Generalized Polynomial Time Memory Consistency Verification CAV 2006
- Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models TOPLAS 2023
- On library correctness under weak memory consistency: specifying and verifying concurrent libraries under declarative consistency models POPL 2019