@conference {259178,
	title = {Concurrent Predicates: Finding and Fixing the Root Cause of Concurrency Violations},
	year = {2012},
	address = {Berkeley, CA},
	publisher = {USENIX Association},
	month = jun
}
