[pypy-svn] r27926 - pypy/extradoc/talk/dls2006

pedronis at codespeak.net pedronis at codespeak.net
Tue May 30 18:18:21 CEST 2006


Author: pedronis
Date: Tue May 30 18:18:20 2006
New Revision: 27926

Added:
   pypy/extradoc/talk/dls2006/draft.bib   (contents, props changed)
Log:
start of a bib file of the references



Added: pypy/extradoc/talk/dls2006/draft.bib
==============================================================================
--- (empty file)
+++ pypy/extradoc/talk/dls2006/draft.bib	Tue May 30 18:18:20 2006
@@ -0,0 +1,160 @@
+ at inproceedings{PlugType, % fix
+	author = {Bracha, Gilad  },
+	journal = {Workshop on Revival of Dynamic Languages},
+	keywords = {language-implementation},
+	month = {October},
+	priority = {2},
+	title = {Pluggable Type Systems},
+	year = {2004}
+}
+
+% Hindley-Milner
+ at inproceedings{582176,
+ 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},
+ }
+
+ at article{DBLP:journals/jcss/Milner78,
+  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
+ at mastersthesis{SSI,
+  author = {C. S. Ananian},
+  title = {The static single information form.}
+  school = { Massachusetts Institute of Technology}
+  year = {1999}
+  month = {September}
+}
+
+ at 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
+ at 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},
+ }
+
+ at 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
+ at inproceedings{1014010,
+ 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
+ at inproceedings{Jikes-GC,
+  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},
+  crossref  = {DBLP:conf/icse/2004},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+
+% old overview paper
+ at article{DBLP:journals/ibmsj/AlpernABBCCCFGHHLLMNRSSSSSSW00,
+  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 Jalapeo 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
+ at techreport{Jikes-JIT,
+ title =  {Architecture and Policy for Adaptive Optimization in Virtual Machines},
+ author = {Matthew Arnold, Stephen Fink, David Grove, Michael Hind, and Peter F. Sweeney},
+ year = 2004,
+ institution = {IBM Research},
+ number = 23429,
+ month = "November",
+}
+
+% constraint-based type inference
+ at inproceedings{679874,
+ 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},
+ }
+



More information about the Pypy-commit mailing list