@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 Haifa
    Verification Conference",
month=nov,
series="Lecture Notes in Computer Science",
year=2006,
volume=3875,
pages="191-207",
publisher="Springer-Verlag",
url="http://dx.doi.org/10.1007/11678779_14"
}

@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/"
}