When threads meet events: efficient and precise static race detection with origins.

Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, Jeff Huang

Browse the full PLDI paper archive.