Using Timestamping and History Variables to Verify Sequential Consistency
Abstract elided by the publisher.
Related papers
- Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems CAV 1999
- Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic PLDI 2025
- Verified security of BLT signature scheme CPP 2020
- Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed CAV 2023
- Fragment Abstraction for Concurrent Shape Analysis ESOP 2018
- Basic Compiler Algorithms for Parallel Programs PPoPP 1999
- Efficient and Correct Execution of Parallel Programs that Share Memory TOPLAS 1988
- Robustness against release/acquire semantics PLDI 2019