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

by S Savage, M Burrows, G Nelson, P Sobalvarro, T Anderson
Venue:ACM Transactions on Computer Systems