John Whaley Papers on DiSC'06 Context-Sensitive Program Analysis as Database Queries Publications Note: Links lead to the DBLP on the Web. John Whaley V. Benjamin Livshits , John Whaley, Monica S. Lam : Reflection Analysis for Java. APLAS 2005 : 139-160 John Whaley, Dzintars Avots , Michael Carbin , Monica S. Lam : Using Datalog with Binary Decision Diagrams for Program Analysis. APLAS 2005 : 97-118 John Whaley, Christos Kozyrakis : Heuristics for Profile-Driven Method-Level Speculative Parallelization. ICPP 2005 : 147-156 Monica S. Lam , John Whaley, V. Benjamin Livshits , Michael C. Martin , Dzintars Avots , Michael Carbin , Christopher Unkel : Context-sensitive program analysis as database queries. PODS 2005 : 1-12 John Whaley: Joeq: A virtual machine and compiler infrastructure. Sci. Comput. Program. 57 (3): 339-356 (2005) John Whaley, Monica S. Lam : Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. PLDI 2004 : 131-144 John Whaley, Michael C. Martin , Monica S. Lam : Automatic extraction of object-oriented component interfaces. ISSTA 2002 : 218-228 John Whaley, Monica S. Lam : An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages. SAS 2002 : 180-195 John Whaley: Partial Method Compilation using Dynamic Profile Information. OOPSLA 2001 : 166-179 John Whaley: System Checkpointing Using Reflection and Program Analysis. Reflection 2001 : 44-51 John Whaley: A portable sampling-based profiler for Java virtual machines. Java Grande 2000 : 78-87 Bowen Alpern , C. Richard Attanasio , John J. Barton , Michael G. Burke , Perry Cheng , Jong-Deok Choi , Anthony Cocchi , Stephen J. Fink , David Grove , Michael Hind , Susan Flynn Hummel , Derek Lieber , Vassily Litvinov , Mark F. Mergen , Ton Ngo , James R. Russell , Vivek Sarkar , Mauricio J. Serrano , Janice C. Shepherd , Stephen E. Smith , Vugranam C. Sreedhar , Harini Srinivasan , John Whaley: The Jalapeño virtual machine. IBM Systems Journal 39 (1): 211- (2000) Michael G. Burke , Jong-Deok Choi , Stephen J. Fink , David Grove , Michael Hind , Vivek Sarkar , Mauricio J. Serrano , Vugranam C. Sreedhar , Harini Srinivasan , John Whaley: The Jalapeño Dynamic Optimizing Compiler for Java. Java Grande 1999 : 129-141 John Whaley, Martin C. Rinard : Compositional Pointer and Escape Analysis for Java Programs. OOPSLA 1999 : 187-206 1 [ 3 ] 2 [ 3 ] 3 [ 11 ] [ 13 ] 4 [ 3 ] 5 [ 2 ] [ 3 ] 6 [ 11 ] [ 13 ] 7 [ 3 ] 8 [ 2 ] [ 3 ] 9 [ 3 ] 10 [ 2 ] [ 3 ] 11 [ 2 ] [ 3 ] 12 [ 2 ] [ 3 ] 13 [ 3 ] 14 [ 12 ] 15 [ 7 ] [ 8 ] [ 9 ] [ 11 ] [ 13 ] [ 14 ] 16 [ 3 ] 17 [ 3 ] 18 [ 11 ] [ 14 ] 19 [ 8 ] [ 11 ] 20 [ 3 ] 21 [ 3 ] 22 [ 1 ] 23 [ 3 ] 24 [ 2 ] [ 3 ] 25 [ 2 ] [ 3 ] 26 [ 3 ] 27 [ 3 ] 28 [ 2 ] [ 3 ] 29 [ 2 ] [ 3 ] 30 [ 11 ] ©2006 Association for Computing Machinery