Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion
Abstract elided by the publisher.
Related papers
- Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion TOPLAS 2017
- Automatic Fence Insertion in Integer Programs via Predicate Abstraction SAS 2012
- Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO TACAS 2013
- Declarative fence insertion OOPSLA 2015
- A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems TACAS 2013
- Counter-Example Guided Fence Insertion under TSO TACAS 2012
- The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO ESOP 2015
- Exposing errors related to weak memory in GPU applications PLDI 2016