An Axiomatic Specification for Sequential Memory Models
Abstract elided by the publisher.
Related papers
- Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models CAV 2021
- Recurrence Sets for Proving Fair Non-termination under Axiomatic Memory Consistency Models POPL 2026
- Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory TOPLAS 2014
- Weakening WebAssembly OOPSLA 2019
- MemSAT: checking axiomatic specifications of memory models PLDI 2010
- An Axiomatic Basis for Computer Programming on Relaxed Hardware Architectures: The AxSL Logics TOPLAS 2026
- Relaxed Memory Concurrency Re-executed POPL 2025
- Bounding data races in space and time PLDI 2018