On Validity of Program Transformations in the Java Memory Model
Abstract elided by the publisher.
Related papers
- jMT: Testing Correctness of Java Memory Models TACAS 2026
- Compositional Verification of Compiler Optimisations on Relaxed Memory ESOP 2018
- The Java memory model POPL 2005
- EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations CAV 2001
- Modeling Dynamic (De)Allocations of Local Memory for Translation Validation OOPSLA 2024
- Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it POPL 2015
- A formalization of Java's concurrent access modes OOPSLA 2019
- An accurate cost model for guiding data locality transformations TOPLAS 2005