Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO
Abstract elided by the publisher.
Related papers
- 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
- Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion TOPLAS 2017
- Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion CAV 2014
- Declarative fence insertion OOPSLA 2015
- Automatic Fence Insertion in Integer Programs via Predicate Abstraction SAS 2012
- Exposing errors related to weak memory in GPU applications PLDI 2016
- View-Based Owicki-Gries Reasoning for Persistent x86-TSO ESOP 2022