@inproceedings{agarwal06runtime,
author="Rahul Agarwal and Scott D. Stoller",
title="Run-Time Detection of Potential Deadlocks for Programs with Locks,
Semaphores, and Condition Variables",
booktitle="Proceedings of the 2006 Workshop on Parallel and Distributed
    Systems: Testing and Debugging (PADTAD)",
year=2006
}