Generative Operational Semantics for Relaxed Memory Models
No abstract available.
Related papers
- Relaxed memory models: an operational approach POPL 2009
- ArchSem: Reusable Rigorous Semantics of Relaxed Architectures POPL 2026
- Dynamic synthesis for relaxed memory models PLDI 2012
- An Operational Approach to Library Abstraction under Relaxed Memory Concurrency POPL 2023
- RustBelt meets relaxed memory POPL 2020
- A promising semantics for relaxed-memory concurrency POPL 2017
- Modular data-race-freedom guarantees in the promising semantics PLDI 2021
- Relaxed virtual memory in Armv8-A ESOP 2022