A randomized dynamic program analysis technique for detecting real deadlocks.

Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik

Browse the full PLDI paper archive.