Eraser: A Dynamic Data Race Detector for Multithreaded Programs (1997) [pdf]