Counter-Example Guided Fence Insertion under TSO
Abstract elided by the publisher.
Related papers
- Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO TACAS 2013
- The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO ESOP 2015
- Declarative fence insertion OOPSLA 2015
- Checking and Enforcing Robustness against TSO ESOP 2013
- Counter-Example Guided Predicate Abstraction of Hybrid Systems TACAS 2003
- Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion CAV 2014
- A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems TACAS 2013
- Automatic Fence Insertion in Integer Programs via Predicate Abstraction SAS 2012