Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions
Abstract elided by the publisher.
Related papers
- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces ESOP 2023
- Thread-Modular Analysis of Release-Acquire Concurrency SAS 2021
- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution) TACAS 2021
- Improving Thread-Modular Abstract Interpretation SAS 2021
- Relational Thread-Modular Static Value Analysis by Abstract Interpretation VMCAI 2014
- Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models APLAS 2018
- Abstract Interpretation with Unfoldings CAV 2017
- An abstract interpretation for SPMD divergence on reducible control flow graphs POPL 2021