The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO
Abstract elided by the publisher.
Related papers
- Counter-Example Guided Fence Insertion under TSO TACAS 2012
- Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO TACAS 2013
- Benchmarking weak memory models PPoPP 2016
- Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion TOPLAS 2017
- Truly stateless, optimal dynamic partial order reduction POPL 2022
- View-Based Owicki-Gries Reasoning for Persistent x86-TSO ESOP 2022
- Taming release-acquire consistency POPL 2016
- Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion CAV 2014