What's Decidable about Weak Memory Models?
No abstract available.
Related papers
- Formal Reasoning about the C11 Weak Memory Model CPP 2015
- Kater: Automating Weak Memory Model Metatheory and Consistency Checking POPL 2023
- GPS: navigating weak memory with ghosts, protocols, and separation OOPSLA 2014
- Formal verification of a concurrent bounded queue in a weak memory model ICFP 2021
- Causal-Broadcast Memory ESOP 2026
- What's Decidable About Causally Consistent Shared Memory? TOPLAS 2022
- Making weak memory models fair OOPSLA 2021
- Decidable Verification under Localized Release-Acquire Concurrency TACAS 2024