Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models
No abstract available.
Related papers
- Assertional reasoning about data races in relaxed memory models PPoPP 2008
- Repairing sequential consistency in C/C++11 PLDI 2017
- How Hard Is Weak-Memory Testing? POPL 2024
- RustBelt meets relaxed memory POPL 2020
- An Axiomatic Basis for Computer Programming on Relaxed Hardware Architectures: The AxSL Logics TOPLAS 2026
- Relaxed Memory Concurrency Re-executed POPL 2025
- Library abstraction for C/C++ concurrency POPL 2013
- Relaxed Consistency and Coherence Granularity in DSM Systems: A Performance Evaluation PPoPP 1997