Relational Thread-Modular Static Value Analysis by Abstract Interpretation
No abstract available.
Related papers
- Improving Thread-Modular Abstract Interpretation SAS 2021
- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution) TACAS 2021
- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces ESOP 2023
- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions VMCAI 2017
- Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models APLAS 2018
- Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution) TACAS 2023
- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) TACAS 2023
- Thread-Modular Analysis of Release-Acquire Concurrency SAS 2021