Synthesis of Memory Fences via Refinement Propagation
Abstract elided by the publisher.
Related papers
- Dynamic synthesis for relaxed memory models PLDI 2012
- A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems TACAS 2013
- A Program Logic for C11 Memory Fences VMCAI 2016
- Fences in Weak Memory Models CAV 2010
- Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion TOPLAS 2017
- Declarative fence insertion OOPSLA 2015
- Exposing errors related to weak memory in GPU applications PLDI 2016
- Restart and Refine: Scalable IFDS Taint Analysis across Memory Budgets PLDI 2026