Accepted to appear at POPL 2027.
Validating Concurrent Correctness Witnesses by Thread-Modular Abstract Interpretation Michael Schwarz, Zhendong Ang, Umang Mathur POPL 2027 Concurrency Testing and Verification Download BibTeX Accepted to appear at POPL 2027.