Beyond Locks and Thread IDs: Static Data Race Detection Off The Beaten Path

Daniel Bund, Julian Erhard, Michael Petter, Michael Schwarz
December 2026
PDF Cite ArXiv

Type
Conference paper
Publication
APLAS 2026

To appear at APLAS 2026.