Follow
John Whaley
John Whaley
UnifyID
Verified email at unify.id - Homepage
Title
Cited by
Cited by
Year
The Jalapeno virtual machine
B Alpern, CR Attanasio, JJ Barton, MG Burke, P Cheng, JD Choi, ...
IBM Systems Journal 39 (1), 211-238, 2000
8102000
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams
J Whaley, MS Lam
Proceedings of the ACM SIGPLAN 2004 conference on Programming Language …, 2004
8072004
Effective static race detection for Java
M Naik, A Aiken, J Whaley
Proceedings of the 27th ACM SIGPLAN Conference on Programming Language …, 2006
7122006
Compositional pointer and escape analysis for Java programs
J Whaley, M Rinard
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented …, 1999
5611999
The Jalapeno dynamic optimizing compiler for Java
MG Burke, JD Choi, S Fink, D Grove, M Hind, V Sarkar, MJ Serrano, ...
Proceedings of the ACM 1999 conference on Java Grande, 129-141, 1999
4231999
Automatic extraction of object-oriented component interfaces
J Whaley, MC Martin, MS Lam
ACM SIGSOFT Software Engineering Notes 27 (4), 218-228, 2002
4142002
Using Datalog with binary decision diagrams for program analysis
J Whaley, D Avots, M Carbin, MS Lam
Asian Symposium on Programming Languages and Systems, 97-118, 2005
2822005
Context-sensitive program analysis as database queries
MS Lam, J Whaley, VB Livshits, MC Martin, D Avots, M Carbin, C Unkel
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on …, 2005
2442005
Reflection analysis for Java
B Livshits, J Whaley, MS Lam
Programming Languages and Systems: Third Asian Symposium, APLAS 2005 …, 2005
2252005
Method for characterizing program execution by periodic call stack inspection
MR Arnold, SJ Fink, DP Grove, MJ Hind, PF Sweeney, J Whaley
US Patent 6,857,120, 2005
1802005
A portable sampling-based profiler for Java virtual machines
J Whaley
Proceedings of the ACM 2000 conference on Java Grande, 78-87, 2000
1772000
Securing web applications with static and dynamic information flow tracking
MS Lam, M Martin, B Livshits, J Whaley
Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008
1662008
Protecting data in insecure cloud storage
J Whaley, IITJ Purtell, GG Thomas
US Patent 9,390,281, 2016
1492016
Transactional virtual disk with differential snapshots
JE Gross IV, J Whaley, IITJ Purtell
US Patent 8,805,788, 2014
1362014
System for subscription and distribution service
M Lam, A Berkheimer, C Sapuntzakis, J Whaley, R Chandra, M Chen, ...
US Patent App. 11/833,213, 2008
1302008
Partial method compilation using dynamic profile information
J Whaley
ACM SIGPLAN Notices 36 (11), 166-179, 2001
1252001
An efficient inclusion-based points-to analysis for strictly-typed languages
J Whaley, MS Lam
International Static Analysis Symposium, 180-195, 2002
1172002
Sharing live appliances
MS Lam, AD Berkheimer, CP Sapuntzakis, JC Whaley, RUV Chandra, ...
US Patent 8,266,576, 2012
1012012
Joeq: A virtual machine and compiler infrastructure
J Whaley
Proceedings of the 2003 workshop on Interpreters, virtual machines and …, 2003
872003
JavaBDD
J Whaley
822007
The system can't perform the operation now. Try again later.
Articles 1–20