The Java Memory Model: Operationally, Denotationally, Axiomatically
Abstract elided by the publisher.
Related papers
- Verifying C11 programs operationally PPoPP 2019
- MemSAT: checking axiomatic specifications of memory models PLDI 2010
- An Axiomatic Specification for Sequential Memory Models CAV 2015
- An Axiomatic Memory Model for POWER Multiprocessors CAV 2012
- Plan B: a buffered memory model for Java POPL 2013
- A formalization of Java's concurrent access modes OOPSLA 2019
- The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding POPL 2023
- Recurrence Sets for Proving Fair Non-termination under Axiomatic Memory Consistency Models POPL 2026