@inproceedings{SOSP-2003-EnglerA,
	author        = "Dawson R. Engler and Ken Ashcraft",
	booktitle     = "{Proceedings of the 19th ACM Symposium on Operating Systems Principles}",
	doi           = "10.1145/945445.945468",
	isbn          = "1-58113-757-5",
	pages         = "237--252",
	publisher     = "{ACM}",
	title         = "{RacerX: effective, static detection of race conditions and deadlocks}",
	year          = 2003,
}