T.: Eraser: A dynamic data race detector for multithreaded programs (1997)

by S Savage, M Burrows, G Nelson, P Sobalvarro, Anderson
Venue:ACM Trans. Comput. Syst