Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions.

Raphal Monat, Antoine Min

Browse the full VMCAI paper archive.