Dawson R. Engler, Ken Ashcraft. RacerX: effective, static detection of race conditions and deadlocks. In Michael L. Scott, Larry L. Peterson, editors, Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, SOSP 2003, Bolton Landing, NY, USA, October 19-22, 2003. pages 237-252, ACM, 2003. [doi]