RacerX: effective, static detection of race conditions and deadlocks.

Dawson R. Engler, Ken Ashcraft

Browse the full SOSP paper archive.