RacerX: Effective, Static Detection of Race Conditions and Deadlocks (2003)

by Dawson Engler, Ken Ashcraft
Venue:SIGOPS Operating Systems Review