Efficient Race Condition Detection for Shared-Memory Programs with Post/Wait Synchronization.

Robert H. B. Netzer, Sanjoy Ghosh

Browse the full ICPP paper archive.