A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems
Abstract elided by the publisher.
Related papers
- Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion TOPLAS 2017
- Declarative fence insertion OOPSLA 2015
- Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models TOPLAS 2023
- The reads-from equivalence for the TSO and PSO memory models OOPSLA 2021
- Exposing errors related to weak memory in GPU applications PLDI 2016
- Dynamic partial order reduction for relaxed memory models PLDI 2015
- Maximal causality reduction for TSO and PSO OOPSLA 2016
- Parametrised Verification of Intel-x86 Programs POPL 2026