@Article{Whaley:1998:RTP,
  author =       "John J. Barton and John Whaley",
  title =        "A Real-Time Performance Visualizer for {Java}",
  journal =      "Dr. Dobb's Journal of Software Tools",
  volume =       "23",
  number =       "3",
  pages =        "44, 46--48, 105",
  month =        mar,
  year =         "1998",
  coden =        "DDJOEB",
  ISSN =         "1044-789X",
  bibdate =      "Fri Mar 6 18:42:46 MST 1998",
  url =          "http://www.ddj.com/ftp/1998/1998_03/visualz.txt;
                 http://www.ddj.com/ftp/1998/1998_03/visualz.zip",
  abstract =     "Find out where the performance bottlenecks in your
                 Java programs are with the JVM performance visualizer
                 presented here. Additional resources include
                 VISUALZ.TXT (listings) and VISUALZ.ZIP (source code).",
  acknowledgement = ack-nhfb,
}


@inproceedings{whaley99escape,
  author = {John Whaley and Martin Rinard},
  title = {Compositional Pointer and Escape Analysis for {Java} Programs},
  booktitle = {Proceedings of the 1999 ACM SIGPLAN Conference on
               Object-Oriented Programming, Systems, Languages, and
               Applications},
  month = nov,
  year = {1999},
  isbn = {1-58113-238-7},
  pages = {187--206},
  location = {Denver, Colorado, United States},
  doi = {http://doi.acm.org/10.1145/320384.320400},
  publisher = {ACM Press},
}


@inproceedings{jalapeno,
  author = {Michael G. Burke and Jong-Deok Choi and Stephen Fink and
            David Grove and Michael Hind and Vivek Sarkar and Mauricio
            J. Serrano and V. C. Sreedhar and Harini Srinivasan and
            John Whaley},
  title = {The Jalape\~{n}o Dynamic Optimizing Compiler for {Java}},
  booktitle = {Proceedings of the ACM 1999 Conference on Java Grande},
  month = jun,
  year = {1999},
  isbn = {1-58113-161-5},
  pages = {129--141},
  location = {San Francisco, California, United States},
  doi = {http://doi.acm.org/10.1145/304065.304113},
  publisher = {ACM Press},
}


@mastersthesis{ whaley99thesis,
  author = "John Whaley",
  title = "Dynamic Optimization through the use of Automatic Runtime
           Specialization",
  school = "Massachusetts Institute of Technology",
  month = may,
  year = "1999",
}


@TechReport{RW99:MITLCSTR,
  Author = {Martin Rinard and John Whaley},
  Title = {Compositional Pointer and Escape Analysis for Multithreaded
           {Java} Programs},
  Institution = {{MIT} Laboratory for Computer Science},
  Number = {MIT-LCS-TR-795},
  Type = "Technical Report",
  Month = nov,
  Year = 1999,
}


@Article{jalapenoibmsj,
  author = "Bowen Alpern and Dick Attanasio and John Barton and Michael
            Burke and Perry Cheng and Jong-Deok Choi and Anthony Cocchi
            and Stephen Fink and David Grove and Michael Hind and Susan
            Flynn Hummel and Derek Lieber and Vassily Litvinov and Ton
            Ngo and Mark Mergen and Vivek Sarkar and Mauricio Serrano
            and Janice Shepherd and Stephen Smith and V. C. Sreedhar and
            Harini Srinivasan and John Whaley",
  title =        "The {Jalape\~{n}o} Virtual Machine",
  journal =      "{IBM} Systems Journal, {Java} Performance Issue",
  volume =       "39",
  number =       "1",
  year =         "2000",
}


@inproceedings{whaley00profiler,
  author = {John Whaley},
  title = {A Portable Sampling-Based Profiler for {Java} Virtual Machines},
  booktitle = {Proceedings of the ACM 2000 Conference on Java Grande},
  month = jun,
  year = {2000},
  isbn = {1-58113-288-3},
  pages = {78--87},
  location = {San Francisco, California, United States},
  doi = {http://doi.acm.org/10.1145/337449.337483},
  publisher = {ACM Press},
}


@inproceedings{whaley01pmc,
  author = {John Whaley},
  title = {Partial Method Compilation using Dynamic Profile Information},
  booktitle = {Proceedings of the OOPSLA '01 Conference on Object Oriented
               Programming Systems, Languages, and Applications},
  month = oct,
  year = {2001},
  isbn = {1-58113-441-X},
  pages = {166--179},
  location = {Tampa Bay, FL, USA},
  doi = {http://doi.acm.org/10.1145/504282.504295},
  publisher = {ACM Press},
}


@InProceedings{whaley01checkpointing,
  author = 	 {John Whaley},
  title =        {System Checkpointing Using Reflection and Program
                  Analysis},
  booktitle = 	 {Proceedings of Reflection 2001, the Third International
                  Conference on Metalevel Architectures and Separation
                  of Crosscutting Concerns},
  pages = 	 {44--51},
  year = 	 {2001},
  editor = 	 {A. Yonezawa and S. Matsuoka},
  volume = 	 {2192},
  series = 	 {LNCS},
  address = 	 {Kyoto, Japan},
  month = 	 sep,
  publisher =    {Springer-Verlag},
}


@inproceedings{whaley02component,
  author = {John Whaley and Michael C. Martin and Monica S. Lam},
  title = {Automatic Extraction of Object-Oriented Component Interfaces},
  booktitle = {Proceedings of the International Symposium on Software
               Testing and Analysis},
  month = jul,
  year = {2002},
  isbn = {1-58113-562-9},
  pages = {218--228},
  location = {Rome, Italy},
  doi = {http://doi.acm.org/10.1145/566172.566212},
  publisher = {ACM Press},
}


@inproceedings{ whaley02inclusion,
  author = "John Whaley and Monica S. Lam",
  title = "An Efficient Inclusion-Based Points-To Analysis for
           Strictly-Typed Languages", 
  booktitle = "Proceedings of the 9th International Static Analysis
               Symposium",
  pages = "180--195",
  month = sep,
  year = "2002",
  url = "citeseer.nj.nec.com/535953.html",
}


@inproceedings{ whaley03joeq,
  author = {John Whaley},
  title = {Joeq: a virtual machine and compiler infrastructure},
  booktitle = {Proceedings of the 2003 Workshop on Interpreters, Virtual
               Machines and Emulators},
  year = {2003},
  isbn = {1-58113-655-2},
  pages = {58--66},
  location = {San Diego, California},
  doi = {http://doi.acm.org/10.1145/858570.858577},
  publisher = {ACM Press},
}


@inproceedings{whaley04cloning,
  author = {John Whaley and Monica S. Lam},
  title = {Cloning-Based Context-Sensitive Pointer Alias Analysis
           Using Binary Decision Diagrams},
  booktitle = {Proceedings of the Conference on Programming Language
               Design and Implementation},
  month = jun,
  year = {2004},
  location = {Washington D.C., USA},
  publisher = {ACM Press},
}


@InProceedings{whaley05using,
  author =       {John Whaley and Dzintars Avots and Michael Carbin and
                  Monica S. Lam},
  title =        {Using {Datalog} and Binary Decision Diagrams for
                  Program Analysis},
  booktitle =    {{P}roceedings of the 3rd {A}sian Symposium on 
                  {P}rogramming {L}anguages and {S}ystems},
  month =        nov,
  year =         {2005},
  editor =       {Kwangkeun Yi},
  volume =       {3780},
  series =       LNCS,
  publisher =    {Springer-Verlag},
}


@InProceedings{livshits05reflection,
  author =       {Benjamin Livshits and John Whaley and Monica S. Lam},
  title =        {Reflection Analysis for {J}ava},
  booktitle =    {{P}roceedings of the 3rd {A}sian Symposium on
                  {P}rogramming {L}anguages and {S}ystems},
  month =        nov,
  year =         {2005},
  editor =       {Kwangkeun Yi},
  volume =       {3780},
  series =       LNCS,
  publisher =    {Springer-Verlag},
}


@inproceedings{ whaley05heuristics,
  author    = {John Whaley and Christos Kozyrakis},
  title     = {Heuristics for Profile-driven Method-level Speculative
               Parallelization},
  booktitle = {Proceedings of the 33rd International Conference on
               Parallel Processing (ICPP 2005)},
  year      = {2005},
  month     = jun,
  location  = {Oslo, Norway},
  publisher = {IEEE Computer Society},
}


@inproceedings{lam05context,
  author = {Monica S. Lam and John Whaley and V.~Benjamin Livshits and
            Michael C. Martin and Dzintars Avots and Michael Carbin and
            Christopher Unkel},
  title = {Context-Sensitive Program Analysis as Database Queries},
  booktitle = {Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART
               Symposium on Principles of Database Systems},
  month = jun,
  year = {2005},
  location = {Baltimore, Maryland},
  publisher = {ACM},
}


@Article{whaley05joeq,
  author = {John Whaley},
  title = {Joeq: A Virtual Machine and Compiler Infrastructure},
  journal   = {Science of Computer Programming},
  volume    = {57},
  number    = {3},
  month = sep,
  year      = {2005},
  pages     = {339--356},
  ee        = {http://dx.doi.org/10.1016/j.scico.2004.08.006},
  bibsource = {DBLP, http://dblp.uni-trier.de},
}


@inproceedings{naik06effective,
  author = {Mayur Naik and Alex Aiken and John Whaley},
  title = {Effective Static Race Detection for {Java}},
  booktitle = {Proceedings of the Conference on Programming Language
               Design and Implementation},
  month = jun,
  year = {2006},
  location = {Ottawa, Canada},
  publisher = {ACM Press},
}


@phdthesis{ whaleyphd,
  author = "John Whaley",
  title = "Context-Sensitive Pointer Analysis using Binary Decision Diagrams",
  school = "Stanford University",
  month = mar,
  year = 2007,
}


@inproceedings{lam08securing,
 author = {Monica S.~Lam and Michael Martin and Benjamin Livshits and John Whaley},
 title = {Securing Web Applications Using Static and Dynamic Information Flow Tracking},
 booktitle = {Proceedings of the 2008 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation},
 month = "January",
 year = {2008},
 location = {San Francisco, CA},
 publisher = {ACM Press},
 }