Generating Litmus Tests for Contrasting Memory Consistency Models
No abstract available.
Related papers
- Synthesizing memory models from framework sketches and Litmus tests PLDI 2017
- Foundations of empirical memory consistency testing OOPSLA 2020
- Rely-Guarantee Reasoning for Causally Consistent Shared Memory CAV 2023
- A formalization of Java's concurrent access modes OOPSLA 2019
- Consistency and Coherence of the NVIDIA Grace-Hopper Superchip ISMM 2026
- Optimal Reads-From Consistency Checking for C11-Style Memory Models PLDI 2023
- Overhauling SC atomics in C11 and OpenCL POPL 2016
- The semantics of shared memory in Intel CPU/FPGA systems OOPSLA 2021