John Whaley

Publications by Year

Research Areas

Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Software Testing and Debugging Techniques, Formal Methods in Verification, Software Engineering Research

Most-Cited Works

• → Cloning-based context-sensitive pointer alias analysis using binary decision diagrams(2004)588 cited
• → The Jalapeño virtual machine(2000)576 cited
• → Compositional pointer and escape analysis for Java programs(1999)439 cited
• → Effective static race detection for Java(2006)424 cited
• → The Jalapeño dynamic optimizing compiler for Java(1999)273 cited
• → Automatic extraction of object-oriented component interfaces(2002)256 cited
• → Using Datalog with Binary Decision Diagrams for Program Analysis(2005)191 cited
• → Context-sensitive program analysis as database queries(2005)180 cited
• → Reflection Analysis for Java(2005)161 cited