Compiling Volatile Correctly in Java
No abstract available.
DOI 10.4230/lipics.ecoop.2022.6
Related papers
- A volatile-by-default JVM for server applications OOPSLA 2017
- Accelerating sequential consistency for Java with speculative compilation PLDI 2019
- Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models OOPSLA 2019
- Safe-by-default Concurrency for Modern Programming Languages TOPLAS 2021
- Understanding and detecting deep memory persistency bugs in NVM programs with DeepMC PPoPP 2022
- Compiler-Assisted Crash Consistency for PMEM ISMM 2025
- SCHEMATIC: Compile-Time Checkpoint Placement and Memory Allocation for Intermittent Systems CGO 2024
- AutoPersist: an easy-to-use Java NVM framework based on reachability PLDI 2019