Automatic Fence Insertion in Integer Programs via Predicate Abstraction
Abstract elided by the publisher.
Related papers
- Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion CAV 2014
- Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO TACAS 2013
- Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion TOPLAS 2017
- 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
- Predicate abstraction and CEGAR for higher-order model checking PLDI 2011