text:
= {Bjarne Steensgaard},
	Booktitle = {Symposium on Principles of Programming Languages},
	Pages = {32-41},
	Title = {{Points-to Analysis in Almost Linear Time}},
	Year = {1996}}

@inproceedings{SH97,
	Author = {Zhong Shao},
	Booktitle = {International Conference on Functional Programming},
	Pages = {85-98},
	Title = {{Flexible Representation Analysis}},
	Year = {1997}}

@inproceedings{HJ94,
	Author = {Fritz Henglein and Jesper Jorgensen},
	Booktitle = {SIGPLAN Conference on Principles of Programming Languages},
	Pages = {213-226},
	Title = {{Formally Optimal Boxing}},
	Year = 1994}

@inproceedings{LA00,
	Author = {Ben Liblit and Alexander Aiken},
	Booktitle = {Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Pages = {199--213},
	Publisher = {ACM Press},
	Title = {{Type systems for distributed data structures}},
	Year = {2000}}

@article{RCR+95,
	Author = {Anne Rogers and Martin C. Carlisle and John H. Reppy and Laurie J. Hendren},
	Journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
	Number = {2},
	Pages = {233--263},
	Publisher = {ACM Press},
	Title = {Supporting dynamic data structures on distributed-memory machines},
	Volume = {17},
	Year = {1995}}

@inproceedings{SF96,
	Author = serrano # and # feeley,
	Booktitle = icfp,
	Key = {Serrano},
	Month = may,
	Title = {{Storage Use Analysis and its Applications}},
	Year = 1996}

@inproceedings{ACS+99,
	Author = {Jonathan Aldrich and Chambers, Craig and Sirer, Emin Gun and Susan Eggers},
	Booktitle = sas,
	Key = {Aldrich},
	Title = {{Static Analysis for Eliminating Unnecessary Synchronization in Java Programs}},
	Year = 1999}

@article{SRW96,
	Author = {Mooly Sagiv and Reps, Thomas and Reinhard Wilhelm},
	Journal = toplas,
	Key = {Sagiv},
	Number = 1,
	Pages = {1-50},
	Title = {{Solving Shape Analysis Problems in Languages with Destructive Updating}},
	Volume = 20,
	Year = 1996}

@inproceedings{Deu90,
	Author = {Alain Deutsch},
	Booktitle = {{17$^{th}$ ACM Symposium on Principles of Programming Languages}},
	Key = {Deutsch},
	Month = {January},
	Pages = {157--168},
	Title = {{On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications}},
	Year = {1990}}

@inproceedings{Hei94,
	Author = {Nevin Heintze},
	Booktitle = {Proceedings of the ACM Symposium on Lisp and Functional Programming},
	Key = {Heintze},
	Pages = {306-317},
	Title = {{Set-Based Analysis of ML Programs}},
	Year = {1994}}

@inproceedings{JW94,
	Author = jagannathan # and # weeks,
	Booktitle = {Proceedings of the 1994 ACM International Conference on Lisp and Functional Programming},
	Pages = {294-305},
	Title = {{Analyzing Stores and References in a Parallel Symbolic Language}},
	Year = {1994}}

@inproceedings{FlFe95,
	Author = flanagan # and # felleisen,
	Booktitle = {Proceedings of the 12$^{th}$ ACM Symposium on Principles of Programming Languages},
	Key = {Flanagan},
	Pages = {290-220},
	Title = {{The Semantics of Future and Its Use in Program Optimization}},
	Year = {1995}}

@inproceedings{PG92,
	Author = park # and # b-goldberg,
	Booktitle = pldi,
	Month = jun,
	Pages = {116--127},
	Title = {{Escape Analysis on Lists}},
	Year = 1992}

@inproceedings{RHS95,
	Address = {San Francisco, California},
	Author = {Thomas Reps and Susan Horwitz and Mooly Sagiv},
	Booktitle = {22nd {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages},
	Pages = {49--61},
	Title = {{Precise Interprocedural Dataflow Analysis via Graph Reachability}},
	Year = {1995}}

@inproceedings{US00,
	Author = {Cristian Ungureanu and Suresh Jagannathan},
	Booktitle = {Static Analysis Symposium},
	Note = {LNCS 1824},
	Pages = {413-432},
	Title = {{Concurrency Analysis for Java}},
	Year = 2000}

@inproceedings{FTA02,
	Author = {Jeffrey Foster and Tachio Terauchi and Alex Aiken},
	Booktitle = {Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation},
	Pages = {1--12},
	Publisher = {ACM Press},
	Title = {{Flow-sensitive type qualifiers}},
	Year = {2002}}

@inproceedings{RAS+97,
	Address = {Anaheim, CA, USA},
	Author = {Mudumbai Ranganathan and Anurag Acharya and Shamik Sharma and Joel Saltz},
	Booktitle = {Proceedings of the {USENIX} 1997 Annual Technical Conference},
	Title = {{Network-aware Mobile Programs}},
	Year = {1997}}

@inproceedings{KBF+98,
	Author = {Nirav H. Kapadia and Carla E. Brodley and Jose A. B. Fortes and Mark S. Lundstrom},
	Booktitle = {Symposium on Reliable Distributed Systems},
	Pages = {372-377},
	Title = {{Resource-Usage Prediction for Demand-Based Network-Computing}},
	Year = {1998}}

@article{FF99,
	Author = {Cormac Flanagan and Matthias Felleisen},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Number = {2},
	Pages = {370--416},
	Title = {{Componential set-based analysis}},
	Volume = {21},
	Year = {1999}}

@inproceedings{WL95,
	Author = {Robert P. Wilson and Monica S. Lam},
	Booktitle = {SIGPLAN Conference on Programming Language Design and Implementation},
	Pages = {1-12},
	Title = {{Efficient Context-Sensitive Pointer Analysis for C Programs}},
	Year = {1995}}

@misc{Deb98,
	Author = {Saumya Debray},
	Text = {Saumya Debray, Profile-Guided Context-Sensitive Program Analysis.},
	Title = {{Profile-Guided Context-Sensitive Program Analysis}},
	Year = 1998}

@inproceedings{GDD+97,
	Author = {David Grove and Greg DeFouw and Jeffrey Dean and Craig Chambers},
	Booktitle = {Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications ({OOPSLA})},
	Pages = {108-124},
	Title = {{Call Graph Construction in Object-Oriented Languages}},
	Year = {1997}}

@article{CJW00,
	Author = {Henry Cejtin and Suresh Jagannathan and Stephen Weeks},
	Journal = {Proceedings of the European Symposium on Programming},
	Pages = {56--70},
	Title = {{Flow-Directed Closure Conversion for Typed Languages}},
	Volume = {LNCS 1782},
	Year = {2000}}

@inproceedings{PC97,
	Author = {Michale Plezbert and Ron Cytron},
	Booktitle = {SIGPLAN Conference on Principles of Programming Languages},
	Pages = {120-131},
	Title = {{Does "Just in Time" = "Better Late Than Never"}},
	Year = 1997}

@inproceedings{BVL+02,
	Address = {Edinburgh, Scotland},
	Author = {John Bent and Venkateshwaran Venkataramani and Nick LeRoy and Alain Roy and Joseph Stanley and Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau and Miron Livny},
	Booktitle = {Proceedings of the 11th IEEE Symposium on High Performance Distributed Computing (HPDC-11)},
	Date = {24--26},
	Month = {July},
	Title = {{Flexibility, Manageability, and Performance in a Grid Storage Appliance}},
	Year = 2002}

@inproceedings{ABL97,
	Author = {Glenn Ammons and Thomas Ball and James R. Larus},
	Booktitle = {{SIGPLAN} Conference on Programming Language Design and Implementation},
	Pages = {85-96},
	Title = {{Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling}},
	Year = {1997}}

@inproceedings{WW01,
	Author = {David Walker and Kevin Watkins},
	Booktitle = {International Conference on Functional Programming},
	Pages = {181-192},
	Title = {{On Regions and Linear Types}},
	Year = {2001}}

@inproceedings{FD02,
	Author = {M. Fhndrich and R. DeLine},
	Booktitle = {{SIGPLAN} Conference on Programming Language Design and Implementation},
	Pages = {13-24},
	Title = {{Adoption and Focus: Practical Linear Types for Imperative Programming}},
	Year = {2002}}

@article{SWM00,
	Author = {Frederick Smith and David Walker and Greg Morrisett},
	Journal = {Lecture Notes in Computer Science},
	Pages = {366--382},
	Title = {{Alias Types}},
	Volume = {1782},
	Year = {2000}}

@inproceedings{JWW97,
	Author = {Suresh Jagannathan and Stephen Weeks and Andrew K. Wright},
	Booktitle = {Static Analysis Symposium},
	Pages = {232-249},
	Title = {{Type-Directed Flow Analysis for Typed Intermediate Languages}},
	Year = {1997}}

@article{Ja00,
	Author = {Suresh Jagannathan},
	Journal = {Theoretical Computer Science},
	Number = {1},
	Pages = {117--146},
	Title = {Continuation-based Transformations for Coordination Languages},
	Volume = {240},
	Year = {2000}}

@inproceedings{Ja97,
	Author = {Suresh Jagannathan},
	Booktitle = {Coordination Models and Languages},
	Pages = {131-149},
	Title = {Communication-Passing Style for Coordination Languages},
	Year = {1997}}

@inproceedings{ZBJ+02,
	Author = {Yuanyuan Zhou and Angelos Bilas and Suresh Jagannathan and Cezary Dubnicki and James F. Philbin and Kai Li},
	Booktitle = {Proceedings of the 29th Annual International Symposium On Computer Architecture},
	Pages = {257--268},
	Title = {{Experiences With VI Communication For Database Storage}},
	Year = {2002}}

@inproceedings{PC94,
	Author = {John Plevyak and Andrew Chien},
	Booktitle = {Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications ({OOPSLA})},
	Pages = {324-330},
	Title = {{Precise Concrete Type Inference for Object-Oriented Languages}},
	Year = 1994}

@inproceedings{DGC98,
	Author = {Greg DeFouw and David Grove and Craig Chambers},
	Booktitle = popl,
	Pages = {222-236},
	Title = {{Fast Interprocedural Class Analysis}},
	Year = 1998}

@inproceedings{PS91,
	Author = {Jens Palsberg and Michael Schwartzbach},
	Booktitle = {Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications ({OOPSLA})},
	Pages = {146-161},
	Title = {{Object-oriented Type Inference}},
	Year = 1991}

@inproceedings{NN97,
	Author = {Flemming Nielson and Hanne Riis Nielson},
	Booktitle = popl,
	Key = {Nielson},
	Month = jan,
	Organization = acm,
	Pages = {332--345},
	Title = {{Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis}},
	Year = 1997}

@inproceedings{Shi91a,
	Author = shivers,
	Booktitle = pepm,
	Pages = {190--198},
	Title = {{The Semantics of Scheme Control-Flow Analysis}},
	Year = 1991}

@book{MTH90,
	Author = milner # and # tofte # and # harper,
	Publisher = {MIT Press},
	Title = {{The Definition of Standard ML}},
	Year = 1990}

@book{App92,
	Author = {Andrew Appel},
	Key = {Appel},
	Publisher = {Cambridge University Press},
	Title = {{Compiling with Continuations}},
	Year = {1992}}

@inproceedings{RR00,
	Author = {Radu Rugina and Martin Rinard},
	Booktitle = pldi,
	Pages = {182--195},
	Title = {{Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions}},
	Year = {2000}}

@inproceedings{SBC00,
	Author = {Vugranam C. Sreedhar and Michael Burke and Jong-Deok Choi},
	Booktitle = pldi,
	Pages = {196--207},
	Title = {{A Framework for Interprocedural Optimization in the Presence of Dynamic Class Loading}},
	Year = {2000}}

@inproceedings{Das00,
	Author = {Manuvir Das},
	Booktitle = pldi,
	Pages = {35--46},
	Title = {{Unification-based pointer analysis with directional assignments}},
	Year = {2000}}

@article{AIS+97,
	Author = {Albert D. Alexandrov and Maximilian Ibel and Klaus E. Schauser and Chris J. Scheiman},
	Journal = {Concurrency: Prac\-tice and Experience},
	Number = {6},
	Pages = {535--553},
	Title = {{SuperWeb}: research issues in {Java}-based global computing},
	Url = {citeseer.nj.nec.com/alexandrov96superweb.html},
	Volume = {9},
	Year = {1997}}

@incollection{HarperStone00,
	Author = {Robert Harper and Christopher Stone},
	Booktitle = {Proof, Language and Interaction: Essays in Honour of Robin Milner},
	Editor = {Gordon Plotkin and Colin Stirling and Mads Tofte},
	Publisher = {MIT Press},
	Title = {A Type-Theoretic Interpretation of {Standard {ML}}},
	Url = {citeseer.nj.nec.com/harper98typetheoretic.html},
	Year = {2000}}

@inproceedings{Shao97,
	Author = {Zhong Shao},
	Booktitle = {Proceedings of the 1997 ACM SIGPLAN Workshop on Types in Compilation},
	Month = {June},
	Title = {An overview of the {FLINT/ML} compiler},
	Year = {1997}}

@phdthesis{Elsman99,
	Author = {Martin Elsman},
	Month = {January},
	School = {Department of Computer Science, University of Copenhagen},
	Title = {Program Modules, Separate Compilation, and Intermodule Optimisation},
	Year = {1999}}

@inproceedings{Reynolds72,
	Author = reynolds,
	Booktitle = {ACM Annual Conference},
	Pages = {717-740},
	Title = {Definitional Interpreters for Higher-Order Programming Languages},
	Year = 1972}

@article{TolmachOliva98,
	Author = {Andrew Tolmach and Dino Oliva},
	Journal = jfp,
	Month = {July},
	Number = 4,
	Pages = {367--412},
	Title = {From {ML} to {Ada}: Strongly-typed Language Interoperability via Source Translation},
	Volume = 8,
	Year = 1998}

@inproceedings{Tolmach94,
	Author = tolmach,
	Booktitle = lfp,
	Month = jun,
	Pages = {1--11},
	Title = {Tag-free garbage collection using explicit type parameters},
	Year = 1994}

@mastersthesis{Steele78,
	Address = cambridge-mass,
	Author = steele,
	Month = may,
	Number = {AI Memo 474},
	School = mitai,
	Title = {{RABBIT}: A compiler for {S}cheme},
	Year = 1978}

@inproceedings{KranzEtAl86,
	Author = kranz # and # kelsey # and # rees # and # hudak # and # philbin # and # adams,
	Booktitle = socc,
	Title = {{ORBIT}: An optimizing compiler for {S}cheme},
	Year = 1986}

@book{Appel92,
	Author = appel,
	Publisher = {Cambridge University Press},
	Title = {Compiling with Continuations},
	Year = 1992}

@inproceedings{AppelJim89,
	Author = appel # and # jim,
	Booktitle = popl,
	Month = jan,
	Pages = {293--302},
	Title = {Continuation-passing, closure-passing style},
	Year = 1989}

@article{CFR+91,
	Author = {Ron Cytron and Jeanne Ferrante and Barry K. Rosen and Mark N. Wegman and F. Kenneth Zadeck},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Month = {October},
	Number = {4},
	Pages = {451--490},
	Publisher = {ACM Press},
	Title = {Efficiently Computing Static Single Assignment Form and the Control Dependence Graph},
	Url = {citeseer.nj.nec.com/cytron91efficiently.html},
	Volume = {13},
	Year = {1991}}

@inproceedings{FlanaganEtAl93,
	Author = flanagan # and # sabry # and # duba # and # felleisen,
	Booktitle = pldi,
	Title = {The Essence of Compiling with Continuations},
	Year = 1993}

@inproceedings{FGJ03,
	Address = {San Francisco, CA},
	Author = {R. A. Ferreira and A. Grama and S. Jagannathan},
	Booktitle = {Proceedings of IEEE Globecom 2003},
	Month = {December},
	Pages = {3845--3850},
	Title = {{An IP Address Based Caching Scheme for Peer-to-Peer Networks}},
	Year = {2003}}

@article{AGL+95,
	Author = {A. Adya and R. Gruber and B. Liskov and U. Maheshwari},
	Journal = {SIGMOD Record (ACM Special Interest Group on Management of Data)},
	Month = {June},
	Number = {2},
	Pages = {23--34},
	Title = {Efficient optimistic concurrency control using loosely synchronized clocks},
	Volume = {24},
	Year = {1995}}

@article{HK+94,
	Author = {Nicolas Haines and Kindred, Darrell and Morrisett, Gregory and Nettles, Scott and Jeannette Wing},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Number = 6,
	Pages = {1719-1736},
	Title = {{Composing First-Class Transactions}},
	Volume = 16,
	Year = 1994}

@manual{MIPS,
	Organization = {MIPS Computer Company},
	Title = {{MIPS RISC Architecture}}}

@inproceedings{HM93,
	Author = {Maurice Herlihy and J. Eliott B. Moss},
	Booktitle = {Proceedings of the 1993 International Symposium on Computer Architecture},
	Title = {{Transactional Memory: Architectural Support for Lock-Free Data Structures}},
	Year = 1993}

@article{KeRe94,
	Author = {Richard Kelsey and Jonathan Rees},
	Journal = {Lisp Symbol. Comput.},
	Key = {Kelsey},
	Number = 2,
	Pages = {315-335},
	Publisher = {Kluwer Academic Publishers},
	Title = {A Tractable Scheme Implementation},
	Volume = 7,
	Year = {1994}}

@article{HayFri87,
	Author = {Christopher Haynes and Daniel Friedman},
	Journal = {ACM Trans. Program. Lang. Syst.},
	Key = {Haynes},
	Number = 4,
	Pages = {582-598},
	Title = {Embedding Continuations in Procedural Objects},
	Volume = 9,
	Year = {1987}}

@techreport{ADG+99,
	Author = {Ole Agesen and David Detlefs and Alex Garhwaite and Ross Knippel and Y.S. Ramakrishnan and Derek White},
	Institution = {Sun Microsystems},
	Number = {TR-9976},
	Title = {{An Efficient Meta-lock for Implementing Ubiquitous Synchronization}},
	Year = 1999}

@inproceedings{PG01,
	Author = {Christoph von Praun and Thomas R. Gross},
	Booktitle = {Proceedings of the OOPSLA '01 conference on Object Oriented Programming Systems Languages and Applications},
	Location = {Tampa Bay, FL, USA},
	Pages = {70--82},
	Publisher = {ACM Press},
	Title = {Object race detection},
	Year = {2001}}

@inproceedings{FQ03,
	Author = {Cormac Flanagan and Shaz Qadeer},
	Booktitle = {Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation},
	Location = {New Orleans, Louisiana, USA},
	Pages = {1--12},
	Publisher = {ACM Press},
	Title = {Types for atomicity},
	Year = {2003}}

@inproceedings{CPN98,
	Author = {David G. Clarke and John M. Potter and James Noble},
	Booktitle = {Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation},
	Pages = {48--64},
	Title = {Ownership Types for Flexible Alias Protection},
	Url = {citeseer.nj.nec.com/clarke98ownership.html},
	Year = 1998}

@inproceedings{CDN93,
	Author = {Michael J. Carey and David J. DeWitt and Jeffrey F. Naughton},
	Booktitle = {Proceedings of the 1993 ACM SIGMOD International Conference On Management Of Data},
	Pages = {12--21},
	Title = {{The 007 Benchmark}},
	Year = {1993}}

@article{Ha85,
	Author = {Robert H. {Halstead, Jr.}},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Number = {4},
	Pages = {501--538},
	Title = {{Multilisp: A Language for Concurrent Symbolic Computation}},
	Volume = {7},
	Year = {1985}}

@book{HG99,
	Editor = {K. Hammond and G. Michaelson},
	Publisher = {Springer-Verlag},
	Title = {Research Directions in Parallel Functional Programming},
	Year = 1999}

@inproceedings{FF95,
	Address = {San Francisco, California},
	Author = {Cormac Flanagan and Matthias Felleisen},
	Booktitle = {Conference Record of {POPL} '95: 22nd {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages},
	Pages = {209--220},
	Title = {The Semantics of Future and Its Use in Program Optimizations},
	Year = {1995}}

@inproceedings{BL+97,
	Author = {S. Breitinger and R. Loogen and Y. Ortega-Mall'en and R. Pena},
	Booktitle = {High-Level Parallel Programming Models and Supportive Environments (HIPS)},
	Publisher = {IEEE Press},
	Title = {{The Eden coordination model for distributed memory systems}},
	Year = {1997}}

@book{Rep99,
	Author = {John Reppy},
	Publisher = {Cambridge University Press},
	Title = {{Concurrent Programming in ML}},
	Year = {1999}}

@book{Lea99,
	Author = {Doug Lea},
	Publisher = {Addison-Welsey},
	Title = {{Concurrent Programming in Java: Design Principles and Patterns}},
	Year = 1999}

@inproceedings{BCF02,
	Author = {Nick Benton and Luca Cardelli and C\'{e}dric Fournet},
	Booktitle = {Proceedings of the 16th European Conference on Object-Oriented Programming},
	Pages = {415--440},
	Publisher = {Springer-Verlag},
	Title = {{Modern Concurrency Abstractions for C\#}},
	Year = {2002}}

@inproceedings{FRT95,
	Author = {John Field and G. Ramalingam and Frank Tip},
	Booktitle = {Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
	Doi = {http://doi.acm.org/10.1145/199448.199534},
	Isbn = {0-89791-692-1},
	Location = {San Francisco, California, United States},
	Pages = {379--392},
	Publisher = {ACM Press},
	Title = {Parametric program slicing},
	Year = {1995}}

@article{Wei84,
	Author = {Mark Weiser},
	Journal = {IEEE Transactions on Software Engineering},
	Month = July,
	Number = 4,
	Pages = {352-257},
	Title = {Program Slicing},
	Volume = 10,
	Year = 1984}

@article{Tip95,
	Author = {Frank Tip},
	Journal = {Journal of Programming Languages},
	Month = September,
	Number = 3,
	Title = {A Survey of Program Slicing Techniques},
	Volume = 3,
	Year = 1995}

@article{AB87,
	Author = {Malcolm P. Atkinson and O. Peter Buneman},
	Journal = acmcs,
	Month = jun,
	Number = 2,
	Pages = {105--190},
	Title = {Types and Persistence in Database Programming Languages},
	Volume = 19,
	Year = 1987}

@incollection{ABC84,
	Address = {Cambridge, England},
	Author = {M. P. Atkinson and P. Bailey and W. P. Cockshott and K. J. Chisolm and R. Morrison},
	Booktitle = {Databases -- Role and Structure: An Advanced Course},
	Pages = {245--310},
	Publisher = {Cambridge University Press},
	Title = {Progress With Persistent Programming},
	Year = 1984}

@article{ABGO95,
	Author = {A. Albano and R. Bergamini and G. Ghelli and R. Orsini},
	Journal = vldbj,
	Month = jul,
	Number = 3,
	Pages = {403--444},
	Title = {An introduction to the database programming language {Fibonacci}},
	Volume = 4,
	Year = 1995}

@article{ABM88,
	Author = {M. P. Atkinson and O. P. Buneman and R. Morrison},
	Journal = tcj,
	Number = 2,
	Optmonth = {?},
	Pages = {99--109},
	Title = {Binding and type checking in database programming languages},
	Volume = 31,
	Year = 1988}

@techreport{ABMPS89,
	Author = {T. Lougenia Anderson and Arne J. Berre and Moira Mallison and Harry Porter and Bruce Schneider},
	Institution = {Computer Research Laboratory, Tektronix Laboratories},
	Month = aug,
	Number = {89-05},
	Title = {The {Tektronix} {HyperModel} Benchmark Specification},
	Year = 1989}

@article{AC75,
	Annote = {SQL, SEQUEL},
	Author = {M. M. Astrahan and D. D. Chamberlin},
	Journal = cacm,
	Month = oct,
	Number = 10,
	Pages = {580--588},
	Title = {Implementation of a Structured {English} Query Language},
	Volume = 18,
	Year = 1975}

@article{ACC82,
	Author = {Malcolm Atkinson and Ken Chisolm and Paul Cockshott},
	Journal = sigplan,
	Month = jul,
	Number = 7,
	Pages = {24--31},
	Title = {{PS-Algol}: an {Algol} with a Persistent Heap},
	Volume = 17,
	Year = 1982}

@article{ACCM83,
	Author = {M. P. Atkinson and K. J. Chisholm and W. P. Cockshott and R. M. Marshall},
	Journal = spe,
	Month = mar,
	Number = 7,
	Pages = {259--271},
	Title = {Algorithms for a Persistent Heap},
	Volume = 13,
	Year = 1983}

@inproceedings{ACLPS98,
	Author = {Ali-Reza Ad-Tabatabai and Michal Cierniak and Guei-Yuan Lueh and Vishesh M. Parikh and James M. Stichnoth},
	Crossref = {pldi98},
	Pages = {280--290},
	Title = {Fast, Effective Code Generation in a Just-In-Time {Java} Compiler}}

@article{AD85,
	Author = {Rakesh Agrawal and David J. DeWitt},
	Journal = tods,
	Month = dec,
	Number = 4,
	Pages = {529--564},
	Title = {Integrated Concurrency Control and Recovery Mechanisms: Design and Performance Evaluation},
	Volume = 10,
	Year = 1985}

@inproceedings{AEL88,
	Author = {Andrew W. Appel and John R. Ellis and Kai Li},
	Crossref = {pldi88},
	Pages = {11--20},
	Title = {Realtime Concurrent Collection on Stock Multiprocessors}}

@inproceedings{AFT+00,
	Author = {Yariv Aridor and Michael Factor and Avi Teperman and Tamar Eilam and Assaf Schuster},
	Crossref = {grande00},
	Pages = {168--177},
	Title = {A high performance cluster {JVM} presenting a pure single system image}}

@techreport{AG89a,
	Address = {Murray Hill, NJ},
	Annote = {O++},
	Author = {R. Agrawal and N. H. Gehani},
	Institution = {{AT\&T Bell Laboratories}},
	Title = {Version Management in {ODE}},
	Year = 1989}

@inproceedings{AG89b,
	Annote = {ODE},
	Author = {R. Agrawal and N. H. Gehani},
	Crossref = {dbpl89},
	Pages = {25--40},
	Title = {Rationale for the Design of Persistence and Query Processing Facilities in the Database Language {O++}}}

@inproceedings{AGF95,
	Author = {Amsaleg, Laurent and Gruber, Olivier and Franklin, Michael},
	Crossref = {vldb95},
	Pages = {42--53},
	Title = {Efficient Incremental Garbage Collection for Workstation-Server Database Systems}}

@inproceedings{AH87,
	Annote = {Ontologic, VBase},
	Author = {Timothy Andrews and Craig Harris},
	Crossref = {oopsla87},
	Pages = {430--440},
	Title = {Combining Language and Database Advances in an Object-Oriented Development Environment}}

@inproceedings{AJDS96,
	Author = {M. P. Atkinson and M. J. Jordan and L. Dayn\`{e}s and S. Spence},
	Crossref = {pos96},
	Pages = {33--47},
	Title = {Design Issues for Persistent {Java}: A Type-Safe Object-Oriented, Orthogonally Persistent System}}

@inproceedings{AKM85,
	Author = {H. Afsarmanesh and D. Knapp and D. {McLeod} and A. Parker},
	Crossref = {vldb85},
	Pages = {13--24},
	Title = {An Extensible Object-Oriented Approach to Databases for {VLSI/CAD}}}

@inproceedings{AL91,
	Author = {Andrew W. Appel and Kai Li},
	Crossref = {asplos91},
	Pages = {96--107},
	Title = {Virtual Memory Primitives for User Programs},
	Year = 1991}

@inproceedings{ALBL91,
	Author = {Thomas E. Anderson and Henry M. Levy and Brian N. Bershad and Edward D. Lazowska},
	Crossref = {asplos91},
	Pages = {108--120},
	Title = {The Interaction of Architecture and Operating System Design}}

@inproceedings{ALLW96,
	Annote = {Omniware},
	Author = {Ali-Reza Adl-Tabatabai and Geoff Langdale and Steven Lucco and Robert Wahbe},
	Crossref = {pldi96},
	Pages = {127--136},
	Title = {Efficient Language-Independent Mobile Programs}}

@article{AM85,
	Annote = {PS-Algol},
	Author = {Malcolm P. Atkinson and Ronald Morrison},
	Journal = toplas,
	Month = oct,
	Number = 4,
	Pages = {539--559},
	Title = {Procedures as Persistent Data Objects},
	Volume = 7,
	Year = 1985}

@article{AM95,
	Author = {Malcolm P. Atkinson and Ronald Morrison},
	Journal = vldbj,
	Number = 3,
	Optmonth = {?},
	Pages = {319--401},
	Title = {Orthogonally persistent object systems},
	Volume = 4,
	Year = 1995}

@book{ANSI83,
	Author = {{ANSI}},
	Publisher = {Addison-Wesley},
	Title = {{IEEE Standard Pascal} Computer Programming Language},
	Year = 1983}

@book{ANSIC,
	Author = {ANSI},
	Number = {9899-1990},
	Publisher = {American National Standards Institute},
	Series = {ANSI/ISO},
	Title = {Programming Languages -- C},
	Year = 1990}

@inproceedings{AR01,
	Author = {Matthew Arnold and Barbara G. Ryder},
	Crossref = {pldi01},
	Pages = {168--179},
	Title = {A Framework for Reducing the Cost of Instrumented Code}}

@book{ASU86,
	Author = {Alfred V. Aho and Ravi Sethi and Jeffrey D. Ullman},
	Publisher = {Addison-Wesley},
	Title = {Compilers: Principles, Techniques, and Tools},
	Year = 1986}

@inproceedings{AU79,
	Author = {A. V. Aho and J. D. Ullman},
	Crossref = {popl79},
	Pages = {110--120},
	Title = {Universality of Data Retrieval Languages}}

@inproceedings{AWZ88,
	Author = {B. Alpern and M. N. Wegman and F. K. Zadeck},
	Crossref = {popl88},
	Pages = {1--11},
	Title = {Detecting equality of values in programs}}

@manual{Ada9X,
	Address = {Published by Intermetrics Inc., 733 Concord Ave., Cambridge Massachusetts},
	Key = {Ada9X},
	Month = feb,
	Organization = {Department of Defense},
	Title = {Ada 9X Project Report: DRAFT Mapping Rationale Document},
	Year = 1991}

@inproceedings{Aditya94,
	Author = {Shail Aditya and Christine H. Flood and James E. Hicks},
	Crossref = {lfp94},
	Pages = {12--23},
	Title = {Garbage Collection for Strongly-Typed Languages Using Run-Time Type Reconstruction}}

@inbook{Agesen94,
	Author = {O. Agesen},
	Pages = {78--100},
	Series = {lncs},
	Title = {Constraint-Based Type Inference and Parametric Polymorphism},
	Volume = {864},
	Year = {1994}}

@phdthesis{Agesen95,
	Author = {Ole Agesen},
	Month = dec,
	School = {Stanford University},
	Title = {Concrete Type Inference: Delivering Object-Oriented Applications},
	Year = 1995}

@inproceedings{Agesen95b,
	Author = {Ole Agesen},
	Crossref = {ecoop95},
	Pages = {2--26},
	Title = {The Cartesian Product Algorithm: Simple and Precise Typing of Parametric Polymorphism.}}

@inproceedings{Agesen98,
	Author = {Ole Agesen and David Detlefs and J. Eliot B. Moss},
	Crossref = {pldi98},
	Pages = {269--279},
	Title = {Garbage Collection and Local Variable Type-Precision and Liveness in {Java} Virtual Machines}}

@inproceedings{Agr88,
	Author = {R. Agrawal},
	Crossref = {icde87},
	Pages = {580--590},
	Title = {Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries}}

@article{Agrawal97,
	Author = {Gagan Agrawal and Joel Saltz},
	Journal = spe,
	Month = may,
	Number = 5,
	Pages = {519--545},
	Title = {Interprocedural Data Flow Based Optimizations for Distributed Memory Compilation},
	Volume = 27,
	Year = 1997}

@article{Ahn98,
	Author = {J.-H. Ahn and Hyoung-Joo Kim},
	Journal = {Journal of Systems Architecture},
	Month = dec,
	Number = 5,
	Pages = {363--386},
	Publisher = {Elsevier},
	Title = {A survey of architectural features of contemporary object storage systems},
	Volume = 45,
	Year = 1998}

@inproceedings{AlemanyFelten92,
	Author = {Juan Alemany and Edward W. Felten},
	Crossref = {podc92},
	Pages = {125--134},
	Title = {Performance issues in non-blocking synchronization on shared-memory multiprocessors}}

@inproceedings{Anderson99,
	Author = {J. Anderson and L. Berc and J. Dean},
	Booktitle = {Proceedings of the 1999 Hot Chips Symposium},
	Date = aug,
	Title = {Hardware Support for Out of Order Instruction Profiling on Alpha 21264a},
	Year = 1999}

@inproceedings{Annevelink91,
	Author = {Jurgen Annevelink},
	Crossref = {sigmod91},
	Pages = {318--327},
	Title = {Database Programming Languages: A Functional Approach}}

@article{Appel89,
	Annote = {Garbage Collection},
	Author = {Andrew W. Appel},
	Journal = {Lisp and Symbolic Computation},
	Number = 2,
	Pages = {153--162},
	Title = {Runtime Tags Aren't Necessary},
	Year = 1989}

@book{Appel98C,
	Author = {Andrew W. Appel},
	Publisher = {Cambridge University Press},
	Title = {Modern Compiler Implementation in C},
	Year = 1998}

@book{Appel98Java,
	Author = {Andrew W. Appel},
	Publisher = {Cambridge University Press},
	Title = {Modern Compiler Implementation in {Java}},
	Year = 1998}

@article{Aritsugi00,
	Author = {Masayoshi Aritsugi and Akifumi Makinouchi},
	Journal = spe,
	Month = feb,
	Number = 2,
	Pages = {151--174},
	Title = {Multiple-type objects in an enhanced {C++} persistent programming language},
	Volume = 30,
	Year = 2000}

@techreport{Atkinson00,
	Author = {Malcolm Atkinson and Mick Jordan},
	Institution = {Sun Microsystems Laboratories},
	Month = jun,
	Number = {TR-2000-90},
	Title = {A Review of the Rationale and Architectures of {PJama}: a Durable, Flexible, Evolvable and Scalable Orthogonally Persistent Programming Platform},
	Year = 2000}

@inproceedings{Atkinson89,
	Author = {M. Atkinson and F. Bancilhon and D. DeWitt and K. Dittrich and D. Maier and S. Zdonik},
	Booktitle = {Proceedings of the First International Conference on Deductive and Object-Oriented Databases},
	City = {Kyoto, Japan},
	Date = dec,
	Pages = {223--240},
	Title = {The object-oriented database system manifesto},
	Year = 1989}

@inproceedings{Atw85,
	Annote = {VBase, Ontologic},
	Author = {Thomas M. Atwood},
	Booktitle = {Proceedings IEEE COMPINT 85},
	City = {Montr{\'e}al, Canada},
	Pages = {299--307},
	Title = {An Object-Oriented {DBMS} for Design Support Applications},
	Year = 1985}

@inproceedings{Auslander96,
	Author = {Joel Auslander and Matthai Philipose and Craig Chambers and Susan J. Eggers and Brian N. Bershad},
	Crossref = {pldi96},
	Pages = {149--159},
	Title = {Fast Effective Dynamic Compilation}}

@article{Austin02,
	Author = {Todd M. Austin and Eric Larson and Dan Ernst},
	Journal = {{IEEE} Computer},
	Month = feb,
	Number = 2,
	Pages = {59--67},
	Title = {{SimpleScalar}: An Infrastructure for Computer System Modeling},
	Volume = 35,
	Year = 2002}

@inproceedings{Azagury98,
	Author = {Alain Azagury and Elliot K. Kolodner and Erez Petrank and Zvi Yehudai},
	Crossref = {ismm98},
	Pages = {10--19},
	Title = {Combining Card Marking with Remembered Sets: How to Save Scanning Time}}

@techreport{BC86,
	Address = {Scotland},
	Author = {A. L. Brown and W. P. Cockshott},
	Institution = {University of St. Andrews},
	Number = {PPRP 13},
	Title = {The {CPOMS} Persistent Object Management System},
	Year = 1986}

@inproceedings{BCC94,
	Author = {Eric W. Brown and James P. Callan and W. Bruce Croft},
	Crossref = {vldb94},
	Title = {Fast Incremental Indexing for Full-Text Information Retrieval}}

@inproceedings{BCCM94,
	Author = {Eric W. Brown and James P. Callan and Bruce Croft and J. Eliot B. Moss},
	Crossref = {edbt94},
	Pages = {365--378},
	Title = {Supporting Full-Text Information Retrieval with a Persistent Object Store}}

@inproceedings{BCF+99,
	Author = {Michael G. Burke and Jong-Deok Choi and Stephen J. Fink and David Grove and Michael Hind and Vivek Sarkar and Mauricio J. Serrano and Vugranam C. Sreedhar and Harini Srinivasan and John Whaley},
	Crossref = {grande99},
	Pages = {129--141},
	Title = {The {Jalape{\~n}o} dynamic optimizing compiler for {Java}}}

@book{BHG87,
	Author = {Philip A. Bernstein and Vassos Hadzilacos and Nathan Goodman},
	Publisher = {Addison-Wesley},
	Title = {Concurrency control and recovery in database system},
	Year = 1987}

@article{BHJLC87,
	Author = {A. Black and N. Hutchinson and E. Jul and H. Levy and L. Carter},
	Journal = ieeese,
	Month = jan,
	Number = 1,
	Pages = {65--76},
	Title = {Distribution and Abstract Types in {Emerald}},
	Volume = 13,
	Year = 1987}

@inproceedings{BI82,
	Author = {A. H. Borning and D. H. H. Ingalls},
	Booktitle = {Proceedings of the National Conference on Artifical Intelligence},
	City = {Pittsburgh, Pennsylvania},
	Date = aug,
	Organization = aaai,
	Pages = {234--237},
	Title = {Multiple Inheritance in {Smalltalk-80}},
	Year = 1982}

@article{BK85,
	Author = {D. S. Batory and W. Kim},
	Journal = tods,
	Month = sep,
	Number = 3,
	Pages = {322--346},
	Title = {Modeling Concepts for {VLSI CAD} Databases},
	Volume = 10,
	Year = 1985}

@article{BK97,
	Author = {Zoran Budimlic and Ken Kennedy},
	Journal = spe,
	Month = jun,
	Number = 6,
	Pages = {445--463},
	Title = {Optimizing {Java}: Theory and Practice},
	Volume = 9,
	Year = 1997}

@techreport{BK98,
	Author = {Zoran Budimlic and Ken Kennedy},
	Institution = {Rice University},
	Number = {CRPC-TR98746},
	Title = {Static Interprocedural Optimizations in Java},
	Year = 1998}

@techreport{BKK87,
	Address = mccADDR,
	Annote = {Orion},
	Author = {Jay Banerjee and Won Kim and Kim {Kyng-Chang}},
	Institution = mcc,
	Month = jun,
	Number = {DB-188-87},
	Title = {Queries in Object-Oriented Databases},
	Year = 1987}

@inproceedings{BKKK87,
	Author = {Jay Banerjee and Won Kim and Hyoung-Joo Kim and Henry F. Korth},
	Crossref = {sigmod87},
	Pages = {311--322},
	Title = {Semantics and Implementation of Schema Evolution in Object-Oriented Databases}}

@techreport{BKKMSZ85,
	Address = parcADDR,
	Author = {D. G. Bobrow and K. Kahn and G. Kiczales and L. Masinter and M. Stefik and F. Zdybel},
	Institution = parc,
	Number = {ISL-85-8},
	Title = {{CommonLoops}: Merging {Common Lisp} and Object-Oriented Programming},
	Type = {Intelligent Systems Laboratory Series},
	Year = 1985}

@incollection{BL71,
	Author = {P. Branquart and J. Lewi},
	Crossref = {Peck71},
	Pages = {198--238},
	Title = {A Scheme for Storage Allocation and Garbage Collection in {Algol-68}}}

@article{BL94,
	Annote = {qpt},
	Author = {Thomas Ball and James R. Larus},
	Journal = toplas,
	Month = jul,
	Number = 4,
	Pages = {1319--1360},
	Title = {Optimally Profiling and Tracing Programs},
	Volume = 16,
	Year = 1994}

@inproceedings{BLM02,
	Author = {R. Bruni and C. Laneve and U. Montanari},
	Crossref = {concur02},
	Pages = {321--337},
	Title = {Orchestrating Transactions in the Join Calculus}}

@techreport{BM91,
	Author = {A. L. Brown and R. Morrison},
	Institution = {University of St Andrews},
	Number = {CS/91/2},
	Title = {A Generic Persistent Object Store},
	Type = {Research Report},
	Year = 1991}

@inproceedings{BMG93,
	Author = {Jos{\'e} A. Blakeley and William J. McKenna and Goetz Graefe},
	Crossref = {sigmod93},
	Pages = {287--296},
	Title = {Experiences Building the {Open OODB} Query Optimizer}}

@inproceedings{BNOW93,
	Author = {Andrew Birrell and Greg Nelson and Susan Owicki and Edward Wobber},
	Crossref = {sosp93},
	Pages = {217--230},
	Title = {Network Objects}}

@article{BOS91,
	Author = {Paul Butterworth and Allen Otis and Jacob Stein},
	Journal = cacm,
	Month = oct,
	Number = 10,
	Pages = {64--77},
	Title = {The {GemStone} Object Database Management System},
	Volume = 34,
	Year = 1991}

@article{BRGP78,
	Author = {P. A. Bernstein and J. B. Rothnie and N. Goodman and C. A. Papadimitriou},
	Journal = ieeese,
	Month = may,
	Number = 3,
	Pages = {154--167},
	Title = {The Concurrency Control Mechanism of SDD-1: A System for Distributed Databases (The Fully Redundant Case)},
	Volume = {SE-4},
	Year = 1978}

@inproceedings{BW87,
	Author = {Kim Bruce and Peter Wegner},
	Crossref = {dbpl87},
	Pages = {107--131},
	Title = {An Algebraic Model of Subtype and Inheritance}}

@article{BW88,
	Author = {Hans-Juergen Boehm and Mark Weiser},
	Journal = spe,
	Month = sep,
	Number = 9,
	Pages = {807--820},
	Title = {Garbage Collection in an Uncooperative Environment},
	Volume = 18,
	Year = 1988}

@inproceedings{BZ87,
	Author = {Toby Bloom and Stanley B. Zdonik},
	Crossref = {oopsla87},
	Pages = {441--451},
	Title = {Issues in the Design of Object-Oriented Database Programming Languages}}

@inproceedings{BZ93,
	Author = {David A. Barrett and Benjamin G. Zorn},
	Crossref = {pldi93},
	Pages = {187--196},
	Title = {Using Lifetime Predictors to Improve Memory Allocation Performance}}

@inproceedings{Bacon96,
	Author = {David F. Bacon and Peter F. Sweeney},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Crossref = {oopsla96},
	Pages = {324-341},
	Title = {Fast Static Analysis of {C}++ Virtual Function Calls.},
	Year = {1996}}

@article{Baker78,
	Author = {H. G. Baker},
	Journal = cacm,
	Month = apr,
	Number = 4,
	Pages = {280--294},
	Title = {List Processing in Real Time on a Serial Computer},
	Volume = 21,
	Year = 1978}

@inproceedings{Ban87,
	Author = {Fran{\c c}ois Bancilhon and Ted Briggs and Setrag Khoshafian and Patrick Valduriez},
	Crossref = {vldb87},
	Pages = {97--105},
	Title = {{FAD}: A Powerful and Simple Database Language}}

@article{Banerjee87,
	Asnnote = {Orion},
	Author = {Jay Banerjee and {Hong-Tai} Chou and Jorge F. Garza and Won Kim and Darrell Woelk and Nat Ballou and {Hyoung-Joo} Kim},
	Journal = toois,
	Month = jan,
	Number = 1,
	Pages = {3--26},
	Title = {Data Model Issues for Object-Oriented Applications},
	Volume = 5,
	Year = 1987}

@article{Banerjee88,
	Author = {Jay Banerjee and Won Kim and Sung-Jo Kim and Jorge F. Garza},
	Journal = ieeese,
	Month = nov,
	Number = 11,
	Pages = {1694--1699},
	Title = {Clustering a {DAG} for {CAD} Databases},
	Volume = 14,
	Year = 1988}

@inproceedings{Barrett95,
	Author = {David A. Barrett and Benjamin G. Zorn},
	Crossref = {pldi95},
	Pages = {301--314},
	Title = {Garbage Collection Using a Dynamic Threatening Boundary}}

@article{Barth77,
	Abstract = {Discusses techniques which enable automatic storage
                  reclamation overhead to be partially shifted to compile
                  time. The paper assumes a transaction oriented collection
                  scheme, as proposed by Deutsch and Bobrow, the necessary
                  features of which are summarised. Implementing the described
                  optimisations requires global flow analysis to be performed
                  on the source program. It is shown that at compile time
                  certain program actions that affect the reference counts of
                  cells can be deduced. This information is then used to find
                  actions that cancel when the code is executed and those that
                  can be grouped to achieve improved efficiency.},
	Annote = {garbage collection, storage management},
	Author = {Jeffrey M. Barth},
	Journal = cacm,
	Month = jul,
	Number = 7,
	Pages = {513--518},
	Title = {Shifting Garbage Collection Overhead to Compile Time},
	Volume = 20,
	Year = 1977}

@techreport{Bartlett88,
	Author = {Joel F. Bartlett},
	Institution = wrl,
	Month = feb,
	Number = {88/2},
	Title = {Compacting Garbage Collection with Ambiguous Roots},
	Type = {Research Report},
	Year = 1988}

@techreport{Bartlett89,
	Annote = {ambiguous, conservative},
	Author = {Joel. F. Bartlett},
	Institution = wrl,
	Month = oct,
	Number = {TN-12},
	Title = {Mostly-Copying Garbage Collection Picks Up Generations and {C++}},
	Type = {Technical Note},
	Year = 1989}

@article{Bat88,
	Author = {D. S. Batory and J. R. Barnett and J. F. Garza and K. P. Smith and K. Tsukuda and B. C. Twitchell and T. E. Wise},
	Journal = ieeese,
	Month = nov,
	Pages = {1711--1730},
	Title = {{GENESIS:} An Extensible Database Management System},
	Year = 1988}

@article{Bell73,
	Author = {James R. Bell},
	Journal = cacm,
	Month = jun,
	Number = 6,
	Pages = {370--372},
	Title = {Threaded Code},
	Volume = 16,
	Year = 1973}

@inproceedings{Bershad94,
	Author = {Brian N. Bershad and Craig Chambers and Susan J. Eggers and Chris Maeda and Dylan McNamee and Przemyslaw Pardyak and Stefan Savage and Emin G{\"u}n Sirer},
	Booktitle = {Proceedings of the 6th ACM SIGOPS European Workshop: Matching Operating Systems to Application Needs},
	City = {Dagstuhl Castle, Germany},
	Date = sep,
	Pages = {68--71},
	Title = {{SPIN} -- An Extensible Microkernel for Application-specific Operating System Services},
	Year = 1994}

@inproceedings{Bershad94b,
	Author = {Brian N. Bershad and Dennis Lee and Theodore H. Romer and J. Bradley Chen},
	Crossref = {asplos94},
	Pages = {158--170},
	Title = {Avoiding Conflict Misses Dynamically in Large Direct-Mapped Caches}}

@book{Birt73,
	Address = {Pennsauken, NJ},
	Author = {G. Birtwistle and others},
	Publisher = {Auerbach},
	Title = {{Simula} Begin},
	Year = 1973}

@phdthesis{Bis77,
	Address = {Cambridge, Massachusetts},
	Author = {Peter B. Bishop},
	Month = may,
	School = {Massachusetts Institute of Technology},
	Title = {Computer Systems with a Very Large Address Space and Garbage Collection},
	Year = 1977}

@inproceedings{Bjornsson02,
	Author = {Magnus E. Bjornsson and Liuba Shrira},
	Crossref = {oopsla02},
	Pages = {26--39},
	Title = {BuddyCache: High-Performance Object Storage for Collaborative Strong-Consistency Applications in a {WAN}}}

@inproceedings{Blackburn02,
	Author = {Stephen M. Blackburn and Richard E. Jones and Kathryn S. McKinley and J. Eliot B. Moss},
	Crossref = {pldi02},
	Pages = {153--164},
	Title = {Beltway: Getting around garbage collection gridlock}}

@inproceedings{Blackburn02b,
	Author = {Stephen Blackburn and Kathryn S. McKinley},
	Crossref = {ismm02},
	Pages = {281--290},
	Title = {In or out?: {Putting} write barriers in their place}}

@inproceedings{Blackburn03,
	Author = {Stephen Blackburn and Kathryn S. McKinley},
	Crossref = {oopsla03},
	Pages = {344--358},
	Title = {Ulterior reference counting: fast garbage collection without a long wait}}

@inproceedings{Blackburn04,
	Author = {Stephen M. Blackburn and Perry Cheng and Kathryn S. McKinley},
	Crossref = {sigmetrics04},
	Title = {Myths and Reality: The Performance Impact of Garbage Collection}}

@inproceedings{Blackburn98,
	Author = {Stephen N. Blackburn and Robin Stanton},
	Crossref = {pos98},
	Pages = {37--50},
	Title = {The Transactional Object Cache: A Foundation for High Performance Persistent System Construction}}

@inproceedings{BlackburnZigman98,
	Author = {Stephen N. Blackburn and John N. Zigman},
	Crossref = {pj3},
	Pages = {250-258},
	Title = {Concurrency -- The Fly in the Ointment?}}

@inproceedings{Blanchet99,
	Author = {Bruno Blanchet},
	Crossref = {oopsla99},
	Pages = {20--34},
	Title = {Escape Analysis for Object-Oriented Languages: Application to Java}}

@article{Blasgen77,
	Author = {M. W. Blasgen and K. P. Eswaran},
	Journal = ibmsj,
	Number = 4,
	Pages = {363--377},
	Title = {Storage and Access in Relational Data Bases},
	Volume = 16,
	Year = 1977}

@inproceedings{Bodik98a,
	Author = {Rastislav Bod{\'\i}k and Rajiv Gupta and Mary Lou Soffa},
	Crossref = {pldi98},
	Pages = {1--14},
	Title = {Complete removal of redundant computations}}

@inproceedings{Boehm00,
	Author = {Hans-J. Boehm},
	Crossref = {ismm00},
	Pages = {59--64},
	Title = {Reducing Garbage Collector Cache Misses}}

@article{Boehm92,
	Author = {Hans-Juergen Boehm and David R. Chase},
	Journal = {Journal of {C} Language Translation},
	Pages = {126--141},
	Title = {A proposal for garbage-collector safe {C} compilation},
	Year = 1992}

@inproceedings{Boehm96,
	Author = {Hans-Juergen Boehm},
	Crossref = {pldi96},
	Pages = {197--206},
	Title = {Simple garbage-collector safety}}

@mastersthesis{Brahnmath98,
	Author = {Kumar Jagadeeshwaraiah Brahnmath},
	Month = may,
	School = {Purdue University},
	Title = {Optimizing Orthogonal Persistence for {Java}},
	Year = 1998}

@inproceedings{Brecht99,
	Author = {Tim Brecht and Harjinder Sandhu},
	Booktitle = {Proceedings of the {USENIX} Annual Technical Conference},
	City = {Monterey, California},
	Date = jun,
	Title = {The Region Trap Library: Handling Traps on Application-Defined Regions of Memory},
	Year = 1999}

@article{Briggs97,
	Author = {Preston Briggs and Keith D. Cooper and L. Taylor Simpson},
	Journal = spe,
	Month = jun,
	Number = 6,
	Pages = {701--724},
	Title = {Value Numbering},
	Volume = 27,
	Year = 1997}

@inproceedings{Brooks84,
	Author = {Rodney A. Brooks},
	Crossref = {lfp84},
	Pages = {256--262},
	Title = {Trading data space for reduced time and code space in real-time garbage collection on stock hardware}}

@inproceedings{Brown90,
	Author = {A. L. Brown and A. Dearle and R. Morrison and D. S. Munro and J. Rosenberg},
	Crossref = {RK90},
	Pages = {155--172},
	Title = {A Layered Persistent Architecture for {Napier88}}}

@inproceedings{Brown92,
	Author = {A. L. Brown and G. Mainetto and F. Matthes and R. M{\"u}ller and D. J. McNally},
	Booktitle = {Proceedings 25th International Conference on Systems Sciences},
	City = {Hawaii},
	Date = jan,
	Pages = {766--776},
	Title = {An Open System Architecture for a Persistent Object Store},
	Year = 1992}

@incollection{Bun84,
	Author = {Peter Buneman},
	Booktitle = {Databases -- Role and Structure: An Advanced Course},
	Pages = {225--243},
	Publisher = {Cambridge University Press},
	Title = {Can We Reconcile Programming Languages and Databases?},
	Year = 1984}

@book{Burleson94,
	Author = {Donald Keith Burleson},
	Publisher = {Wiley},
	Title = {Practical Application of Object-Oriented Techniques to Relational Databases},
	Year = 1994}

@inproceedings{Busi02,
	Crossref = {sac02},
	Pages = {359--366},
	Title = {On the Serializability of Transactions in Shared Dataspaces with Temporary Data}}

@article{CACBM84,
	Author = {W. P. Cockshott and M. P. Atkinson and K. J. Chisholm and P. J. Bailey and R. Morrison},
	Journal = spe,
	Number = 1,
	Optmonth = {?},
	Pages = {49--71},
	Title = {{POMS}: A persistent object management system},
	Volume = 14,
	Year = 1984}

@inproceedings{CBCDM989,
	Author = {R. Connor and A. Brown and R. Carrick and A. Dearle and R. Morrison},
	Crossref = {pos89},
	Pages = {353--366},
	Title = {The Persistent Abstract Machine}}

@techreport{CBCDMR91,
	Author = {R. C. H. Connor and A. L. Brown and Q. I. Cutts and A. Dearle and R. Morrison and J. Rosenberg},
	Institution = {University of St Andrews},
	Number = {CS/91/6},
	Title = {Type Equivalence Checking in Persistent Object Systems},
	Type = {Research Report},
	Year = 1991}

@techreport{CD03,
	Author = {Tom Choithia and Dominic Duggan},
	Institution = {Department of Computer Science, Stevens Institute of Technology},
	Number = {2003-3},
	Title = {Abstractions for Fault-Tolerant Computing},
	Year = 2003}

@inproceedings{CD92,
	Author = {Sophie Cluet and Claude Delobel},
	Crossref = {sigmod92},
	Pages = {383--392},
	Title = {A General Framework for the Optimization of Object-Oriented Queries}}

@inproceedings{CD95,
	Author = {David R. Cheriton and Kenneth J. Duda},
	Crossref = {sosp95},
	Pages = {26--39},
	Title = {Logged Virtual Memory}}

@inproceedings{CD96,
	Author = {Michael J. Carey and David J. DeWitt},
	Crossref = {vldb96},
	Pages = {3--14},
	Title = {Of Objects and Databases: A Decade of Turmoil}}

@techreport{CDF86,
	Author = {Michael J. Carey and David J. DeWitt and Daniel Frank and Goetz Graefe and Joel E. Richardson and Eugene J. Shekita and M. Muralikrishna},
	Institution = {University of Wisconsin, Madison},
	Month = may,
	Number = 644,
	Title = {The Architecture of the {EXODUS} Extensible {DBMS}: A Preliminary Report},
	Type = {Computer Sciences Technical Report},
	Year = 1986}

@inproceedings{CDF94,
	Author = {Michael J. Carey and David J. DeWitt and Michael J. Franklin and Nancy E. Hall and Mark L. McAuliffe and Jeffrey E. Naughton and Daniel T. Schuh and Marvin H. Solomon and C. K. Tan and Odysseas G. Tsatalos and Seth J. White and Michael J. Zwilling},
	Crossref = {sigmod94},
	Pages = {383--394},
	Title = {Shoring Up Persistent Applications}}

@inproceedings{CDRS86,
	Author = {M. J. Carey and D. J. DeWitt and J. E. Richardson and E. J. Shekita},
	Crossref = {vldb86},
	Pages = {91--100},
	Title = {Object and File Management in the {EXODUS} Extensible Database System}}

@incollection{CDRS89,
	Author = {Michael J. Carey and David J. DeWitt and Joel E. Richardson and Eugene J. Shekita},
	Chapter = 14,
	Crossref = {KL89},
	Pages = {341--369},
	Title = {Storage Management for Objects in {EXODUS}}}

@inproceedings{CDV88,
	Author = {Michael J. Carey and David J. DeWitt and Scott L. Vandenberg},
	Crossref = {sigmod88},
	Pages = {413--423},
	Title = {A data model and query language for {EXODUS}}}

@inproceedings{CFW90,
	Author = {George Copeland and Michael Franklin and Gerhard Weikum},
	Crossref = {edbt90},
	Pages = {253--268},
	Title = {Uniform Object Management}}

@inproceedings{CFZ94,
	Author = {Michael J. Carey and Michael J. Franklin and Markos Zaharioudakis},
	Crossref = {sigmod94},
	Pages = {359--370},
	Title = {Fine-Grained Sharing in a Page Server {OODBMS}}}

@inproceedings{CG94,
	Author = {Brad Calder and Dirk Grunwald},
	Crossref = {popl94},
	Pages = {397--408},
	Title = {Reducing Indirect Function Call Overhead in {C++} Programs}}

@article{CH90,
	Author = {Fred C. Chow and John L. Hennessy},
	Journal = toplas,
	Month = oct,
	Number = 4,
	Pages = {501--536},
	Title = {The Priority-Based Coloring Approach to Register Allocation},
	Volume = 12,
	Year = 1990}

@inproceedings{CK89,
	Author = {Ellis E. Chang and Randy H. Katz},
	Crossref = {sigmod89},
	Pages = {348--357},
	Title = {Exploiting Inheritance and Structure Semantics for Effective Clustering and Buffering in an Object-Oriented {DBMS}}}

@inproceedings{CK94,
	Author = {Bob Cmelik and David Keppel},
	Booktitle = {Proceedings of the ACM Conference on the Measurement and Modeling of Computer Systems},
	City = {Nashville, Tennessee},
	Date = may,
	Journal = sigmetrics,
	Month = may,
	Number = 1,
	Pages = {128--137},
	Title = {Shade: A Fast Instruction-Set Simulator for Execution Profiling},
	Volume = 22,
	Year = 1994}

@article{CL97,
	Author = {Michal Cierniak and Wei Li},
	Journal = cpe,
	Month = jun,
	Number = 6,
	Pages = {427--444},
	Title = {Optimizing {Java} bytecodes},
	Volume = 9,
	Year = 1997}

@article{CL97b,
	Author = {Michal Cierniak and Wei Li},
	Journal = cpe,
	Month = nov,
	Number = 11,
	Pages = {1063--1073},
	Title = {Just-in-time optimizations for high-performance {Java} programs},
	Volume = 9,
	Year = 1997}

@article{CLFL94,
	Author = {Jeffrey S. Chase and Henry M. Levy and Michael J. Feeley and Edward D. Lazowska},
	Journal = tocs,
	Month = nov,
	Number = 4,
	Pages = {271--307},
	Title = {Sharing and Protection in a Single-Address Space Operating System},
	Volume = 12,
	Year = 1994}

@inproceedings{CLLM92,
	Author = {Jeffrey S. Chase and Henry M. Levy and Edward D. Lazowska and Miche Baker-Harvey},
	Crossref = {oopsla92},
	Pages = {397--413},
	Title = {Lightweight Shared Objects in a 64-Bit Operating System}}

@book{CLU:ref,
	Author = {B. Liskov and R. Atkinson and T. Bloom and E. Moss and C. Schaffert and R. Scheifler and A. Snyder},
	Publisher = {Springer-Verlag},
	Title = {{CLU} Reference Manual},
	Year = 1981}

@inproceedings{CM84,
	Annote = {Introduced the term 'impedance mismatch'},
	Author = {George Copeland and David Maier},
	Crossref = {sigmod84},
	Pages = {316--325},
	Title = {Making {Smalltalk} a Database System}}

@article{CM88,
	Author = {Albert Chang and Mark F. Mergen},
	Journal = tocs,
	Month = feb,
	Number = 1,
	Pages = {28--50},
	Title = {801 Storage: Architecture and Programming},
	Volume = 6,
	Year = 1988}

@techreport{CMM91,
	Author = {Richard Connor and David McNally and Ronald Morrison},
	Institution = {University of St Andrews},
	Number = {CS/91/7},
	Title = {Subtyping and Assignment in Database Programming Languages},
	Type = {Research Report},
	Year = 1991}

@inproceedings{CNP01,
	Author = {David G. Clarke and James Noble and John M. Potter},
	Crossref = {ecoop01},
	Pages = {53--76},
	Title = {Simple Ownership Types for Object Containment}}

@article{CR94,
	Author = {Panos Chrysanthis and Krithi Ramamritham},
	Journal = tods,
	Number = 3,
	Pages = {450-491},
	Title = {Synthesis of Extended Transaction Models Using {ACTA}},
	Volume = 19,
	Year = 1994}

@article{CS92,
	Author = {R. G. G. Cattell and J. Skeen},
	Journal = tods,
	Month = mar,
	Number = 1,
	Pages = {1--31},
	Title = {Object Operations Benchmark},
	Volume = 17,
	Year = 1992}

@inproceedings{CU89,
	Author = {Craig Chambers and David Ungar},
	Crossref = {pldi89},
	Pages = {146--160},
	Title = {Customization: Optimizing Compiler Technology for {SELF}, a Dynamically-Typed Object-Oriented Programming Language}}

@inproceedings{CU91,
	Annote = {Self, Message Splitting},
	Author = {Craig Chambers and David Ungar},
	Crossref = {oopsla91},
	Pages = {1--15},
	Title = {Making Pure Object Oriented Languages Practical}}

@inproceedings{CUL89,
	Author = {Craig Chambers and David Ungar and Elgin Lee},
	Crossref = {oopsla89},
	Pages = {49--70},
	Title = {An Efficient Implementation of {Self}, A Dynamically-Typed Object-Oriented Language Based on Prototypes}}

@inproceedings{CW86,
	Author = {Patrick J. Caudill and Allen Wirfs-Brock},
	Crossref = {oopsla86},
	Pages = {119--130},
	Title = {A Third Generation {Smalltalk-80} Implementation}}

@inproceedings{CWW86,
	Author = {Lori A. Clarke and Jack C. Wileden and Alexander L. Wolf},
	Booktitle = {Proceedings of {IEEE} Society Second International Conference on {Ada} Applications and Environments},
	City = {Miami Beach, FL},
	Date = aug,
	Title = {{Graphite}: a meta-tool for {Ada} environment development},
	Year = 1986}

@inproceedings{CWZ90,
	Author = {David R. Chase and Mark Wegman and F. Kenneth Zadeck},
	Crossref = {pldi90},
	Pages = {296--310},
	Title = {Analysis of Pointers and Structures}}

@inproceedings{CWZ94,
	Author = {Jonathan E. Cook and Alexander L. Wolf and Benjamin G. Zorn},
	Crossref = {sigmod94},
	Pages = {371--382},
	Title = {Partition Selection Policies in Object Database Garbage Collection}}

@article{Cahill97,
	Author = {Vinny Cahill and Paddy Nixon and Brendan Tangney and Fethi Rabhi},
	Journal = tcj,
	Number = 8,
	Pages = {513--527},
	Title = {Object Models for Distributed or Persistent Programming},
	Volume = 40,
	Year = 1997}

@inproceedings{Cahoon01,
	Author = {Brendon Cahoon and Kathryn S. McKinley},
	Booktitle = {Proceedings of IEEE International Conference on Parallel Architectures and Compilation Techniques},
	City = {Barcelona, Spain},
	Date = sep,
	Pages = {280--291},
	Title = {Data Data Flow Analysis for Software Prefetching Linked Data Structures in {Java}},
	Year = 2001}

@phdthesis{Cahoon02,
	Annote = {JOlden},
	Author = {Brendan D. Cahoon},
	Month = sep,
	School = {University of Massachusetts at Amherst},
	Title = {Effective Compile-Time Analysis for Data Prefetching in {Java}},
	Year = 2002}

@inproceedings{Calder98,
	Author = {Brad Calder and Chandra Krintz and Simmi John and Todd Austin},
	Crossref = {asplos98},
	Pages = {139--149},
	Title = {Cache-conscious data placement}}

@inproceedings{Callahan91,
	Author = {David Callahan and Ken Kennedy and Allan Porterfield},
	Crossref = {asplos91},
	Pages = {40--52},
	Title = {Software Prefetching}}

@inproceedings{Cardelli95a,
	Author = {Luca Cardelli},
	Crossref = {popl95},
	Title = {A Language with Distributed Scope}}

@inproceedings{Carey94,
	Author = {Michael J. Carey and David J. DeWitt and Chander Kant and Jeffrey F. Naughton},
	Crossref = {oopsla94},
	Pages = {414--426},
	Title = {A Status Report on the {OO7} {OODBMS} Benchmarking Effort}}

@inproceedings{Castro96,
	Author = {Miguel Castro and Manuel Sequeira and Manuel Costa and Paulo Guedes},
	Booktitle = {Proceedings of the 1996 International Conference on Parallel Processing},
	City = {Bloomington, Illinois},
	Date = aug,
	Pages = {128--137},
	Publisher = ieeecs,
	Title = {Efficient and flexible object sharing},
	Volume = {1: Architecture},
	Year = 1996}

@inproceedings{Cattell88,
	Author = {R. G. G. Cattell},
	Crossref = {oodb88},
	Pages = {364--367},
	Title = {Object-Oriented {DBMS} Performance Measurement}}

@techreport{Cattell90,
	Author = {R. G. G. Cattell and J. Skeen},
	Institution = {Sun Microsystems},
	Month = apr,
	Title = {{Engineering Database Benchmark}},
	Year = 1990}

@book{Cattell94,
	Author = {R. G. G. Cattell},
	Publisher = {Addison-Wesley},
	Title = {Object Data Management: Object-Oriented and Extended Relational Database Management Systems},
	Year = 1994}

@inproceedings{Chaitin82,
	Abstract = {Extends graph colouring approach of Chaitin et al. 1981 to
  register allocation so it naturally solves the spilling problem. Spill
  decisions are made on the basis of the conflict graph and cost estimates of
  the value of keeping the result of a computation in a register rather than
  storage. Register allocation involves the following phases: perform usedef
  chaining using information from a live variable data flow analysis, get
  the right number of names, build interference graph, coalesce nodes.},
	Author = {G. J. Chaitin},
	Crossref = {sigplan82},
	Pages = {98--105},
	Title = {Register Allocation and Spilling via Graph Coloring}}

@inproceedings{Chambers91,
	Author = {Craig Chambers},
	Crossref = {gc91},
	Title = {Cost of Garbage Collection in the SELF System}}

@phdthesis{Chambers92,
	Author = {Craig Chambers},
	School = {Stanford University},
	Title = {The design and implementation of the {SELF} compiler, an optimizing compiler for object-oriented programming languages},
	Year = 1992}

@unpublished{Chambers95,
	Author = {Craig Chambers},
	Month = dec,
	Note = {Version 2.0. http://www.cs.washington.edu/research/projects/cecil/www/Papers/cecil-spec.html},
	Title = {The {CECIL} language: specification and rationale},
	Year = 1995}

@inproceedings{Chambers95b,
	Author = {C. Chambers and J. Dean and D. Grove},
	Crossref = {icse95},
	Pages = {221--230},
	Title = {A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies}}

@inproceedings{Chang93,
	Author = {J. M. Chang and E. F. Gehringer},
	Booktitle = {Proceedings of the 7th {IFIP} International Conference on {VLSI}},
	City = {Grenoble, France},
	Date = sep,
	Pages = {83-91},
	Publisher = {Elsevier},
	Title = {Performance of object caching for object-oriented systems},
	Year = 1993}

@inproceedings{Chappell99,
	Author = {Robert S. Chappell and Jared Stark and Sangwook P. Kim and Steven K. Reinhardt and Yale N. Patt},
	Crossref = {isca99},
	Pages = {186--195},
	Title = {Simultaneous Subordinate Microthreading (SSMT)}}

@article{Chen76,
	Author = {P. P. S. Chen},
	Journal = tods,
	Month = mar,
	Number = 1,
	Pages = {9--36},
	Title = {The Entity-Relationship Model: Towards a Unified View of Data},
	Volume = 1,
	Year = 1976}

@article{Cheney70,
	Author = {C. J. Cheney},
	Journal = cacm,
	Month = nov,
	Number = 11,
	Pages = {677-678},
	Title = {A Nonrecursive List Compacting Algorithm},
	Volume = 13,
	Year = 1970}

@article{Cheriton84,
	Author = {David R. Cheriton},
	Journal = ieeesoft,
	Month = apr,
	Number = 2,
	Pages = {19--42},
	Title = {The {V} Kernel: A Software Base for Distributed Systems},
	Volume = 1,
	Year = 1984}

@inproceedings{Chilimbi98,
	Author = {Trishul M. Chilimbi and James R. Larus},
	Crossref = {ismm98},
	Pages = {37--48},
	Title = {Using generational garbage collection to implement cache-conscious data placement}}

@inproceedings{Chilimbi99a,
	Author = {Trishul M. Chilimbi and Mark D. Hill and James R. Larus},
	Crossref = {pldi99},
	Pages = {1--12},
	Title = {Cache-conscious Structure Layout}}

@article{Cho00,
	Author = {Eun-Sun Cho and Hyoung-Joo Kim},
	Journal = {Information and Software Technology},
	Month = apr,
	Number = 5,
	Pages = {347--356},
	Publisher = {Elsevier},
	Title = {{LOD*}: A {C++} extension for {OODBMS}s with orthogonal persistence to class hierarchies},
	Volume = 42,
	Year = 2000}

@inproceedings{Chow97,
	Author = {Fred Chow and Sun Chan and Robert Kennedy and Shin-Ming Liu and Raymond Lo and Peng Tu},
	Crossref = {pldi97},
	Pages = {273--286},
	Title = {A New Algorithm for Partial Redundancy Elimination Based on {SSA} Form}}

@article{Clausen97,
	Author = {Lars R. Clausen},
	Journal = cpe,
	Month = nov,
	Number = 11,
	Pages = {1031--1045},
	Title = {A {Java} bytecode optimizer using side-effect analysis},
	Volume = 9,
	Year = 1997}

@inproceedings{Click95,
	Author = {Cliff Click},
	Crossref = {pldi95},
	Pages = {246--257},
	Title = {Global code motion/global value numbering}}

@inproceedings{Clinger97,
	Author = {William D. Clinger and Lars T. Hansen},
	Crossref = {pldi97},
	Pages = {97--108},
	Title = {Generational Garbage Collection and the Radioactive Decay Model}}

@article{Codd70,
	Author = {E. F. Codd},
	Journal = cacm,
	Month = dec,
	Number = 6,
	Pages = {377--390},
	Title = {A Relational Model for Large Shared Databanks},
	Volume = 13,
	Year = 1970}

@article{Codd79,
	Author = {E. F. Codd},
	Journal = tods,
	Month = dec,
	Number = 4,
	Title = {Extending the Database Relational Model to Capture More Meaning},
	Volume = 4,
	Year = 1979}

@article{Collins60,
	Author = {George E. Collins},
	Journal = cacm,
	Month = dec,
	Number = 12,
	Pages = {655--657},
	Title = {A Method for Overlapping and Erasure of Lists},
	Volume = 3,
	Year = 1960}

@inproceedings{Collins99,
	Author = {Jamison D. Collins and Dean M. Tullsen},
	Booktitle = {Proceedings of the 32nd Annual IEEE/ACM International Symposium on Microarchitecture},
	City = {Haifa, Israel},
	Date = nov,
	Key = {MICRO-32},
	Title = {Hardware Identification of Cache Conflict Misses},
	Year = 1999}

@phdthesis{Connor91,
	Author = {Richard C. H. Connor},
	Note = {Available as Research Report CS/91/3},
	School = {University of St Andrews},
	Title = {Types and Polymorphism in Persistent Programming Systems},
	Year = 1991}

@inproceedings{Consel96,
	Author = {Charles Consel and Fran{\,c}ois No{\"e}l},
	Crossref = {popl96},
	Pages = {145--156},
	Title = {A General Approach for Run-Time Specialization and its Application to {C}}}

@article{Cook98,
	Author = {Jonathan E. Cook and Alexander L. Wolf and Benjamin G. Zorn},
	Journal = ieeekde,
	Month = jan,
	Number = 1,
	Pages = {153--172},
	Title = {A Highly Effective Partition Selection Policy for Object Database Garbage Collection},
	Volume = 10,
	Year = 1998}

@inproceedings{Cooper97,
	Author = {K. Cooper and J. Lu},
	Crossref = {pldi97},
	Pages = {308--319},
	Title = {Register Promotion in {C} programs}}

@article{Courts88,
	Author = {Robert Courts},
	Journal = cacm,
	Month = sep,
	Number = 9,
	Pages = {1128--1138},
	Title = {Improving locality of reference in a garbage-collecting memory management system},
	Volume = 31,
	Year = 1988}

@inproceedings{Cutts94,
	Author = {Q. Cutts and R. Connor and G. Kirby and R. Morrison},
	Booktitle = {Proceedings of the 17th Australasian Computer Science Conference},
	City = {Christchurch, New Zealand},
	Pages = {83--92},
	Title = {An Execution Driven Approach to Code Optimisation},
	Year = 1994}

@inproceedings{Cutts98,
	Author = {Quintin Cutts and Steve Lennon and Antony L. Hosking},
	Crossref = {pos98},
	Pages = {51--63},
	Title = {Reconciling buffer management with persistence optimisations}}

@inproceedings{DBE93,
	Author = {R. Kent Dybvig and Carl Bruggeman and David Eby},
	Crossref = {pldi93},
	Pages = {207--216},
	Title = {Guardians in a Generation-Based Garbage Collector}}

@inproceedings{DCBM89,
	Author = {A. Dearle and R. Conner and F. Brown and R. Morrison},
	Crossref = {dbpl89},
	Pages = {179--195},
	Title = {{Napier88} -- A Database Programming Language?}}

@inproceedings{DD88,
	Annote = {VBase, Ontologic},
	Author = {Joshua Duhl and Craig Damon},
	Crossref = {oopsla88},
	Pages = {153--163},
	Title = {A Performance Comparison of Object and Relational Databases Using the {Sun} Benchmark}}

@article{DD95,
	Author = {Hugh Darwen and C. J. Date},
	Journal = sigmod,
	Month = mar,
	Number = 1,
	Pages = {39--49},
	Title = {The Third Manifesto},
	Volume = 24,
	Year = 1995}

@inproceedings{DFMV90,
	Author = {David J. DeWitt and Philippe Futtersack and David Maier and Fernando Velez},
	Crossref = {vldb90},
	Pages = {107--121},
	Title = {A Study of Three Alternative Workstation-Server Architectures for Object Oriented Database Systems}}

@inproceedings{DGC95,
	Author = {Jeffrey Dean and David Grove and Craig Chambers},
	Crossref = {ecoop95},
	Pages = {77-101},
	Title = {Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis.}}

@article{DGLSS79,
	Annote = {Includes description of SETL language},
	Author = {Robert B. K. Dewar and Arthur Grand and Ssu-{Cheng} Liu and Jacob T. Schwartz and Edmond Schonberg},
	Journal = toplas,
	Month = jul,
	Number = 1,
	Pages = {27--49},
	Title = {Programming by Refinement, as Exemplified by the {SETL} Representation Sublanguage},
	Volume = 1,
	Year = 1979}

@article{DH89,
	Author = {R. Kent Dybvig and Robert Hieb},
	Journal = {Journal of Computer Languages},
	Number = 2,
	Pages = {109--123},
	Title = {Engines From Continuations},
	Volume = 14,
	Year = 1989}

@techreport{DM90,
	Author = {Antony J. T. Davie and David J. McNally},
	Institution = {University of St Andrews},
	Number = {CS/90/14},
	Title = {Statically Typed Applicative Persistent Language Environment (STAPLE) Reference Manual},
	Type = {Research Report},
	Year = 1990}

@inproceedings{DMH92,
	Author = {Amer Diwan and J. Eliot B. Moss and Richard L. Hudson},
	Crossref = {pldi92},
	Pages = {273--282},
	Title = {Compiler Support for Garbage Collection in a Statically Typed Language}}

@article{DN66,
	Author = {{O.-J.} Dahl and K. Nygaard},
	Journal = cacm,
	Month = sep,
	Number = 9,
	Pages = {671--678},
	Title = {{Simula} -- An {Algol}-based Simulation Language},
	Volume = 9,
	Year = 1966}

@inproceedings{DRSS96,
	Author = {A. A. Diwan and Sanjeeva Rane and S. Seshadri and S. Sudarshan},
	Crossref = {vldb96},
	Pages = {342--353},
	Title = {Clustering Techniques for Minimizing External Path Length}}

@inproceedings{DS84,
	Author = {L. Peter Deutsch and Allan M. Schiffman},
	Crossref = {popl84},
	Pages = {297--302},
	Title = {Efficient Implementation of the {Smalltalk-80} System}}

@article{DT88,
	Author = {Scott Danforth and Chris Tomlinson},
	Journal = acmcs,
	Month = mar,
	Number = 1,
	Pages = {29--72},
	Title = {Type Theories and Object-Oriented Programming},
	Volume = 20,
	Year = 1988}

@article{DTM95,
	Author = {Amer Diwan and David Tarditi and J. Eliot B. Moss},
	Journal = tocs,
	Month = aug,
	Number = 3,
	Pages = {244-273},
	Title = {Memory Subsystem Performance of Programs with Intensive Heap Allocation},
	Volume = 13,
	Year = 1995}

@inproceedings{Danvy96,
	Author = {Olivier Danvy},
	Crossref = {popl96},
	Pages = {242--257},
	Title = {Type-Directed Partial Evaluation}}

@inproceedings{Dar96,
	Author = {Shaul Dar and Michael J. Franklin and Bj{\"o}rn T. J{\'o}nsson and Divesh Srivastava and Michael Tan},
	Crossref = {vldb96},
	Pages = {330-341},
	Title = {Semantic Data Caching and Replacement}}

@book{Date83,
	Author = {C. J. Date},
	Publisher = {Addison-Wesley},
	Title = {An Introduction to Database Systems},
	Volume = {II},
	Year = 1983}

@inproceedings{Davies73,
	Annote = {spheres of control},
	Author = {C. T. Davies},
	Booktitle = {Proceedings of ACM National Conference 28},
	Pages = {136--141},
	Title = {Recovery Semantics for a {DB/DC} System},
	Year = 1973}

@article{Daynes00,
	Author = {Laurent Dayn\`{e}s},
	Journal = spe,
	Month = apr,
	Number = 4,
	Pages = {325--361},
	Title = {Implementation of automated fine-granularity locking in a persistent programming language},
	Volume = 30,
	Year = 2000}

@inproceedings{Daynes01,
	Author = {Laurent Dayn\`{e}s and Grzegorz Czajkowski},
	Crossref = {icde01},
	Pages = {163--172},
	Title = {High-Performance, Space-Efficient, Automated Object Locking}}

@inproceedings{Daynes96,
	Author = {Laurent Dayn\`{e}s},
	Crossref = {pj1},
	Title = {Extensible Transaction Management in {PJava}}}

@inproceedings{DaynesAtk97,
	Author = {Laurent Dayn\`{e}s and Malcolm Atkinson},
	Crossref = {pj2},
	Optpages = {?},
	Title = {Main-Memory Management to support Orthogonal Persistence for {Java}}}

@inproceedings{DeFouw98,
	Author = {Greg DeFouw and David Grove and Craig Chambers},
	Crossref = {popl98},
	Pages = {222--236},
	Title = {Fast interprocedural class analysis}}

@inproceedings{Dean96,
	Author = {Jeffrey Dean and Greg DeFouw and David Grove and Vassily Litvinov and Craig Chambers},
	Crossref = {oopsla96},
	Pages = {83--100},
	Title = {{Vortex}: An Optimizing Compiler for Object-Oriented Languages}}

@article{Dearle94,
	Author = {Alan Dearle and Rex di Bona and James Farrow and Frans Henskens and Anders Lindstr{\"o}m and John Rosenberg and Francis Vaughan},
	Journal = {Computer Systems},
	Month = {Summer},
	Number = 3,
	Pages = {289--312},
	Title = {Grasshopper: An orthogonally persistent operating system},
	Volume = 7,
	Year = 1994}

@techreport{Detlefs90,
	Annote = {Conservative, Ambiguous Roots},
	Author = {David L. Detlefs},
	Institution = {Carnegie Mellon University},
	Month = mar,
	Number = {CMU-CS-90-119},
	Title = {Concurrent Garbage Collection in {C}++},
	Year = 1990}

@incollection{Detlefs91,
	Address = {Cambridge, Massachusetts},
	Annote = {Review of GC, Ambiguous roots, Conservative},
	Author = {David Detlefs},
	Booktitle = {Topics in Advanced Language Implementation},
	Editor = {Peter Lee},
	Pages = {101--134},
	Publisher = {MIT Press},
	Title = {Concurrent Garbage Collection in {C++}},
	Year = 1991}

@inproceedings{Detlefs96,
	Author = {David L. Detlefs},
	Booktitle = {Proceedings of the First Workshop on Formal Methods in Software Practice},
	Date = jan,
	Pages = {1--9},
	Publisher = {ACM},
	Title = {An overview of the Extended Static Checking system},
	Year = 1996}

@techreport{Detlefs98,
	Author = {David L. Detlefs and K. Rustan M. Leino and Greg Nelson and James B. Saxe},
	Institution = {Compaq Systems Research Center},
	Month = dec,
	Number = 159,
	Title = {Extended Static Checking},
	Year = 1998}

@inproceedings{Deutsch90,
	Author = {Alain Deutsch},
	Crossref = {popl90},
	Pages = {157--168},
	Title = {On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications}}

@inproceedings{Deutsch94,
	Author = {Alain Deutsch},
	Crossref = {pldi94},
	Pages = {230--241},
	Title = {Interprocedural May-Alias Analysis for Pointers: Beyond $k$-limiting}}

@article{Diefendorff99,
	Author = {Keith Diefendorff},
	Journal = {Microprocessor Report},
	Number = 13,
	Title = {Power4 Focuses on Memory Bandwidth},
	Volume = 13,
	Year = 1999}

@article{Dijkstra68,
	Author = {Edsger W. Dijkstra},
	Journal = cacm,
	Month = mar,
	Number = 3,
	Pages = {147--148},
	Title = {Go To Statement Considered Harmful},
	Volume = 11,
	Year = 1968}

@inproceedings{Diniz97,
	Author = {Pedro C. Diniz and Martin C. Rinard},
	Crossref = {pldi97},
	Pages = {71--84},
	Title = {Dynamic Feedback: An Effective Technique for Adaptive Computing}}

@article{Diwan01,
	Author = {Amer Diwan and Kathryn S. McKinley and J. Eliot B. Moss},
	Journal = toplas,
	Month = jan,
	Number = 1,
	Pages = {30--72},
	Title = {Using Types to Analyze and Optimize Object-Oriented Programs},
	Volume = 23,
	Year = 2001}

@inproceedings{Dolby97,
	Author = {Julian Dolby},
	Crossref = {pldi97},
	Pages = {7--17},
	Title = {Automatic inline allocation of objects}}

@inproceedings{Domani00,
	Author = {Tamar Domani and Elliot K. Kolodner and Erez Petrank},
	Crossref = {pldi00},
	Pages = {274--284},
	Title = {A Generational On-the-fly Garbage Collector for {Java}}}

@inproceedings{Driesen96,
	Author = {Karel Driesen and Urs H{\"o}lzle},
	Crossref = {oopsla96},
	Pages = {306--323},
	Title = {The Direct Cost of Virtual Function Calls in {C++}}}

@article{EB84,
	Author = {K. Elhardt and R. Bayer},
	Journal = tods,
	Month = dec,
	Number = 4,
	Pages = {503--525},
	Title = {A Database Cache for High Performance and Fast Restart in Database Systems},
	Volume = 9,
	Year = 1984}

@book{ECSE,
	Author = {Lawrence Snyder and Forest Baskett and Michael M. Carroll and Don Michael Coleman and Deborah Estrin and Merrick L. Furst and John Hennessy and H. T. Kung and Kurt Maly and Brian Reid},
	Publisher = {National Academy Press, 139pp},
	Series = {Report of the Committee on Academic Careers for Experimental Computer Scientists, Computer Science and Telecommunications Board, National Research Council},
	Title = {Academic Careers for Experimental Computer Scientists and Engineers},
	Year = 1994}

@techreport{ED93,
	Address = {Palo Alto, California},
	Author = {John R. Ellis and David L. Detlefs},
	Institution = src,
	Month = jun,
	Number = 102,
	Title = {Safe, Efficient Garbage Collection for {C++}},
	Year = 1993}

@inproceedings{EGK95,
	Author = {Andr\'{e} Eickler and Carsten A. Gerlhof and Donald Kossman},
	Crossref = {vldb95},
	Pages = {18--29},
	Title = {A Performance Evaluation of OID Mapping Techniques}}

@article{EGLT76,
	Author = {K. P. Eswaran and J. N. Gray and R. A. Lorie and I. L. Traiger},
	Journal = cacm,
	Month = nov,
	Number = 11,
	Pages = {624--633},
	Title = {The Notion of Consistency and Predicate Locks in a Database System},
	Volume = 19,
	Year = 1976}

@article{EH84,
	Author = {Wolfgang Effelsberg and Theo Haerder},
	Journal = tods,
	Month = dec,
	Number = 4,
	Pages = {560--595},
	Title = {Principles of Database Buffer Management},
	Volume = 9,
	Year = 1984}

@inproceedings{ES95,
	Author = {Alan Eustace and Amitabh Srivastava},
	Crossref = {usenix95},
	Pages = {303--314},
	Title = {{ATOM}: A Flexible Interface for Building High Performance Program Analysis Tools}}

@inproceedings{Edelson92,
	Author = {Daniel R. Edelson},
	Booktitle = {Proceedings of the {USENIX C++} Conference},
	City = {Portland, Oregon},
	Date = aug,
	Pages = {1--20},
	Title = {Smart Pointers: They're Smart, But They're Not Pointers},
	Year = 1992}

@article{Eggers97,
	Author = {Susan J. Eggers and Joel S. Emer and Henry M. Levy and Jack L. Lo and Rebecca L. Stamm and Dean M. Tullsen},
	Journal = {IEEE Micro},
	Month = sep,
	Number = 5,
	Pages = {12--19},
	Title = {Simultaneous Multithreading: A Platform for Next-Generation Processors},
	Volume = 17,
	Year = 1997}

@inproceedings{Engler94,
	Author = {Dawson R. Engler and Todd A. Proebsting},
	Crossref = {asplos94},
	Pages = {263--272},
	Title = {{DCG}: An Efficient, Retargetable Dynamic Code Generation System}}

@inproceedings{Engler96a,
	Author = {Dawson R. Engler},
	Crossref = {pldi96},
	Pages = {160--170},
	Title = {{VCODE}: A Retargetable, Extensible, Very Fast Dynamic Code Generation System}}

@inproceedings{Engler96b,
	Author = {Dawson R. Engler and Wilson C. Hsieh and M. Frans Kaashoek},
	Crossref = {popl96},
	Pages = {131--144},
	Title = {{'C}: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation}}

@inproceedings{Ertl95,
	Author = {M. Anton Ertl},
	Crossref = {pldi95},
	Pages = {315--327},
	Title = {Stack Caching for Interpreters}}

@inproceedings{FCNL94,
	Author = {Michael J. Feeley and Jeffrey S. Chase and Vivek R. Narasayya and Henry M. Levy},
	Crossref = {osdi94},
	Pages = {215--227},
	Title = {Integrating Coherency and Recoverability in Distributed Systems}}

@inproceedings{FF00,
	Author = {Cormac Flanagan and Stephen N. Freund},
	Crossref = {popl04},
	Pages = {256--267},
	Title = {Atomizer: a dynamic atomicity checker for multithreaded programs}}

@inproceedings{FF04,
	Author = {Cormac Flanagan and Stephen N. Freund},
	Crossref = {pldi00},
	Pages = {219--232},
	Title = {Type-based race detection for {Java}}}

@article{FK87,
	Annote = {MELD},
	Author = {Peter H. Feiler and Gail E. Kaiser},
	Journal = {Information and Software Technology},
	Month = dec,
	Number = 10,
	Pages = {531--539},
	Title = {Granularity Issues in a Knowlege-Based Programming Environment},
	Volume = 29,
	Year = 1987}

@article{FLS87,
	Author = {{Kay-Ulrich} Felgentreu and {Wolfram-M.} Lippe and Friedemann H. Simon},
	Journal = ieeese,
	Month = jun,
	Number = 6,
	Pages = {628--635},
	Title = {Optimizing Static Scope {Lisp} by Repetitive Interpretation of Recursive Function Calls},
	Volume = {SE-13},
	Year = 1987}

@inproceedings{FS96,
	Author = {Bryan Ford and Sai Susarla},
	Crossref = {osdi96},
	Pages = {91--105},
	Title = {CPU Inheritance Scheduling}}

@inproceedings{FSS89,
	Author = {Leo Fegaras and Tim Sheard and David Stemple},
	Crossref = {dbpl89},
	Pages = {207--218},
	Title = {The {ADABTPL} Type System}}

@article{FY69,
	Author = {Robert R. Fenichel and Jerome C. Yochelson},
	Journal = cacm,
	Month = nov,
	Number = 11,
	Pages = {611--612},
	Title = {A {LISP} Garbage-Collector for Virtual-Memory Computer Systems},
	Volume = 12,
	Year = 1969}

@book{FZ87,
	Author = {Michael J. Folk and Bill Zoellick},
	Publisher = {Addison-{Wesley}},
	Title = {File Structures: A Conceptual Toolkit},
	Year = 1987}

@inproceedings{Fernandez95,
	Author = {Mary F. Fernandez},
	Crossref = {pldi95},
	Pages = {103--115},
	Title = {Simple and effective link-time optimization of {Modula-3} programs}}

@inproceedings{Ferreira94,
	Author = {Paulo Ferreira and Marc Shapiro},
	Crossref = {osdi94},
	Pages = {229--241},
	Title = {Garbage Collection and {DSM} Consistency}}

@article{Fishman87,
	Author = {D. H. Fishman and D. Beech and H. P. Cate and E. C. Chow and T. Connors and J. W. Davis and N. Derrett and C. G. Hoch and W. Kent and P. Lyngbaek and B. Mahbod and M. A. Neimat and T. A. Ryan and M. C. Shan},
	Journal = toois,
	Month = jan,
	Number = 1,
	Pages = {48--69},
	Title = {Iris: An Object-Oriented Database Management System},
	Volume = 5,
	Year = 1987}

@inproceedings{Fradet94,
	Author = {Pascal Fradet},
	Crossref = {lfp94},
	Pages = {24--33},
	Title = {Collecting More Garbage}}

@article{Franklin96,
	Author = {Michael J. Franklin and Michael J. Carey and Miron Livny},
	Journal = tods,
	Month = sep,
	Number = 3,
	Pages = {315--363},
	Title = {Transactional Client-Server Cache Consistency: Alternatives and Performance},
	Volume = 22,
	Year = 1997}

@article{Franz97,
	Author = {Michael Franz and Thomas Kistler},
	Journal = cacm,
	Month = dec,
	Number = 12,
	Pages = {87--94},
	Title = {Slim Binaries},
	Volume = 40,
	Year = 1997}

@mastersthesis{Fresko96,
	Author = {Nedim Fresko},
	Month = may,
	School = {Purdue University},
	Title = {Compiler Support for Accurate Garbage Collection on {RISC} architectures},
	Year = 1996}

@article{Frl79,
	Author = {S. I. Feldman},
	Journal = spe,
	Month = apr,
	Number = 4,
	Pages = {21--29},
	Title = {Make -- A Program for Maintaining Computer Programs},
	Volume = 9,
	Year = 1979}

@article{Futamura71,
	Author = {Y. Futamura},
	Journal = {Systems, Computers, Controls},
	Number = 5,
	Pages = {45--50},
	Title = {Partial Evaluation of Computation Process -- An Approach to a Compiler-Compiler},
	Volume = 2,
	Year = 1971}

@inproceedings{GA95,
	Author = {Marcelo J. R. Con{\,c}alves and Andrew W. Appel},
	Crossref = {fpca95},
	Pages = {293--305},
	Title = {Cache Performance of Fast-Allocating Programs}}

@inproceedings{GD87,
	Author = {Goetz Graefe and David J. DeWitt},
	Crossref = {sigmod87},
	Pages = {160--172},
	Title = {The {EXODUS} Optimizer Generator}}

@book{GJS+00,
	Author = {James Gosling and Bill Joy and Steele, Jr., Guy and Gilad Bracha},
	Edition = {Second},
	Publisher = {Addison-Wesley},
	Title = {The {Java} Language Specification},
	Year = 2000}

@inproceedings{GK85,
	Author = {Edward F. Gehringer and J. Leslie Keedy},
	Booktitle = {Proceedings of the Twelfth Annual International Symposium on Computer Architecture},
	City = {Boston, Massachusetts},
	Date = jun,
	Journal = sigarch,
	Number = 3,
	Pages = {161--170},
	Title = {Tagged Architecture: How Compelling are Its Advantages?},
	Volume = 13,
	Year = 1985}

@inproceedings{GLW95,
	Author = {Susan L. Graham and Steven Lucco and Robert Wahbe},
	Crossref = {usenix95},
	Pages = {315--325},
	Title = {Adaptable Binary Programs}}

@book{GMW79,
	Annote = {ML programming language},
	Author = {M. J. Gordon and A. J. R. G. Milner and C. P. Wadsworth},
	Publisher = {{Springer-Verlag}},
	Series = lncs,
	Title = {Edinburgh {LCF}},
	Volume = 78,
	Year = 1979}

@inproceedings{GP85,
	Author = {David Gries and Jan Prins},
	Booktitle = {Proceedings of the ACM Symposium on Language Issues in Programming Environments},
	City = {Seattle, Washington},
	Date = jun,
	Title = {A New Notion of Encapsulation},
	Year = 1985}

@article{GSW95,
	Author = {Michael P. Gerlek and Eric Stoltz and Michael Wolfe},
	Journal = toplas,
	Month = jan,
	Number = 1,
	Pages = {85--122},
	Title = {Beyond induction variables: detecting and classifying sequences using a demand-driven {SSA} form},
	Volume = 17,
	Year = 1995}

@article{GY86,
	Author = {James R. Goodman and Honesty C. Young},
	Journal = ieeetc,
	Month = oct,
	Number = 10,
	Pages = {907--910},
	Title = {Comments on ``A Massive Memory Machine''},
	Volume = {C-35},
	Year = 1986}

@inproceedings{GZH93,
	Author = {Dirk Grunwald and Benjamin Zorn and Robert Henderson},
	Crossref = {pldi93},
	Pages = {177--186},
	Title = {Improving the Cache Locality of Memory Allocation}}

@book{Gabriel85,
	Address = {Cambridge, Massachusetts},
	Author = {Richard P. Gabriel},
	Publisher = {MIT Press},
	Title = {Performance and Evaluation of {Lisp} Systems},
	Year = 1985}

@inproceedings{Garthwaite96,
	Author = {Alex Garthwaite and Scott Nettles},
	Crossref = {pj1},
	Pages = {6--14},
	Title = {Transactions for {Java}}}

@inproceedings{Gehringer79,
	Author = {Edward F. Gehringer},
	Crossref = sosp79,
	Pages = {131--142},
	Title = {Variable-Length Capabilities as a Solution to the Small-Object Problem}}

@article{Gelernter85,
	Author = {David Gelernter},
	Journal = toplas,
	Month = jan,
	Number = 1,
	Pages = {80--112},
	Title = {Generative Communication in {Linda}},
	Volume = 7,
	Year = 1985}

@article{George96,
	Author = {Lal George and Andrew W. Appel},
	Journal = toplas,
	Month = may,
	Number = 3,
	Pages = {300--324},
	Title = {Iterated Register Coalescing},
	Volume = 18,
	Year = 1996}

@inproceedings{Gniady99,
	Author = {Chris Gniady and Babak Falsafi and T. N. Vijaykumar},
	Crossref = {isca99},
	Pages = {162--171},
	Title = {Is $\textrm{SC} + \textrm{ILP}=\textrm{RC?}$}}

@article{Gottlob96,
	Author = {Georg Gottlob and Michael Schrefl and Brigitte R{\"o}ck},
	Journal = tois,
	Month = jul,
	Number = 3,
	Pages = {268--296},
	Title = {Extending Object-Oriented Systems with Roles},
	Volume = 14,
	Year = 1996}

@inproceedings{Grant99,
	Author = {Brian Grant and Matthai Philipose and Markus Mock and Craig Chambers and Susan J. Eggers},
	Crossref = {pldi99},
	Pages = {293--304},
	Title = {An Evaluation of Staged Run-Time Optimizations in DyC}}

@incollection{Gray78,
	Author = {J. N. Gray},
	Booktitle = {Operating Systems: An Advanced Course},
	Editor = {R. Bayer and others},
	Publisher = {Springer-Verlag},
	Series = lncs,
	Title = {Notes on Database Operating Systems},
	Year = 1978}

@book{Gray93,
	Author = {Jim Gray and Andreas Reuter},
	Publisher = {Morgan Kaufmann},
	Series = {Data Management Systems},
	Title = {Transaction Processing: Concepts and Techniques},
	Year = 1993}

@inproceedings{Gupta00,
	Author = {Manish Gupta and Jong-Deok Choi and Michael Hind},
	Crossref = {ecoop00},
	Pages = {422--446},
	Title = {Optimizing {Java} Programs in the Presence of Exceptions}}

@inproceedings{HBM93,
	Author = {Antony L. Hosking and Eric Brown and J. Eliot B. Moss},
	Crossref = {vldb93},
	Pages = {429--440},
	Title = {Update Logging for Persistent Programming Languages: A Comparative Performance Evaluation}}

@article{HEVRL98,
	Author = {Gernot Heiser and Kevin Elphinstone and Jerry Vochteloo and Stephen Russell and Jochen Liedtke},
	Journal = spe,
	Month = jul,
	Number = 9,
	Pages = {901--928},
	Title = {The {Mungi} Single-Address-Space Operating System},
	Volume = 28,
	Year = 1998}

@inproceedings{HF03,
	Author = {Tim Harris and Keir Fraser},
	Crossref = {oopsla03},
	Pages = {388--402},
	Title = {Language Support for Lightweight Transactions}}

@techreport{HFLP88,
	Address = {San Jose, CA},
	Author = {L.M. Haas and J.C. Freytag and G.M. Lohman and H. Pirahesh},
	Institution = {IBM Almaden Research Center},
	Month = dec,
	Number = {RJ 6110},
	Title = {Extensible Query Processing in {Starburst}},
	Year = 1988}

@inproceedings{HK86,
	Author = {S. Hudson and R. King},
	Crossref = {oodb86},
	Pages = {26--37},
	Title = {{CACTIS}: A Database System For Specifying Functionally-Defined Data}}

@inproceedings{HK87,
	Author = {S. E. Hudson and R. King},
	Crossref = {sigmod87},
	Pages = {491--503},
	Title = {Object-Oriented Database Support for Software Environments}}

@techreport{HK87a,
	Author = {R. Hull and R. King},
	Institution = {University of Southern California},
	Month = mar,
	Number = {86-201},
	Title = {Semantic Database Modeling: Survey, Applications, and Research Issues},
	Year = 1987}

@inproceedings{HL+03,
	Author = {Maurice Herlihy and Victor Luchangco and Mark Moir and Scherer, III, William N.},
	Crossref = {podc03},
	Pages = {92--101},
	Title = {Software transactional memory for dynamic-sized data structures}}

@inproceedings{HM90,
	Annote = {Also available as Computer Science Technical Report 90-74,
                  University of Massachusetts},
	Author = {Antony L. Hosking and J. Eliot B. Moss},
	Crossref = {pos90},
	Pages = {17--27},
	Title = {Towards Compile-Time Optimisations for Persistence}}

@techreport{HM91,
	Author = {Antony L. Hosking and J. Eliot B. Moss},
	Institution = umass,
	Month = mar,
	Number = {91-25},
	Title = {Compiler Support for Persistent Programming},
	Year = 1991}

@inproceedings{HM93a,
	Author = {Antony L. Hosking and J. Eliot B. Moss},
	Crossref = {sosp93},
	Pages = {106--119},
	Title = {Protection traps and alternatives for memory management of an object-oriented language}}

@techreport{HM95,
	Author = {Antony L. Hosking and J. Eliot B. Moss},
	Institution = {Department of Computer Sciences, Purdue University},
	Month = dec,
	Number = {95-084},
	Title = {Lightweight write detection and checkpointing for fine-grained persistence},
	Year = 1995}

@inproceedings{HMS92,
	Author = {Antony L. Hosking and J. Eliot B. Moss and Darko Stefanovi{\'c}},
	Crossref = {oopsla92},
	Pages = {92--109},
	Title = {A Comparative Performance Evaluation of Write Barrier Implementations}}

@incollection{HOT76,
	Annote = {surrogates, identity},
	Author = {P. A. V. Hall and J. Owlett and S. J. P. Todd},
	Booktitle = {Modeling in Data Base Management Systems},
	Editor = {G. M. Nijssen},
	Publisher = {North-Holland Publishing Company},
	Title = {Relations and Entities},
	Year = 1976}

@techreport{HP89,
	Author = {Norman C. Hutchinson and Larry L. Peterson},
	Institution = uacs,
	Month = aug,
	Number = {89-1a},
	Title = {The $x$-Kernel: An Architecture for Implementing Network Protocols},
	Year = 1989}

@inproceedings{HPAM89,
	Author = {Norman C. Hutchinson and Larry L. Peterson and Mark B. Abbott and Sean O'Malley},
	Crossref = {sosp89},
	Pages = {91-101},
	Title = {RPC in the $x$-kernel: Evaluating New Design Techniques}}

@article{HR83,
	Author = {T. Haerder and A. Reuter},
	Journal = acmcs,
	Month = dec,
	Pages = {287--318},
	Title = {Principles of Transaction-Oriented Database Recovery},
	Volume = 15,
	Year = 1983}

@inproceedings{HU94,
	Author = {Urs H{\"o}lzle and David Ungar},
	Crossref = {pldi94},
	Pages = {326--336},
	Title = {Optimizing dynamically-dispatched calls with run-time type feedback}}

@misc{HW03,
	Author = {Antony L. Hosking and Adam Welc},
	Howpublished = {Submitted for publication},
	Title = {Transactional Threads for Orthogonal Persistence},
	Year = 2003}

@techreport{HW86,
	Address = cmuADDR,
	Author = {Maurice Herlihy and Jeannette Wing},
	Institution = cmuCS,
	Month = dec,
	Number = {CMU-CS-86-167},
	Title = {Avalon: Language Support for Reliable Distributed Systems},
	Year = 1986}

@techreport{HW87,
	Address = cmuADDR,
	Author = {Maurice P. Herlihy and Jeannette M. Wing},
	Institution = cmuCS,
	Month = nov,
	Number = {CMU-CS-87-176},
	Title = {Reasoning About Atomic Objects},
	Year = 1987}

@article{HZ87,
	Annote = {ObServer},
	Author = {Mark F. Hornick and Stanley B. Zdonik},
	Journal = toois,
	Month = jan,
	Number = 1,
	Pages = {70--95},
	Title = {A Shared, Segmented Memory System for an Object-Oriented Database},
	Volume = 5,
	Year = 1987}

@inproceedings{Hagimont93,
	Author = {Daniel Hagimont and P.-Y. Chevalier and A. Freyssinet and S. Krakowiak and S. Lacourte and J. Mossi{\`e}re and X. Rousset de Pina},
	Crossref = {oopsla94},
	Pages = {129--144},
	Title = {Persistent Shared Object Support in the {Guide} System: Evaluation and Related Work}}

@article{Haines94,
	Author = {Nicholas Haines and Darrell Kindred and J. Gregory Morrisett and Scott M. Nettles and Jeannette M. Wing},
	Journal = toplas,
	Month = nov,
	Number = 6,
	Pages = {1719--1736},
	Title = {Composing First-Class Transactions},
	Volume = 16,
	Year = 1994}

@inproceedings{SmithM98,
	Author = {Frederick Smith and J. Gregory Morrisett},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Crossref = {ismm98},
	Ee = {http://doi.acm.org/10.1145/286860.286868},
	Pages = {68-78},
	Title = {Comparing Mostly-Copying and Mark-Sweep Conservative Collection.},
	Year = {1998}}

@article{Halfhill94b,
	Annote = {4-way fetch, 5-way issue, 5 functional units, out-of-order
                  execution, register renaming, branch prediction, speculative
                  execution, secondary cache},
	Author = {Tom R. Halfhill},
	Journal = {BYTE},
	Month = nov,
	Number = 11,
	Pages = {123--128},
	Title = {{T5}: Brute Force},
	Volume = 19,
	Year = 1994}

@article{Halstead85,
	Author = {Halstead, Jr., Robert H.},
	Journal = toplas,
	Month = oct,
	Number = 4,
	Pages = {501--538},
	Title = {Multilisp: A Language for Concurrent Symbolic Computation},
	Volume = 7,
	Year = 1985}

@article{Hammond97,
	Author = {Lance Hammond and Mark Willey and Kunle Olukotun},
	Journal = {IEEE Computer},
	Month = sep,
	Number = 9,
	Title = {A Single-Chip Multiprocessor},
	Volume = 30,
	Year = 1997}

@book{Harbison92,
	Author = {S. P. Harbison},
	Publisher = {Prentice Hall},
	Title = {Modula-3},
	Year = 1992}

@inproceedings{Hayes91,
	Author = {Barry Hayes},
	Crossref = {oopsla91},
	Pages = {33--46},
	Title = {Using Key Object Opportunism to Collect Old Objects}}

@book{Hecht77,
	Annote = {Syntax-directed data-flow analysis},
	Author = {Matthew S. Hecht},
	Publisher = {North-Holland},
	Title = {Flow Analysis of Computer Programs},
	Year = 1977}

@techreport{Herlihy87,
	Address = cmuADDR,
	Author = {Maurice Herlihy},
	Institution = cmuCS,
	Month = apr,
	Number = {CMU-CS-87-172},
	Title = {Concurrency vs. Availability: Atomicity Mechanisms for Replicated Data},
	Year = 1987}

@inproceedings{HerlihyMoss93,
	Author = {Maurice Herlihy and J. Eliot B. Moss},
	Crossref = {isca93},
	Pages = {289--300},
	Title = {Transactional Memory: Architectural Support for Lock-Free Data Structures}}

@inproceedings{Hicks98,
	Author = {Michael Hicks and Luke Hornof and Jonathan T. Moore and Scott M. Nettles},
	Crossref = {ismm98},
	Pages = {138--145},
	Title = {A Study of Large Object Spaces}}

@inproceedings{Hirzel01,
	Author = {Martin Hirzel and Amer Diwan and Antony Hosking},
	Crossref = {ecoop01},
	Pages = {181-206},
	Title = {On the Usefulness of Liveness for Garbage Collection and Leak Detection}}

@inproceedings{Hirzel

license_type: permissive

branch_name: refs/heads/master

gha_language: HTML

extension: bib