Efficient Race Condition Detection for Shared-Memory Programs with Post/Wait Synchronization - Netzer, Robert HB; Ghosh, Sanjoy (University of Wisconsin-Madison Department of Computer Sciences, 1992)