Validating Concurrent Correctness Witnesses by Thread-Modular Abstract Interpretation

Michael Schwarz, Zhendong Ang, Umang Mathur
January 2027
Cite

Type
Conference paper
Publication
Proceedings of the ACM on Programming Languages (POPL 2027)

Accepted to appear at POPL 2027.