The Ada Connection 2011

Detecting High-Level Synchronization Errors in Parallel Programs