Pallavi Joshi Chang-Seo Park Koushik Sen Mayur Naik A randomized dynamic program analysis technique for detecting real deadlocks. 110-120 2009 PLDI http://doi.acm.org/10.1145/1542476.1542489 conf/pldi/2009 db/conf/pldi/pldi2009.html#JoshiPSN09