Safety-first approach to memory consistency models
Abstract
No abstract available.
Related papers
- Relaxing safely: verified on-the-fly garbage collection for x86-TSO PLDI 2015
- Static Analysis of Memory Models for SMT Encodings OOPSLA 2023
- Decidable verification under a causally consistent shared memory PLDI 2020
- What's Decidable About Causally Consistent Shared Memory? TOPLAS 2022
- DRFX: a simple and efficient memory model for concurrent programming languages PLDI 2010
- Rely-Guarantee Reasoning for Causally Consistent Shared Memory CAV 2023
- Enhancing GenMC's Usability and Performance TACAS 2024
- Kater: Automating Weak Memory Model Metatheory and Consistency Checking POPL 2023