@inproceedings{agarwal05detecting,
author="Rahul Agarwal and Liqiang Wang and Scott D. Stoller",
title="Detecting Potential Deadlocks with Static Analysis and Runtime Monitoring",
booktitle="Proceedings of the Parallel and Distributed
    Systems: Testing and Debugging (PADTAD) Track of the 2005 IBM
    Verification Conference",
month=nov,
year=2005,
publisher="Springer-Verlag"
}

@techreport{agarwal05detectingTR,
author="Rahul Agarwal and Liqiang Wang and Scott D. Stoller",
title="Detecting Potential Deadlocks with Static Analysis and Runtime Monitoring",
institution = "Computer Science Department, SUNY at Stony Brook",
type = "Technical Report",
number = "DAR-05-25",
month=sep,
year=2005,
note="Available at http://www.cs.sunysb.edu/\~{}ragarwal/deadlock/"
}