Eraser: a dynamic data race detector for multithreaded programs (1997)

by Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson
Venue:ACM Transaction of Computer System