Verifying Fence Elimination Optimisations
Abstract elided by the publisher.
Related papers
- Partially redundant fence elimination for x86, ARM, and power processors CC 2017
- Automatically eliminating speculative leaks from cryptographic code with blade POPL 2021
- Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs CGO 2009
- Reducing Memory Ordering Overheads in Software Transactional Memory CGO 2009
- Verifying observational robustness against a c11-style memory model POPL 2021
- View-Based Owicki-Gries Reasoning for Persistent x86-TSO ESOP 2022
- Handles revisited: optimising performance and memory costs in a real-time collector ISMM 2011
- Rethinking supercompilation ICFP 2010