An Axiomatic Memory Model for POWER Multiprocessors
Abstract elided by the publisher.
Related papers
- Stateless Model Checking for POWER CAV 2016
- Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory TOPLAS 2014
- Memory, an elusive abstraction ISMM 2010
- An Axiomatic Basis for Computer Programming on Relaxed Hardware Architectures: The AxSL Logics TOPLAS 2026
- An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic POPL 2024
- An Axiomatic Specification for Sequential Memory Models CAV 2015
- The Java Memory Model: Operationally, Denotationally, Axiomatically ESOP 2007
- Clarifying and compiling C/C++ concurrency: from C++11 to POWER POPL 2012