Effective static deadlock detection.

Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay

Browse the full ICSE paper archive.