Rahul Agarwal, Scott D. Stoller. Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. In Shmuel Ur, Eitan Farchi, editors, Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), PADTAD 2006, Portland, Maine, USA, July . pages 51-60, ACM, 2006. [doi]
Abstract is missing.