Effective Static Deadlock Detection Mayur Naik, Chang-Seo Park, Koushik Sen and David Gay ICSE’09 Presented by Alex Kogan 27.04.2014.
1 Practical Object-sensitive Points-to Analysis for Java Ana Milanova Atanas Rountev Barbara Ryder Rutgers University.