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 | 820 | 2004 |
The Jalapeno virtual machine B Alpern, CR Attanasio, JJ Barton, MG Burke, P Cheng, JD Choi, ... IBM Systems Journal 39 (1), 211-238, 2000 | 814 | 2000 |
Effective static race detection for Java M Naik, A Aiken, J Whaley Proceedings of the 27th ACM SIGPLAN Conference on Programming Language …, 2006 | 719 | 2006 |
Compositional pointer and escape analysis for Java programs J Whaley, M Rinard Proceedings of the 14th ACM SIGPLAN conference on Object-oriented …, 1999 | 570 | 1999 |
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 | 428 | 1999 |
Automatic extraction of object-oriented component interfaces J Whaley, MC Martin, MS Lam ACM SIGSOFT Software Engineering Notes 27 (4), 218-228, 2002 | 415 | 2002 |
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 | 293 | 2005 |
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 | 244 | 2005 |
Reflection analysis for Java B Livshits, J Whaley, MS Lam Programming Languages and Systems: Third Asian Symposium, APLAS 2005 …, 2005 | 233 | 2005 |
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 | 181 | 2005 |
A portable sampling-based profiler for Java virtual machines J Whaley Proceedings of the ACM 2000 conference on Java Grande, 78-87, 2000 | 179 | 2000 |
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 | 167 | 2008 |
Protecting data in insecure cloud storage J Whaley, IITJ Purtell, GG Thomas US Patent 9,390,281, 2016 | 150 | 2016 |
Transactional virtual disk with differential snapshots JE Gross IV, J Whaley, IITJ Purtell US Patent 8,805,788, 2014 | 136 | 2014 |
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 | 130 | 2008 |
Partial method compilation using dynamic profile information J Whaley ACM SIGPLAN Notices 36 (11), 166-179, 2001 | 128 | 2001 |
An efficient inclusion-based points-to analysis for strictly-typed languages J Whaley, MS Lam International Static Analysis Symposium, 180-195, 2002 | 120 | 2002 |
Sharing live appliances MS Lam, AD Berkheimer, CP Sapuntzakis, JC Whaley, RUV Chandra, ... US Patent 8,266,576, 2012 | 101 | 2012 |
Joeq: A virtual machine and compiler infrastructure J Whaley Proceedings of the 2003 workshop on Interpreters, virtual machines and …, 2003 | 87 | 2003 |
JavaBDD J Whaley | 81 | 2007 |