Abstract Threads
Abstract elided by the publisher.
Related papers
- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions VMCAI 2017
- Relational Thread-Modular Static Value Analysis by Abstract Interpretation VMCAI 2014
- Thread-Modular Counterexample-Guided Abstraction Refinement SAS 2010
- Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models APLAS 2018
- Thread-Modular Abstraction Refinement CAV 2003
- Abstract Transformers for Thread Correlation Analysis APLAS 2009
- Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs SAS 2017
- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution) TACAS 2021