Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models
Abstract elided by the publisher.
Related papers
- An Operational Approach to Library Abstraction under Relaxed Memory Concurrency POPL 2023
- Thread-Modular Analysis of Release-Acquire Concurrency SAS 2021
- Relational Thread-Modular Static Value Analysis by Abstract Interpretation VMCAI 2014
- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions VMCAI 2017
- Interactive debugging of concurrent programs under relaxed memory models CGO 2020
- Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract) ESOP 2013
- Effective Abstractions for Verification under Relaxed Memory Models VMCAI 2015
- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces ESOP 2023