Source

extradoc / talk / dls2006 / paper.bib

Full commit
@inproceedings{PlugType,
	author = {Bracha, Gilad  },
	booktitle = {OOPSLA04 Workshop on Revival of Dynamic Languages},
	keywords = {language-implementation},
	month = {October},
	priority = {2},
	title = {Pluggable Type Systems},
	year = {2004}
}

% Hindley-Milner
@inproceedings{DaMi,
 author = {Luis Damas and Robin Milner},
 title = {Principal type-schemes for functional programs},
 booktitle = {POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {1982},
 isbn = {0-89791-065-6},
 pages = {207--212},
 location = {Albuquerque, Mexico},
 doi = {http://doi.acm.org/10.1145/582153.582176},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{Miln,
  author    = {Robin Milner},
  title     = {A Theory of Type Polymorphism in Programming.},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {17},
  number    = {3},
  year      = {1978},
  pages     = {348-375},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

% SSA/SSI
@mastersthesis{SSI,
  author = {C. S. Ananian},
  title = {The static single information form.},
  school = { Massachusetts Institute of Technology},
  year = {1999},
  month = {September}
}

@article{SSA,
    author = "Ron Cytron and Jeanne Ferrante and Barry K. Rosen and Mark N. Wegman and F. Kenneth Zadeck",
    title = "Efficiently Computing Static Single Assignment Form and the Control Dependence Graph",
    journal = "ACM Transactions on Programming Languages and Systems",
    volume = "13",
    number = "4",
    month = "October",
    publisher = "ACM Press",
    pages = "451--490",
    year = "1991" }

% Squeak/ PreScheme
@inproceedings{Squeak,
 author = {Dan Ingalls and Ted Kaehler and John Maloney and Scott Wallace and
 Alan Kay},
 title = {Back to the future: the story of {Squeak}, a practical {Smalltalk} written in itself},
 booktitle = {OOPSLA '97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
 year = {1997},
 isbn = {0-89791-908-4},
 pages = {318--326},
 location = {Atlanta, Georgia, United States},
 doi = {http://doi.acm.org/10.1145/263698.263754},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@misc{kelsey-prescheme,
  author = "R. Kelsey",
  title = "Pre-Scheme: A Scheme Dialect for Systems Programming",
  text = "Richard Kelsey. Pre-Scheme: A Scheme Dialect for Systems Programming. ?." }

% Psyco
@inproceedings{psyco,
 author = {Armin Rigo},
 title = {Representation-based just-in-time specialization and the psyco prototype for python},
 booktitle = {PEPM '04: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation},
 year = {2004},
 isbn = {1-58113-835-0},
 pages = {15--26},
 location = {Verona, Italy},
 doi = {http://doi.acm.org/10.1145/1014007.1014010},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

% Jikes
@inproceedings{JikesGC,
  author    = {Stephen M. Blackburn and
               Perry Cheng and
               Kathryn S. McKinley},
  title     = {Oil and {Water}? {High Performance Garbage Collection in Java
               with MMTk}.},
  booktitle = {ICSE},
  year      = {2004},
  pages     = {137-146},
  ee        = {http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630137abs.htm},
}

% old overview paper
@article{jalapeno,
  author    = {Bowen Alpern and
               C. Richard Attanasio and
               John J. Barton and
               Michael G. Burke and
               Perry Cheng and
               Jong-Deok Choi and
               Anthony Cocchi and
               Stephen J. Fink and
               David Grove and
               Michael Hind and
               Susan Flynn Hummel and
               Derek Lieber and
               Vassily Litvinov and
               Mark F. Mergen and
               Ton Ngo and
               James R. Russell and
               Vivek Sarkar and
               Mauricio J. Serrano and
               Janice C. Shepherd and
               Stephen E. Smith and
               Vugranam C. Sreedhar and
               Harini Srinivasan and
               John Whaley},
  title     = {The {Jalapeno} virtual machine.},
  journal   = {IBM Systems Journal},
  volume    = {39},
  number    = {1},
  year      = {2000},
  pages     = {211-},
  ee        = {http://www.research.ibm.com/journal/sj/391/alpern.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

% Jikes jit, more recent techreport
@techreport{Jikes-JIT,
 title =  {Architecture and Policy for Adaptive Optimization in Virtual Machines},
 author = {Matthew Arnold and Stephen Fink and David Grove and Michael Hind and Peter F. Sweeney},
 year = 2004,
 institution = {IBM Research},
 number = 23429,
 month = "November",
}

%Klein VM
@inproceedings{KleinVM,
 author = {David Ungar and Adam Spitz and Alex Ausch},
 title = {Constructing a metacircular Virtual machine in an exploratory programming environment},
 booktitle = {OOPSLA '05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
 year = {2005},
 isbn = {1-59593-193-7},
 pages = {11--20},
 location = {San Diego, CA, USA},
 doi = {http://doi.acm.org/10.1145/1094855.1094865},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

% constraint-based type inference
@inproceedings{Constraint,
 author = {Tiejun Wang and Scott F. Smith},
 title = {Precise Constraint-Based Type Inference for Java},
 booktitle = {ECOOP '01: Proceedings of the 15th European Conference on Object-Oriented Programming},
 year = {2001},
 isbn = {3-540-42206-4},
 pages = {99--117},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }


% PyPy doc and reports
@techreport{D,
title = {Compiling Dynamic Language Implementations},
author = {Armin Rigo and Michael Hudson and Samuele Pedroni},
year = {2005},
institution = {PyPy Consortium},
url = {http://codespeak.net/svn/pypy/extradoc/eu-report/D05.1_Publish_on_translating_a_very-high-level_description.pdf},
note = {http://codespeak.net/svn/pypy/extradoc/eu-report/}
}

@techreport{S,
title = {Complete Python Implementation running on top of CPython},
author = "{PyPy Team}",
year = {2005},
institution = {PyPy Consortium},
url = {http://codespeak.net/svn/pypy/extradoc/eu-report/D04.2_Complete_Python_Implementation_on_top_of_CPython.pdf},
note = {http://codespeak.net/svn/pypy/extradoc/eu-report/}
}

@misc{T,
title = {{PyPy - Translation}},
author = "{PyPy Team}",
url = {http://codespeak.net/pypy/dist/pypy/doc/translation.html},
note = {http://codespeak.net/pypy/dist/pypy/doc/trans-lation.html},
howpublished = {Web page, in-progress.}
}

@misc{A,
title = {{PyPy - Architecture Overview}},
author = "{PyPy Team}",
url = "http://codespeak.net/pypy/dist/pypy/doc/architecture.html",
note = {http://codespeak.net/pypy/dist/pypy/doc/archi-tecture.html},
howpublished = {Web page}
}


% Boehm
@article{Boehm,
 author = {Hans-Juergen Boehm and Mark Weiser},
 title = {Garbage collection in an uncooperative environment},
 journal = {Softw. Pract. Exper.},
 volume = {18},
 number = {9},
 year = {1988},
 issn = {0038-0644},
 pages = {807--820},
 publisher = {John Wiley \& Sons, Inc.},
 address = {New York, NY, USA},
 }

@misc{boehm-softw,
author = "Hans Boehm",
title = "A garbage collector for {C} and {C++}",
url = "http://www.hpl.hp.com/personal/Hans_Boehm/gc/",
note = "http://www.hpl.hp.com/personal/Hans\_Boehm/gc/"
}

@misc{graphviz,
title = "Graphviz - Graph Visualization Software",
author = "{AT\&T}",
note = "http://www.graphviz.org/",
url = "http://www.graphviz.org/"
}

@Book{Jones:1993:PartialEvaluation,
  author =      "N.D. Jones and C.K. Gomard and P. Sestoft",
  title =       "Partial Evaluation and Automatic Program Generation",
  publisher =   "P-H",
  year =        "1993",
  isbn =        "0-13-020249-5",
  note =        ""}

@article{Dhry20,
 author = {R. P. Weicker},
 title = {Dhrystone benchmark: rationale for version 2 and measurement rules},
 journal = {SIGPLAN Not.},
 volume = {23},
 number = {8},
 year = {1988},
 issn = {0362-1340},
 pages = {49--62},
 doi = {http://doi.acm.org/10.1145/47907.47911},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@misc{cpy243,
  author = "Guido van Rossum et al.",
  title="{CPython} 2.4.3",
  note = "http://www.python.org/download/releases/2.4.3/",
  url = "http://www.python.org/download/releases/2.4.3/",
  year = 2006,
  month = "March",
}

@InProceedings{LLVM:CGO04,
    author    = {Chris Lattner and Vikram Adve},
    title     = "{LLVM: A Compilation Framework for Lifelong Program Analysis \& Transformation}",
    booktitle = "{Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO'04)}",
    address   = {Palo Alto, California},
    month     = {Mar},
    year      = {2004}
  }