Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables.

Rahul Agarwal, Scott D. Stoller

Browse the full ISSTA paper archive.