

@misc{ vall99soot,
  author = "R. Vall and e Phong and C. Etienne and G. Laurie and H. Patrick and L.
    Vijay",
  title = "Soot - a Java bytecode optimization framework",
  text = "Raja Vallee-Rai, Phong Co, Etienne Gagnon, Laurie Hendren, Patrick Lam,
    and Vijay Sundaresan. Soot - a Java bytecode optimization framework. In
    Proceedings of CASCON '99, 1999.",
  year = "1999",
  url = "citeseer.ist.psu.edu/vallee-rai99soot.html" }

@misc{sanote,
  author = "Michael I. Schwartzbach",
  title = "Lecture Note on Static Analysis",
  text = "World Wide Web",
  url = "http://www.daimi.au.dk/~mis/" }

@misc{ strings2003,
  author = "A. Christensen and A. Mller and M. Schwartzbach",
  title = "Precise analysis of string expressions",
  text = "A. S. Christensen, A. Mller, and M. I. Schwartzbach, Precise analysis of
    string expressions, in Proc. International Static Analysis Symposium, SAS
    '03, June 2003.",
  year = "2003",
  url = "citeseer.ist.psu.edu/christensen03precise.html" }

@misc{ gagnon99intraprocedural,
  author = "E. Gagnon and L. Hendren",
  title = "Intraprocedural Inference of Static Types for Java Bytecode",
  text = "Etienne Gagnon and Laurie Hendren. Intraprocedural Inference of Static
    Types for Java Bytecode. Sable Technical Report 1999-1, Sable Research Group,
    McGill University, March 1999.",
  year = "1999",
  url = "citeseer.ist.psu.edu/gagnon98intraprocedural.html" }

@misc{ bilardi99static,
  author = "G. Bilardi and K. Pingali",
  title = "The Static Single Assignment Form and its Computation",
  text = "Gianfranco Bilardi & Keshav Pingali, The Static Single Assignment Form
    and its Computation, Cornell University Technical Report, July, 1999, #http://www.cs.cornell.edu/Info/Projects/
    Bernoulli/papers/ssa.ps#.",
  year = "1999",
  url = "citeseer.ist.psu.edu/article/bilardi98static.html" }

@misc{tutorial,
  author = "Laurie Hendren and Patrick Lam and Jennifer Lhotak and Ondrej Lhotak and and Feng Qian",
  title = "Soot, a Tool for Analyzing and Transforming Java Bytecode",
  text = "World Wide Web",
  url = "http://www.sable.mcgill.ca/soot/tutorial/" }

@inproceedings{ pominville00framework,
    author = "Patrice Pominville and Feng Qian and Raja Vall{\'e}e-Rai and Laurie Hendren and Clark Verbrugge",
    title = "A Framework for Optimizing {Java} Using Attributes",
    booktitle = "CC 2001",
    editor = "R. Wilhelm",
    series = "Lecture Notes in Computer Science",
    volume = "2027",
    pages = "334+",
    year = "2001",
    url = "citeseer.ist.psu.edu/pominville00framework.html" }

@inproceedings{lhot.lhot.ea04,
  author = "Jennifer Lhot\'ak and Ond\v{r}ej Lhot\'ak and Laurie Hendren",
  title = "Integrating the {Soot} compiler infrastructure into an {IDE}",
  booktitle =    {Compiler Construction, 13th International Conference},
  pages =        {281--297},
  month =        {April},
  year =         {2004},
  editor =       {E. Duesterwald},
  volume =       {2985},
  series =       {LNCS},
  address =      {Barcelona, Spain},
  publisher = {Springer},
}

@PhdThesis{lhotak-phd,
  author =       "Ond\v{r}ej Lhot\'ak",
  title =        "Program Analysis using Binary Decision Diagrams",
  school =       "McGill University",
  year =         "2006",
  month =        jan,
}

@MastersThesis{lhotak-msc,
  author = "Ond\v{r}ej Lhot\'ak",
  title = "Spark: A flexible points-to analysis framework for {Java}",
  school = "McGill University",
  year = "2002",
  month = "December"
}

@inproceedings{lhot.hend03,
  author = "Ond\v{r}ej Lhot\'ak and Laurie Hendren",
  title = "Scaling {Java} Points-to Analysis Using {Spark}",
  booktitle =    {Compiler Construction, 12th International Conference},
  pages =        {153--169},
  month =        {April},
  year =         {2003},
  editor =       {G. Hedin},
  volume =       {2622},
  series =       {LNCS},
  address =      {Warsaw, Poland},
  publisher = {Springer}
}

@inproceedings{bern.lhot.ea03,
  author        = "Marc Berndl and Ond\v{r}ej Lhot\'ak and Feng Qian and
		  Laurie Hendren and Navindra Umanee",
  title         = "Points-to analysis using BDDs",
  booktitle	= {Proceedings of the ACM SIGPLAN 2003 Conference on
		  Programming Language Design and Inplementation},
  year		= {2003},
  isbn          = {1-58113-662-5},
  pages         = {103--114},
  location      = {San Diego, California, USA},
  doi           = {http://doi.acm.org/10.1145/781131.781144},
  publisher     = {ACM Press}
}

@article{Jedd,
 author = {Ond\v{r}ej Lhot\'{a}k and Laurie Hendren},
 title = {Jedd: a BDD-based relational extension of Java},
 journal = {SIGPLAN Not.},
 volume = {39},
 number = {6},
 year = {2004},
 issn = {0362-1340},
 pages = {158--169},
 doi = {http://doi.acm.org/10.1145/996893.996861},
 publisher = {ACM},
 address = {New York, NY, USA}
}

