Effective Abstractions for Verification under Relaxed Memory Models
Abstract elided by the publisher.
Related papers
- Partial-coherence abstractions for relaxed memory models PLDI 2011
- Dynamic partial order reduction for relaxed memory models PLDI 2015
- Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models APLAS 2018
- Compositional Verification of Compiler Optimisations on Relaxed Memory ESOP 2018
- Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract) ESOP 2013
- Relaxed virtual memory in Armv8-A ESOP 2022
- Effective Program Verification for Relaxed Memory Models CAV 2008
- Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models OOPSLA 2024