text:
Booktitle = sigmodc,
	City = {Washington, DC},
	Date = may,
	Journal = sigmod,
	Key = {SIGMOD'93},
	Month = jun,
	Number = 2,
	Title = sigmodc,
	Volume = 22,
	Year = 1993}

@proceedings{sigmod95,
	Booktitle = sigmodc,
	City = {San Jose, California},
	Date = may,
	Journal = sigmod,
	Key = {SIGMOD'95},
	Month = jun,
	Number = 2,
	Title = sigmodc,
	Volume = 24,
	Year = 1995}

@proceedings{sigplan82,
	Booktitle = {Proceedings of the ACM Symposium on Compiler Construction},
	City = {Boston, Massachusetts},
	Date = jun,
	Journal = sigplan,
	Key = {SIGPLAN'82},
	Month = jun,
	Number = 6,
	Title = {Proceedings of the ACM Symposium on Compiler Construction},
	Volume = 17,
	Year = 1982}

@proceedings{sigplan86,
	Booktitle = {Proceedings of the ACM Symposium on Compiler Construction},
	City = {Palo Alto, California},
	Date = jun,
	Journal = sigplan,
	Key = {SIGPLAN'86},
	Optmonth = jul,
	Optnumber = 7,
	Title = {Proceedings of the ACM Symposium on Compiler Construction},
	Volume = 21,
	Year = 1986}

@proceedings{sigsoft84,
	Booktitle = {Proceedings of the ACM Symposium on Practical Software Development Environments},
	City = {Pittsburgh, Pennsylvania},
	Date = apr,
	Key = {SIGSOFT'84},
	Title = {Proceedings of the ACM Symposium on Practical Software Development Environments},
	Year = 1984}

@proceedings{sosp79,
	Booktitle = sosp,
	City = {Pacific Grove, California},
	Key = {SOSP'79},
	Month = dec,
	Title = sosp,
	Year = 1979}

@proceedings{sosp85,
	Booktitle = sosp,
	City = {Orcas Island, Washington},
	Date = dec,
	Journal = sigops,
	Key = {SOSP'85},
	Number = 5,
	Title = sosp,
	Volume = 19,
	Year = 1979}

@proceedings{sosp89,
	Booktitle = sosp,
	City = {Litchfield Park, Arizona},
	Date = dec,
	Journal = sigops,
	Key = {SOSP'89},
	Number = 5,
	Title = sosp,
	Volume = 23,
	Year = 1989}

@proceedings{sosp93,
	Booktitle = sosp,
	City = {Asheville, North Carolina},
	Date = dec,
	Journal = sigops,
	Key = {SOSP'93},
	Month = dec,
	Number = 5,
	Title = sosp,
	Volume = 27,
	Year = 1993}

@proceedings{usenix95,
	Booktitle = {Proceedings of the USENIX Technical Conference},
	City = {New Orleans, Louisiana},
	Date = jan,
	Key = {USENIX'95},
	Title = {Proceedings of the USENIX Technical Conference},
	Year = 1995}

@proceedings{vldb79,
	Booktitle = vldb,
	City = {Rio de Janeiro, Brazil},
	Date = oct,
	Key = {VLDB'79},
	Publisher = ieeecs,
	Title = vldb,
	Year = 1979}

@proceedings{vldb85,
	Booktitle = vldb,
	City = {Stockholm, Sweden},
	Date = aug,
	Key = {VLDB'85},
	Publisher = {Morgan Kaufmann},
	Title = vldb,
	Year = 1985}

@proceedings{vldb87,
	Booktitle = vldb,
	City = {Brighton, England},
	Date = sep,
	Key = {VLDB'87},
	Publisher = {Morgan Kaufmann},
	Title = vldb,
	Year = 1987}

@proceedings{vldb89,
	Booktitle = vldb,
	City = {Amsterdam, The Netherlands},
	Date = aug,
	Key = {VLDB'89},
	Publisher = {Morgan Kaufmann},
	Title = vldb,
	Year = 1989}

@proceedings{vldb93,
	Booktitle = vldb,
	City = {Dublin, Ireland},
	Date = aug,
	Key = {VLDB'93},
	Publisher = {Morgan Kaufmann},
	Title = vldb,
	Year = 1993}

@proceedings{vldb96,
	Booktitle = vldb,
	City = {Mumbai (Bombay), India},
	Date = sep,
	Key = {VLDB'96},
	Publisher = {Morgan Kaufmann},
	Title = vldb,
	Year = 1995}

@proceedings{vldb02,
	Booktitle = vldb,
	City = {Hong Kong, China},
	Date = aug,
	Key = {VLDB'02},
	Title = vldb,
	Year = 2002}

@proceedings{pj1,
	Booktitle = {Proceedings of the First International Workshop on Persistence and {Java}},
	City = {Drymen, Scotland},
	Date = sep,
	Editor = {Malcolm P. Atkinson and Mick J. Jordan},
	Key = {PJW1},
	Month = nov,
	Publisher = {Sun Microsystems Laboratories Technical Report 96-58},
	Title = {Proceedings of the First International Workshop on Persistence and {Java}},
	Year = 1996}

@proceedings{pj3,
	Booktitle = {Proceedings of the Third International Workshop on Persistence and {Java}},
	City = {Tiburon, California},
	Date = {August~1998},
	Editor = {Ron Morrison and Mick Jordan and Malcolm Atkinson},
	Key = {PJW3},
	Publisher = {Morgan Kaufmann},
	Series = {Advances in Persistent Object Systems},
	Title = {Proceedings of the Third International Workshop on Persistence and {Java}},
	Year = 1999}

@proceedings{isca93,
	Booktitle = isca,
	City = {San Diego, California},
	Date = may,
	Key = {ISCA'93},
	Title = isca,
	Year = 1993}

@proceedings{isca98,
	Booktitle = isca,
	City = {Barcelona, Spain},
	Date = jun,
	Journal = {Computer Architecture News},
	Key = {ISCA'98},
	Month = jun,
	Number = 3,
	Title = isca,
	Volume = 26,
	Year = 1998}

@proceedings{cc99,
	Booktitle = cc,
	City = {Amsterdam, The Netherlands},
	Date = mar,
	Editor = {Stefan J{\"a}hnichen},
	Series = lncs,
	Title = cc,
	Volume = 1575,
	Year = 1999}

@proceedings{cc00,
	Booktitle = cc,
	City = {Berlin, Germany},
	Date = apr,
	Editor = {David A. Watt},
	Series = lncs,
	Title = cc,
	Volume = 1781,
	Year = 2000}

@proceedings{cc01,
	Booktitle = cc,
	City = {Genova, Italy},
	Date = apr,
	Editor = {Reinhard Wilhelm},
	Series = lncs,
	Title = cc,
	Volume = 2027,
	Year = 2001}

@proceedings{ppopp97,
	Booktitle = ppopp,
	City = {Las Vegas, Nevada},
	Date = jun,
	Key = {PPOPP'97},
	Title = ppopp,
	Year = 1997}

@proceedings{podc92,
	Booktitle = podc,
	City = {Vancouver, Canada},
	Date = aug,
	Key = {PODC'92},
	Title = podc,
	Year = 1992}

@proceedings{podc95,
	Booktitle = podc,
	City = {Ottawa, Canada},
	Date = aug,
	Key = {PODC'95},
	Title = podc,
	Year = 1995}

@proceedings{podc03,
	Booktitle = podc,
	City = {Boston, Massachusetts},
	Date = jul,
	Key = {PODC'03},
	Title = podc,
	Year = 2003}

@proceedings{sas01,
	Booktitle = sas,
	City = {Paris, France},
	Key = {SAS'01},
	Title = sas,
	Year = 2001}

@proceedings{tools99,
	Booktitle = tools,
	City = {Nancy, France},
	Date = jun,
	Key = {TOOLS'99},
	Title = tools,
	Year = 1999}

@proceedings{grande99,
	Booktitle = grande,
	City = {San Francisco, California},
	Date = jun,
	Key = {GRANDE'99},
	Title = grande,
	Year = 1999}

@proceedings{grande00,
	Booktitle = grande,
	City = {San Francisco, California},
	Date = jun,
	Key = {GRANDE'00},
	Title = grande,
	Year = 2000}

@proceedings{concur02,
	Booktitle = concur,
	City = {Brno, Czech Republic},
	Date = aug,
	Editor = {Lubos Brim and Petr Jancar, Mojm{\'\i}r Kret{\'\i}sk{\'y} and Anton{\'\i}n Kucera},
	Key = {CONCUR'02},
	Series = lncs,
	Title = concur,
	Volume = 2421,
	Year = 2002}

@proceedings{micro95,
	Booktitle = micro,
	City = {Ann Arbor, Michigan},
	Date = nov,
	Key = {MICRO'95},
	Publisher = {ACM/IEEE},
	Title = micro,
	Year = 1995}

@proceedings{hpca00,
	Booktitle = hpca,
	City = {Toulouse, France},
	Date = jan,
	Publisher = ieeecs,
	Title = hpca,
	Year = 2000}

@proceedings{esop04,
	Booktitle = esop,
	City = {Barcelona, Spain},
	Date = {Mar./Apr},
	Editor = {David E. Schmidt},
	Key = {ESOP'04},
	Series = lncs,
	Title = esop,
	Volume = 2986,
	Year = 2004}

@proceedings{sigmetrics04,
	Booktitle = sigmetrics,
	City = {New York, New York},
	Date = jun,
	Key = {SIGMETRICS'04},
	Title = sigmetrics,
	Year = 2004}

@proceedings{asplos96,
	Booktitle = asplos,
	City = {Cambridge, Massachusetts},
	Date = oct,
	Journal = sigplan,
	Key = {ASPLOS'96},
	Month = sep,
	Number = 9,
	Title = asplos,
	Volume = 31,
	Year = 1996}

@proceedings{iwmm92,
	Booktitle = iwmm,
	City = {St. Malo, France},
	Date = sep,
	Editor = {Yves Bekkers and Jacques Cohen},
	Publisher = {Springer-Verlag},
	Series = lncs,
	Title = iwmm,
	Volume = 637,
	Year = 1992}

@proceedings{osdi94,
	Booktitle = osdi,
	City = {Monterey, California},
	Date = nov,
	Journal = sigops,
	Key = {OSDI'94},
	Title = osdi,
	Volume = 28,
	Year = 1994}

@proceedings{osdi99,
	Booktitle = osdi,
	City = {New Orleans, Louisiana},
	Date = feb,
	Journal = sigops,
	Key = {OSDI'99},
	Month = {Winter, 1998},
	Title = osdi,
	Voplume = {Special Issue},
	Year = 1999}

@proceedings{pldi90,
	Booktitle = pldi,
	City = {White Plains, New York},
	Date = jun,
	Journal = sigplan,
	Key = {PLDI'90},
	Month = jun,
	Number = 6,
	Title = pldi,
	Volume = 25,
	Year = 1990}

@proceedings{pldi93,
	Booktitle = pldi,
	City = {Albuquerque, New Mexico},
	Date = jun,
	Journal = sigplan,
	Key = {PLDI'93},
	Month = jun,
	Number = 6,
	Title = pldi,
	Volume = 28,
	Year = 1993}

@proceedings{pldi95,
	Booktitle = pldi,
	City = {La Jolla, California},
	Date = jun,
	Journal = sigplan,
	Key = {PLDI'95},
	Month = jun,
	Number = 6,
	Title = pldi,
	Volume = 30,
	Year = 1995}

@proceedings{popl89,
	Booktitle = popl,
	City = {Austin, Texas},
	Date = jan,
	Key = {POPL'89},
	Title = popl,
	Year = 1989}

@proceedings{sigmod80,
	Booktitle = sigmodc,
	City = {Santa Monica, California},
	Date = may,
	Key = {SIGMOD'80},
	Title = sigmodc,
	Year = 1980}

@proceedings{vldb90,
	Booktitle = vldb,
	City = {Brisbane, Queensland, Australia},
	Date = aug,
	Key = {VLDB'90},
	Publisher = {Morgan Kaufmann},
	Title = vldb,
	Year = 1990}

@proceedings{vldb95,
	Booktitle = vldb,
	City = {Z{\"u}rich, Switzerland},
	Date = sep,
	Key = {VLDB'95},
	Publisher = {Morgan Kaufmann},
	Title = vldb,
	Year = 1995}

@proceedings{podc94,
	Booktitle = podc,
	City = {Los Angeles, California},
	Date = aug,
	Key = {PODC'94},
	Title = podc,
	Year = 1994}

@book{SH98,
	Author = {Michael Stonebraker and Joseph Hellerstein},
	Publisher = {Morgan-Kaufmann},
	Title = {Readings in Database Systems, Third Edition},
	Year = 1998}

@inproceedings{GKL+00,
	Author = {Jean-Pierre Goux and Sanjeev Kulkarni and Jeff Linderoth and Michael Yoder},
	Booktitle = {{IEEE Conference on High-Performance Distributed Computing}},
	Pages = {43-50},
	Title = {An Enabling Framework for Master-Worker Applications on the Computational Grid},
	Year = {2000}}

@incollection{Shi90,
	Author = shivers,
	Booktitle = {Topics in Advanced Language Implementation},
	Publisher = {MIT Press},
	Title = {Data-flow Analysis and Type Recovery in Scheme},
	Year = 1990}

@inproceedings{JW95,
	Author = jagannathan # and # weeks,
	Booktitle = popl,
	Month = jan,
	Pages = {393--407},
	Title = {A Unified Treatment Of Flow Analysis In Higher-Order Languages},
	Year = 1995}

@inproceedings{CBC93,
	Address = {Charleston, South Carolina},
	Author = {Jong-Deok Choi and Michael Burke and Paul Carini},
	Booktitle = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages},
	Pages = {232--245},
	Title = {Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects},
	Year = {1993}}

@inproceedings{Bla99,
	Author = {Bruno Blanchet},
	Booktitle = oopsla,
	Key = {Blanchet},
	Pages = {20-35},
	Title = {Escape Analysis for Object-Oriented Languages: Application to Java},
	Year = {1999}}

@inproceedings{BH99,
	Author = {Jeff Bogda and Urs Holzle},
	Booktitle = oopsla,
	Key = {Bogda},
	Pages = {35-47},
	Title = {Removing Unnecessary Synchronization in Java},
	Year = {1999}}

@inproceedings{CH92,
	Author = {Jyh-Herng Chow and Williams Ludwell Harrison III},
	Booktitle = {19$^{th}$ ACM Symposium on Principles of Programming Languages},
	Key = {Chow},
	Month = {January},
	Title = {Compile Time Analysis of Parallel Programs that Share Memory},
	Year = {1992}}

@inproceedings{Mer91,
	Author = {N. Mercouroff},
	Booktitle = {Mathematical Foundations of Programming Semantics},
	Key = {Mercouroff},
	Publisher = {Springer-Verlag},
	Title = {An Algorithm for Analyzing Communicating Processes},
	Year = {1991}}

@inproceedings{CC77,
	Author = p-cousout # and # r-cousout,
	Booktitle = popl,
	Month = jan,
	Pages = {238--252},
	Title = {Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints},
	Year = 1977}

@inproceedings{HJ03,
	Author = {Martin Hoffman and Steffan Jost},
	Booktitle = {Proceedings of the 30$^{th}$ ACM Symposium on Principles of Programming Languages},
	Title = {Static Prediction of Heap Space using First-Order Functional Programs},
	Year = 2003}

@inproceedings{CH95,
	Author = {Paul R. Carini and Michael Hind},
	Booktitle = {{SIGPLAN} Conference on Programming Language Design and Implementation},
	Pages = {23-31},
	Title = {Flow-Sensitive Interprocedural Constant Propagation},
	Year = {1995}}

@incollection{ARS97,
	Author = {Anurag Acharya and M. Ranganathan and Joel Saltz},
	Booktitle = {Mobile Object Systems: Towards the Programmable Internet},
	Editor = {J.~Vitek and C.~Tschudin},
	Pages = {111--130},
	Publisher = {Springer-Verlag: Heidelberg, Germany},
	Title = {{Sumatra}: A Language for Resource-aware Mobile Programs},
	Volume = {1222},
	Year = {1997}}

@inproceedings{GK92,
	Address = {Washington, D.C.},
	Author = {David Gelernter and David Kaminsky},
	Booktitle = {6th {ACM} International Conference on Supercomputing},
	Pages = {417--427},
	Title = {Supercomputing Out of Recycled Garbage: Preliminary Experience with {Piranha}},
	Year = {1992}}

@inproceedings{HJK+99,
	Author = {Michael W. Hicks and Suresh Jagannathan and Richard Kelsey and Jonathan T. Moore and Cristian Ungureanu},
	Booktitle = {ACM Java Grande Conference},
	Pages = {160-170},
	Title = {{Transparent Communication for Distributed Objects in Java}},
	Year = {1999}}

@article{CJK95,
	Author = {Henry Cejtin and Suresh Jagannathan and Richard Kelsey},
	Journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
	Number = {5},
	Title = {Higher-order Distributed Objects},
	Volume = {17},
	Year = {1995}}

@article{WJ98,
	Author = {Andrew K. Wright and Suresh Jagannathan},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Month = {January},
	Number = {1},
	Pages = {166--207},
	Publisher = {ACM Press},
	Title = {Polymorphic Splitting: An Effective Polyvariant Flow Analysis},
	Volume = {20},
	Year = {1998}}

@inproceedings{HWW93,
	Address = {New York},
	Author = {Wilson Hsieh and Wang, Paul and William Weihl},
	Booktitle = {The 4th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming},
	Key = {Hsieh},
	Month = {May},
	Pages = {239-249},
	Publisher = {ACM},
	Title = {{Computation Migration: Enhancing Locality for Distributed-Memory Parallel Systems}},
	Year = {1993}}

@inproceedings{Wad90,
	Author = {Philip Wadler},
	Booktitle = {{IFIP {TC} 2} Working Conference on Programming Concepts and Methods},
	Editor = {M. Broy and C. Jones},
	Pages = {347--359},
	Publisher = {North Holland},
	Title = {{Linear Types Can Change the World!}},
	Year = {1990}}

@article{Gir87,
	Author = {Jean Y. Girard},
	Journal = {Theoretical Computer Science},
	Pages = {1-101},
	Title = {Linear Logic},
	Year = 1987}

@inproceedings{FRD00,
	Author = {Manuel Fahndrich and Jakob Rehof and Manuvir Das},
	Booktitle = pldi,
	Pages = {253--263},
	Title = {{Scalable context-sensitive flow analysis using instantiation constraints}},
	Year = {2000}}

@inproceedings{HT00,
	Author = {Nevin Heintze and Olivier Tardieu},
	Booktitle = pldi,
	Pages = {254-263},
	Title = {{Ultra-fast Aliasing Analysis using {CLA}: A Million Lines of C Code in a Second}},
	Year = {2001}}

@misc{hrtpatch,
	Note = {http://www.tglx.de/projects/hrtimers/2.6.17/}}

@misc{xrts,
	Note = {http://www.alphaworks.ibm.com/tech/xrts}}

@inproceedings{Pina92,
	Author = {Pinakis, James},
	Booktitle = {Proceedings of the 15th Australian Computer Science Conference},
	Pages = {731-743},
	Title = {Providing directed communication in {Linda}},
	Year = 1992}

@article{MMU00,
	Author = {Naftaly Minsky and Yaron Minsky and Victoria Ungureanu},
	Journal = {Journal of Applied Artificial Intelligence},
	Number = 1,
	Title = {Safe Tuplespace-Based Coordination in Multi Agent Systems},
	Volume = 15,
	Year = 2001}

@inproceedings{BCG97,
	Address = {Berlin, Germany},
	Author = {R. Bjornson and N. Carriero and D. Gelernter},
	Booktitle = {Proc. 2nd Int. Conf. on Coordination Models and Languages},
	Editor = {D. Garlan and D. LeMetayer},
	Keyword = {Linda},
	Month = {September},
	Pages = {1-17},
	Publisher = springer,
	Series = lncs,
	Title = {{From weaving threads to untangling the web: a view of coordination from Linda's perspective}},
	Volume = 1282,
	Year = 1997}

@article{BudKen97,
	Author = {Z. Budlimic and K. Kennedy},
	Journal = cpe,
	Keyword = {Java, implementation},
	Month = {June},
	Number = 6,
	Pages = {445-464},
	Title = {{Optimizing Java: theory and practice}},
	Volume = 9,
	Year = 1997}

@inproceedings{HT92,
	Author = {Kohei Honda and Mario Tokoro},
	Booktitle = {Object-Based Concurrent Computing. LNCS 612},
	Editor = {M. Tokoro and O. Nierstrasz and P. Wegner},
	Pages = {21--51},
	Title = {On {Asynchronous Communication Semantics}},
	Year = {1992}}

@techreport{Bou92,
	Author = {G{\'e}rard Boudol},
	Institution = {INRIA Sofia-Antipolis},
	Month = may,
	Number = {1702},
	Title = {Asynchrony and {the $\pi$-calculus (Note)}},
	Type = {Rapport de Recherche},
	Year = {1992}}

@inproceedings{ACS96,
	Author = {Roberto M. Amadio and Ilaria Castellani and Davide Sangiorgi},
	Booktitle = {CONCUR '96},
	Crossref = {CONCUR96},
	Pages = {147--162},
	Title = {On {Bisimulations for the Asynchronous $\pi$-Calculus}},
	Year = {1996}}

@inproceedings{ButZed91,
	Address = {Mont Saint-Michel, France},
	Author = {P. Butcher and H. Zedan},
	Booktitle = {Research Directions in High Level Parallel Programming Languages},
	Editor = {JP. Banatre and D. LeMetayer},
	Keyword = {coordination language},
	Month = {June},
	Pages = {65-81},
	Publisher = springer,
	Series = lncs,
	Title = {{Lucinda: a Polymorphic Linda}},
	Volume = 574,
	Year = 1991}

@inproceedings{CGZ95a,
	Author = {N. Carriero and D. Gelernter and L. Zuck},
	Booktitle = {Object-Based Models and Languages for Concurrent Systems},
	Editor = {P. Ciancarini and O. Nierstrasz and A. Yonezawa},
	Keyword = {coordination language, multiset rewriting, multiple tuple spaces},
	Pages = {66-76},
	Publisher = springer,
	Series = lncs,
	Title = {{Bauhaus Linda}},
	Volume = 924,
	Year = 1995}

@inproceedings{Cia97c,
	Address = {Zurich, CH},
	Author = {P. Ciancarini},
	Booktitle = {Proc. ESEC Workshop on Mobility and Network Aware Computing},
	Editor = {G. Catalin Roman and C. Ghezzi},
	Keyword = {WWW, coordination, mine},
	Title = {{Agent Coordination in PageSpace}},
	Year = {1997}}

@article{1998:tse:denicola,
	Abstract = {We investigate the issue of designing a kernel
                 programming language for mobile computing and describe
                 KLAIM, a language that supports a programming paradigm
                 where processes, like data, can be moved from one
                 computing environment to another. The language consists
                 of a core Linda with multiple tuple spaces and of a set
                 of operators for building processes. KLAIM naturally
                 supports programming with explicit localities.
                 Localities are first-class data (they can be
                 manipulated like any other data), but the language
                 provides coordination mechanisms to control the
                 interaction protocols among located processes. The
                 formal operational semantics is useful for discussing
                 the design of the language and provides guidelines for
                 implementations. KLAIM is equipped with a type system
                 that statically checks access rights violations of
                 mobile agents. Types are used to describe the
                 intentions (read, write, execute, etc.) of processes in
                 relation to the various localities. The type system is
                 used to determine the operations that processes want to
                 perform at each locality, and to check whether they
                 comply with the declared intentions and whether they
                 have the necessary rights to perform the intended
                 operations at the specific localities. Via a series of
                 examples, we show that many mobile code programming
                 paradigms can be naturally implemented in our kernel
                 language. We also present a prototype implementaton of
                 KLAIM in Java.},
	Author = {Rocco De Nicola and Gian Luigi Ferrari and Rosario Pugliese},
	Issn = {0098-5589},
	Journal = {IEEE Transactions on Software Engineering},
	Keywords = {Programming languages, mobile code languages, semantics of programming languages, language design, coordination models},
	Month = may,
	Number = {5},
	Pages = {315--330},
	Title = {{KLAIM}: {A Kernel Language for Agents Interaction and Mobility}},
	Volume = {24},
	Year = {1998}}

@inproceedings{CJY95,
	Author = {P. Ciancarini and K. Jensen and D. Yankelewich},
	Booktitle = {Object-Based Models and Languages for Concurrent Systems},
	Editor = {P. Ciancarini and O. Nierstrasz and A. Yonezawa},
	Keyword = {Linda, coordination semantics, CHAM, mine},
	Pages = {77-106},
	Publisher = springer,
	Series = lncs,
	Title = {{On the Operational Semantics of a Coordination Language}},
	Volume = 924,
	Year = 1995}

@techreport{Cian93,
	Author = {P. Ciancarini},
	Institution = {The Technical University of Berlin},
	Keyword = {mobility},
	Month = {April},
	Number = {UBLCS-93-7},
	Title = {{Distribued Programming with Logic Tuple Spaces}},
	Year = 1993}

@article{RSA,
	Author = {R. Rivest and A. Shamir and L. Aldeman},
	Journal = cacm,
	Keyword = {encryption},
	Number = 2,
	Title = {{A Method for Obtaining Digital Signatures and Public-Key Cryptosystems}},
	Volume = 21,
	Year = 1978}

@techreport{DES,
	Author = {National Bureau of Standards},
	Institution = {Federal Information Processing Standards},
	Keyword = {encryption},
	Month = {January},
	Number = {Publication 46},
	Title = {{The Data Encryption Standard}},
	Year = 1977}

@article{Cian98,
	Author = {P. Ciancarini and R. Tolksdorf},
	Journal = ieeetse,
	Keyword = {coordination model, workflow},
	Number = 5,
	Title = {{Coordinating MultiAgent Applications on the WWW: A Reference Architecture}},
	Volume = 24,
	Year = 1998}

@incollection{WWWK97,
	Author = {J.~Waldo AND G.~Wyant AND A.~Wollrath AND S.~Kendall},
	Booktitle = {Mobile Object Systems},
	Keyword = {coordination, distribution},
	Pages = {49--64},
	Publisher = {Springer-Verlag, Berlin},
	Series = {Lecture Notes in Computer Science},
	Title = {A {Note on Distributed Computing}},
	Volume = {1222},
	Year = {1997}}

@techreport{GilPal98,
	Author = {D. Gilbert and C. Palamidessi},
	Institution = {The Pennsylvania State University},
	Keyword = {mobility},
	Number = {CSE Tech. Rep.},
	Title = {{A calculus for process migration}},
	Year = 1998}

@inproceedings{CriGou93,
	Author = {R. Cridlig and E. Goubault},
	Booktitle = {Proc. Int. Workshop on Static Analysis (WSA 93)},
	Editor = {P. Cousot and M. Falaschi and G. File and A. Rauzy},
	Keyword = {coordination semantics},
	Publisher = springer,
	Series = lncs,
	Title = {{Semantics and Analysis of Linda-based Languages}},
	Volume = 724,
	Year = 1993}

@article{FGY95,
	Author = {M. Feng and Y. Gao and C. Yuen},
	Journal = {Int. Journal of High Speed Computing},
	Keyword = {coordination implementation, BaLinda, Lisp},
	Number = 1,
	Title = {{Implementing Linda TupleSpace on a Distributed System}},
	Volume = 7,
	Year = 1995}

@article{FWY96,
	Author = {M. Feng and W. Wong and C. Yuen},
	Journal = cl,
	Keyword = {coordination, Linda, Lisp},
	Number = 4,
	Title = {{BaLinda Lisp: design and implementation}},
	Volume = 22,
	Year = 1996}

@article{GMPP97,
	Author = {A. Grasso and J. Meunier and D. Pagani and R. Pareschi},
	Journal = cscw,
	Keyword = {CLF, coordination application, LO, WWW},
	Title = {{Distributed Coordination and Workflow on the World Wide Web}},
	Volume = 6,
	Year = 1997}

@inproceedings{GNSP94,
	Address = {Chicago, IL},
	Annote = {http://www.ncsa.uiuc.edu/SDG/IT94/Proceedings/Agents.html},
	Author = {Y. Gutfreund and J. Nicol and R. Sasnett and V. Phuah},
	Booktitle = {Proc. 2nd Int. World Wide Web Conference},
	Keyword = {WWW, Linda, coordination, groupware},
	Month = {December},
	Title = {{WWWinda: An Orchestration Service for WWW Browsers and Accessories}},
	Year = 1994}

@inproceedings{GSW97,
	Address = {Berlin, Germany},
	Author = {R. van der Goot and J. Schaeffer and G. Wilson},
	Booktitle = {Proc. 2nd Int. Conf. on Coordination Models and Languages},
	Editor = {D. Garlan and D. LeMetayer},
	Keyword = {Linda, multiple tuple spaces, security, C++, coordination},
	Month = {September},
	Publisher = springer,
	Series = lncs,
	Title = {{Safer Tuple Spaces}},
	Volume = 1282,
	Year = 1997}

@inproceedings{Gel89,
	Author = {D. Gelernter},
	Booktitle = {Proc. Conf. on Parallel Architectures and Languages Europe (PARLE 89)},
	Editor = {E. Odijk and M. Rem and J. Syre},
	Keyword = {coordination model},
	Publisher = springer,
	Series = lncs,
	Title = {{Multiple Tuple Spaces in Linda}},
	Volume = 365,
	Year = 1989}

@book{JavaSpaces,
	Acknowledgement = ack-nhfb,
	Address = {Reading, MA, USA},
	Author = {Eric Freeman and Susanne Hupfer and Ken Arnold},
	Bibdate = {Tue May 11 07:12:25 1999},
	Isbn = {0-201-30955-6},
	Lccn = {QA76.73.J38F74 1999},
	Pages = {304},
	Price = {US\$39.95},
	Publisher = {Ad{\-d}i{\-s}on-Wes{\-l}ey},
	Title = {{JavaSpaces} principles, patterns, and practice},
	Year = {1999}}

@article{DMT98,
	Author = {G. {Di Marzo-Serugendo} and M. Muhugusa and C. Tschudin},
	Journal = {World Wide Web},
	Keyword = {mobile agents, coordination models},
	Number = {3},
	Pages = {139--153},
	Title = {{An Survey of Theories for Mobile Agents}},
	Volume = {1},
	Year = {1998}}

@article{Abadi97,
	Author = {M. Abadi},
	Journal = {Theoretical aspects of Computer Software},
	Keyword = {spi, security, types},
	Month = {September},
	Publisher = springer,
	Title = {{Secrecy by Typing in Security Protocols}},
	Year = 1998}

@inproceedings{CG98,
	Author = {Luca Cardelli and Andrew D. Gordon},
	Booktitle = {Proc. of Foundations of Software Science and Computation Structures (FoSSaCS), ETAPS'98, LNCS 1378},
	Month = mar,
	Title = {Mobile {Ambients}},
	Year = {1998}}

@proceedings{CONCUR96,
	Booktitle = {Proceedings CONCUR 96, {\rm Pisa, Italy}},
	Crossrefonly = {1},
	Editor = {Ugo Montanari and Vladimiro Sassone},
	Key = {CONCUR'96},
	Publisher = springer,
	Series = lncs,
	Title = {Proceedings {CONCUR} 96, {\rm Pisa, Italy}},
	Volume = {1119},
	Year = {1996}}

@inproceedings{Dam96,
	Author = {L. Dami},
	Booktitle = {Object Applications},
	Editor = {D Tsichritzis},
	Keyword = {coordination language},
	Publisher = {University of Geneva},
	Title = {{Type Inference and Subtyping in Higher-Order Generative Communication}},
	Year = 1996}

@article{milner.parrow.ea:calculus-mobile,
	Author = {Robin Milner and Joachim Parrow and David Walker},
	Journal = {Journal of Information and Computation},
	Month = sep,
	Title = {A Calculus of Mobile Processes, {P}arts {I} and {II}},
	Volume = {100},
	Year = {1992}}

@inproceedings{MatKaw88,
	Author = {S. Matsuoka and S. Kawai},
	Booktitle = {Proc. Object-Oriented Programming Systems, Languages and Applications (OOPSLA)},
	Keyword = {oo coordination, Linda, coordination model},
	Title = {Using Tuple-Space Communication in Distributed Object-Oriented Architectures},
	Year = {1988}}

@inproceedings{Tennenhouse:1996:AN,
	Author = {David Tennenhouse},
	Booktitle = {2nd Symposium on Operating Systems Design and Implementation ({OSDI} '96), October 28--31, 1996. Seattle, {WA}},
	Day = {28--31},
	Editor = {{USENIX}},
	Institution = {Telemedia, Networks and Systems Group, Laboratory for Computer Science, MIT},
	Title = {Active Networks},
	Year = {1996}}

@inproceedings{fournet.gonthier.ea:calculus-mobile,
	Author = {C\'{e}dric Fournet and Georges Gonthier and Jean-Jacques L{\'e}vy and Luc Maranget and Didier R{\'e}my},
	Booktitle = {CONCUR96},
	Title = {A Calculus of Mobile Agents},
	Year = 1996}

@techreport{cardelli:abstractions,
	Author = {Luca Cardelli},
	Institution = {Microsoft Research},
	Title = {Abstractions for mobile computations},
	Type = {Manuscript},
	Year = 1998}

@article{Hol88,
	Author = {A. Holt},
	Journal = acmtois,
	Keyword = {coordination model, workflow},
	Number = 2,
	Title = {{Diplans: A New Language for the Study and Implementation of Coordination}},
	Volume = 6,
	Year = 1988}

@techreport{Hup90,
	Address = {New Haven, CT},
	Author = {S. Hupfer},
	Institution = {Dept. of Computer Science, Yale University},
	Keyword = {coordination model},
	Number = {RR YALEU/DCS/R-766},
	Title = {Melinda: Linda {with Multiple Tuple Spaces}},
	Year = 1990}

@inproceedings{Jag92,
	Address = {New Haven, CT},
	Author = {S. Jagannathan},
	Booktitle = {Proc. 5th Workshop on Languages and Compilers for Parallel Computing},
	Editor = {U Banerjee and D Gelernter and A Nicolau and D Padua},
	Month = {August},
	Note = {TR YaleU/DCS/RR915},
	Title = {{A Generalized Framework for First-Class Tuple Space Systems}},
	Year = 1992}

@article{Jel90,
	Author = {R. Jellinghaus},
	Journal = sigplan,
	Keyword = {Linda, oo coordination},
	Month = {December},
	Number = 12,
	Title = {{Eiffel Linda: an Object Oriented Linda Dialect}},
	Volume = 25,
	Year = 1990}

@phdthesis{Kie97,
	Address = {Berlin},
	Author = {T. Kielmann},
	Keyword = {Linda, coordination, C++, object oriented, Petri Nets},
	Month = {Sept},
	School = {Dept. of CS, Univ. of Siegen},
	Title = {{Objective Linda: A Coordination Model for Object Oriented Parallel Programming}},
	Year = 1997}

@article{MLL97,
	Author = {M. Merz and B. Liberman and W. Lamersdorf},
	Journal = aai,
	Keyword = {mobile agents},
	Number = 6,
	Title = {{Using Mobile Agents to Support Interorganizational Workflow Management}},
	Volume = 11,
	Year = 1997}

@inproceedings{NajSte97,
	Address = {Canterbury, UK},
	Author = {E. Najm and JB. Stefani},
	Booktitle = {Proc. 2nd IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS)},
	Editor = {H. Bowman and J. Derrick},
	Keyword = {CORBA, distributed objects},
	Publisher = ch,
	Title = {{Computational Models for Open Distributed Systems}},
	Year = 1997}

@article{Sch95a,
	Address = {Boston, MA},
	Annote = {Proc. 4th Int. World Wide Web Conference},
	Author = {W. Schoenfeldinger},
	Journal = wwwj,
	Keyword = {Linda, coordination application, WWW},
	Month = {December},
	Number = 1,
	Publisher = ora,
	Title = {{WWW Meets Linda: Linda for Global WWW-Based Transaction}},
	Volume = 1,
	Year = 1995}

@article{SamKir96,
	Author = {Y. Sameshima and P. Kirstein},
	Journal = cnis,
	Keyword = {security},
	Month = {February},
	Number = 4,
	Title = {{Secure Document Interchange: a secure user agent}},
	Volume = 28,
	Year = 1996}

@inproceedings{Sch96d,
	Author = {H. Schuster},
	Editor = {O. Spaniol and C. Linnhoff-Popien and B. Meyer},
	Keyword = {client/server, interoperability},
	Publisher = springer,
	Series = lncs,
	Title = {Trends in Distributed Systems - CORBA and Beyond},
	Volume = 1161,
	Year = 1996}

@phdthesis{Sem96,
	Author = {L. Semini},
	Keyword = {coordination semantics, coordination logic, multiple tuple spaces},
	Number = {10/96},
	School = dip,
	Title = {Refinement in Tuple Space Languages},
	Year = 1996}

@inproceedings{Tol96,
	Address = {Cesena, Italy},
	Author = {R. Tolksdorf},
	Booktitle = {Proc. 1st Int. Conf. on Coordination Models and Languages},
	Editor = {P. Ciancarini and C. Hankin},
	Keyword = {coordination language, Laura},
	Month = {April},
	Series = lncs,
	Title = {{Coordinating Services in Open Distributed Systems with Laura}},
	Volume = 1061,
	Year = 1996}

@inproceedings{Tolk97a,
	Author = {R. Tolksdorf},
	Booktitle = {IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)},
	Keyword = {WWW, Linda},
	Title = {{Coordinating Java Agents with Multiple Coordination Languages on the Berlinda Platform}},
	Year = 1997}

@article{Tolk98,
	Author = {R. Tolksdorf},
	Journal = {Science of Computer Programming},
	Keyword = {coordination implementation, BaLinda, Lisp},
	Title = {{Laura: A Service-Based Coordination Language}},
	Volume = 31,
	Year = 1998}

@techreport{Tolk93,
	Author = {R. Tolksdorf},
	Institution = {The Technical University of Berlin},
	Keyword = {mobility},
	Number = {1993/7},
	Title = {{Alice - Basic Model and Subtyping Agents}},
	Year = 1993}

@inproceedings{Kro98,
	Author = {O. Krone and others},
	Booktitle = {Proc. ACM/SIGAPP Symp. on Applied Computing (SAC 98)},
	Editor = {J. Carroll and others},
	Keyword = {coordination, STL},
	Publisher = acmp,
	Title = {{Coordinating autonomous entities}},
	Year = 1998}

@inproceedings{BKBD98,
	Author = {M. Bonsangue and J. Kok and M. Boasson and E. DeJong},
	Booktitle = {Proc. ACM/SIGAPP Symp. on Applied Computing (SAC 98)},
	Editor = {J. Carroll and others},
	Keyword = {coordination, Splice},
	Publisher = acmp,
	Title = {{A software architecture for distributed control systems and its transition system semantics}},
	Year = 1998}

@inproceedings{BerKap98,
	Author = {A. Berry and S. Kaplan},
	Booktitle = {Proc. ACM/SIGAPP Symp. on Applied Computing (SAC 98)},
	Editor = {J. Carroll and others},
	Keyword = {coordination, CORBA, software architecture},
	Publisher = acmp,
	Title = {{Open, Distributed Coordination with Finesse}},
	Year = 1998}

@inproceedings{DRT98,
	Author = {M. Diaz and B. Rubio and J. Troya},
	Booktitle = {Proc. ACM/SIGAPP Symp. on Applied Computing (SAC 98)},
	Editor = {J. Carroll and others},
	Keyword = {coordination},
	Publisher = acmp,
	Title = {{Multilingual and multiparadigm integration of a Tuple Channel-based Coordination Model}},
	Year = 1998}

@article{Andrews1991,
	Author = {Gregory R. Andrews},
	Journal = {ACM Computing Surveys},
	Month = {March},
	Number = {1},
	Title = {Paradigms for Process Interaction in Distributed Programs},
	Volume = {23},
	Year = {1991}}

@techreport{Bakken1994,
	Address = {Tucson, AZ 85721},
	Author = {David Edward Bakken},
	Institution = {Department of Computer Science, The University of Arizona},
	Month = {August},
	Number = {94-23},
	Title = {Supporting Fault-Tolerant Parallel Programming in {L}inda},
	Type = {Ph.D. Dissertation},
	Year = {1994}}

@techreport{Matos,
	Abstract = {A hierarchical tuple-space model is proposed for
                 dealing with issues of complexity faced by programmers
                 who build and manage programs in distributed networks.
                 We present our research on a Linda-style approach to
                 both configuration and reconfiguration. After
                 presenting the model used in our work, we describe an
                 experimental implementation of a programming system
                 based upon the model. (Also cross-referenced as
                 UMIACS-TR-93-100)},
	Author = {Gilberto Matos and James M. Purtilo},
	Bibdate = {October 15, 1998},
	Institution = {University of Maryland, College Park},
	Month = oct,
	Number = {CS-TR-3153},
	Title = {Reconfiguration of {Hierarchical Tuple-Spaces}: {Experiments} with {Linda-Polylith}},
	Type = {Technical Report},
	Year = {1993}}

@inproceedings{BIRRELL83,
	Address = {Bretton Woods, NH},
	Annote = {Birrell and Nelson from Xerox PARC discuss
                 implementing Remote Procedure Calls. This abstract was
                 written to justify their use of a packet transport
                 protocol, given the efficiency-improvement steps they
                 have taken. Those are: a. minimize the number of
                 packets transmitted for simple calls. The simplest
                 calls take just one packet in each direction, b. ensure
                 that connection establishment and take down are cheap
                 and that the maintenance of large numbers of
                 connections does not impose an undue load on the server
                 nodes.},
	Author = {A. D. Birrell and B. J. Nelson},
	Bibdate = {Fri Feb 1 12:26:47 1985},
	Booktitle = {Proceedings of the ACM Symposium on Operating System Principles},
	Key = {Birrell \& Nelson},
	Month = oct,
	Organization = {Association for Computing Machinery},
	Pages = {3},
	Publisher = {Association for Computing Machinery},
	Title = {Implementing {Remote Procedure Calls}},
	Year = {1983}}

@techreport{Narem1989,
	Address = {New Haven},
	Author = {James E. Narem},
	Institution = {Department of Computer Science, Yale University},
	Month = {December},
	Note = {From the Internet},
	Number = {YALEU/DCS/TR-839},
	Title = {An Informal Operational Semantics of {C}-{L}inda {V}2.3.5},
	Type = {Technical Report},
	Year = {1989}}

@inproceedings{picco99:lime,
	Address = {Los Angeles, CA, USA},
	Author = {Gian Pietro Picco and Amy L. Murphy and Gruia-Catalin Roman},
	Booktitle = {Proceedings of the 21$^{st}$ International Conference on Software Engineering (ICSE'99)},
	Editor = {D. Garlan},
	Month = may,
	Note = {Also available as Technical Report WUCS-98-21, July 1998, Washington University in St. Louis, MO, USA.},
	Pages = {368--377},
	Publisher = {ACM Press},
	Title = {{{\sc Lime}: Linda Meets Mobility}},
	Url = {http://www.elet.polimi.it/Users/DEI/Sections/Compeng/GianPietro.Picco/papers/icse99.ps.gz},
	Year = {1999}}

@article{Busi:1998:PAV,
	Acknowledgement = ack-nhfb,
	Author = {Nadia Busi and Roberto Gorrieri and Gianluigi Zavattaro},
	Bibdate = {Mon Jul 19 22:21:35 MDT 1999},
	Classification = {C4210L (Formal languages and computational linguistics); C4240P (Parallel programming and algorithm theory); C6110P (Parallel programming)},
	Coden = {TCSCDI},
	Corpsource = {Dipt. di Matematica, Siena Univ., Italy},
	Day = {20},
	Issn = {0304-3975},
	Journal = {Theoretical Computer Science},
	Keywords = {asynchronous communication; asynchrony; barbed semantics; behavioral equivalences; bisimulation based semantics; bottom element; CCS; coarsest congruences; computational linguistics; coordination languages; four points lattice; Linda coordination primitives; non blocking in/rd predicates; observational semantics; output operation; parallel languages; process algebra; process algebraic view; read operation; strong bisimulation; tuples},
	Month = feb,
	Number = {2},
	Pages = {167--199},
	Pubcountry = {Netherlands},
	Title = {A process algebraic view of {Linda} coordination primitives},
	Treatment = {T Theoretical or Mathematical},
	Url = {http://www.elsevier.com/cas/tree/store/tcs/sub/1998/192/2/2685.pdf},
	Volume = {192},
	Year = {1998}}

@inproceedings{DeNPug96a,
	Author = {R. DeNicola and R. Pugliese},
	Booktitle = {Proc. 1st Int. Conf. on Coordination Models and Languages},
	Editor = {P. Ciancarini and C. Hankin},
	Keyword = {coordination semantics, Linda},
	Pages = {160--178},
	Publisher = {Springer-Verlag, Berlin},
	Series = {Lecture Notes in Computer Science},
	Title = {{A Process Algebra based on Linda}},
	Volume = {1061},
	Year = {1996}}

@article{toplas85,
	Annote = {incomplete},
	Author = {David Gelernter},
	Categories = {D.3.2 Software, PROGRAMMING LANGUAGES, Language Classifications, Linda. C.2.1 Computer Systems Organization, COMPUTER-COMMUNICATION NETWORKS, Network Architecture and Design, Network communications. D.3.4 Software, PROGRAMMING LANGUAGES, Processors, Compilers. D.3.3 Software, PROGRAMMING LANGUAGES, Language Constructs and Features, Concurrent programming structures. D.4.4 Software, OPERATING SYSTEMS, Communications Management, Message sending. D.1.3 Software, PROGRAMMING TECHNIQUES, Concurrent Programming. C.2.4 Computer Systems Organization, COMPUTER-COMMUNICATION NETWORKS, Distributed Systems, Distributed applications. D.4.2 Software, OPERATING SYSTEMS, Storage Management, Distributed memories.},
	Genterms = {DESIGN, LANGUAGES, THEORY},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Month = jan,
	Number = {1},
	Pages = {80--112},
	Publaddr = {New York , NY , USA},
	Publisher = {ACM Press},
	Referencedby = {\cite{1998:iccl:fenwick}},
	Title = {Generative {Communication in Linda}},
	Volume = {7},
	Year = {1985}}

@inproceedings{Pol93,
	Author = {A. Polze},
	Booktitle = {Proc. Technology of Object-Oriented Languages and Systems (TOOLS 93)},
	Keyword = {coordination language, Linda},
	Title = {{The Object Space Approach: Decoupled Communication in C++}},
	Year = 1993}

@article{Hogg-etal92,
	Annote = {12 references.},
	Author = {John Hogg and Doug Lea and Alan Wills and Dennis deChampeaux and Richard Holt},
	Journal = {OOPS Messenger},
	Key = {Hogg, {\em et al.}},
	Month = apr,
	Number = {2},
	Pages = {11--16},
	Title = {The {Geneva Convention} on the Treatment of Object Aliasing},
	Volume = {3},
	Year = {1992}}

@article{Giffor82,
	Abstract = {A new protection mechanism is described that provides
                 general primitives for protection and authentication.
                 The mechanism is based on the idea of sealing an object

                 with a key. Sealed objects are self-authenticating, and

                 in the absence of an appropriate set of keys, only
                 provide information about the size of their contents.
                 New keys can be freely created at any time, and keys
                 can also be derived from existing keys with operators
                 that include Key-And and Key-Or. This flexibility
                 allows the protection mechanism to implement common
                 protection mechanisms such as capabilities, access
                 control lists, and information flow control. The
                 mechanism is enforced with a synthesis of conventional
                 cryptography, public-key cryptography, and a threshold
                 scheme.},
	Author = {D. K. Gifford},
	Journal = {Communications of the ACM},
	Month = apr,
	Number = {4},
	Pages = {274--286},
	Title = {{Cryptographic Sealing for Information Secrecy and Authentication}},
	Volume = {25},
	Year = {1982}}

@article{CG89,
	Author = {Nicholas Carriero and David Gelernter},
	Journal = {Communications of the ACM},
	Number = 4,
	Pages = {444-458},
	Title = {{Linda in Context}},
	Volume = 32,
	Year = 1989}

@inproceedings{RajwarGoo01,
	Address = {Austin, Texas},
	Author = {Ravi Rajwar and James R. Goodman},
	Booktitle = {Proceedings of the 34th Annual International Symposium on Microarchitecture},
	Month = dec # {1--5,},
	Organization = {IEEE Computer Society TC-MICRO and ACM SIGMICRO},
	Pages = {294--305},
	Title = {Speculative Lock Elision: Enabling Highly Concurrent Multithreaded Execution},
	Year = {2001}}

@inproceedings{PODC95*204,
	Address = {New York},
	Author = {Nir Shavit and Dan Touitou},
	Booktitle = {Proceedings of the 14th Annual {ACM} Symposium on Principles of Distributed Computing ({PODC} '95)},
	Isbn = {0-89791-710-3},
	Month = aug,
	Pages = {204--213},
	Publisher = {ACM},
	Title = {Software transactional memory},
	Year = {1995}}

@article{Locke:1988:PIC,
	Author = {Douglass Locke and Lui Sha and Ragunathan Rajkumar and John Lehoczky and Greg Burns},
	Conflocation = {Moretonhampstead, UK; 1-3 June 1988},
	Conftitle = {Second International Workshop on Real-Time ADA Issues},
	Journal = {ACM SIGADA Ada Letters},
	Month = {Fall},
	Number = {7},
	Pages = {39--42},
	Title = {Priority inversion and its control: {An} experimental investigation},
	Volume = {8},
	Year = {1988}}

@article{Goodenough:1988:PCP,
	Acknowledgement = ack-nhfb,
	Author = {John B. Goodenough and Lui Sha},
	Bibdate = {Sat Aug 9 09:05:31 MDT 2003},
	Classcodes = {C6150J (Operating systems); C6140D (High level languages)},
	Coden = {AALEE5},
	Conflocation = {Moretonhampstead, UK; 1-3 June 1988},
	Conftitle = {Second International Workshop on Real-Time ADA Issues},
	Corpsource = {Software Eng. Inst., Carnegie-Mellon Univ., Pittsburgh, PA, USA},
	Issn = {0736-721X},
	Journal = {ACM SIGADA Ada Letters},
	Month = {Fall},
	Number = {7},
	Pages = {20--31},
	Title = {The Priority Ceiling Protocol: {A} Method for Minimizing the Blocking of High Priority {Ada} Tasks},
	Volume = {8},
	Year = {1988}}

@article{1993:toplas:herlihy,
	Abstract = {A \emph{concurrent object} is a data structure shared by
                  concurrent processes. Conventional techniques for
                  implementing concurrent objects typically rely on
                  \emph{critical sections}; ensuring that only one process at
                  a time can operate on the object. Nevertheless, critical
                  sections are poorly suited for asynchronous systems: if one
                  process is halted or delayed in a critical section, other,
                  nonfaulty processes will be unable to progress. By contrast,
                  a concurrent object implementation is \emph{lock free} if it
                  always guarantees that some process will complete an
                  operation in a finite number of steps, and it is \emph{wait
                  free} if it guarantees that \emph{each} process will
                  complete an operation in a finite number of steps. This
                  paper proposes a new methodology for constructing lock-free
                  and wait-free implementations of concurrent objects. The
                  object's representation and operations are written as
                  stylized sequential programs, with no explicit
                  synchronization. Each sequential operation is atutomatically
                  transformed into a lock-free or wait-free operation using
                  novel synchronization and memory management
                  algorithms. These algorithms are presented for a multiple
                  instruction/multiple data (MIMD) architecture in which
                  \emph{n} processes communicate by applying atomic
                  \emph{read, write, load_linked} and \emph{store_conditional}
                  operations to a shared memory.},
	Author = {Maurice Herlihy},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Month = nov,
	Number = {5},
	Pages = {745--770},
	Publaddr = {New York , NY , USA},
	Publisher = {ACM Press},
	Title = {A Methodology for Implementing Highly Concurrent Data Objects},
	Url = {http://www.acm.org/pubs/articles/journals/toplas/1993-15-5/p745-herlihy/p745-herlihy.pdf},
	Volume = {15},
	Year = {1993}}

@inproceedings{spaa93*261,
	Address = {Velen, FRG},
	Author = {Greg Barnes},
	Booktitle = {Proceedings of the 5th Annual {ACM} Symposium on Parallel Algorithms and Architectures},
	Isbn = {0-89791-599-2},
	Month = jun,
	Pages = {261--270},
	Publisher = {ACM Press},
	Title = {A Method for Implementing Lock-Free Data Structures},
	Year = {1993}}

@article{oai:arXiv.org:cs/0303011,
	Abstract = {In multiprogrammed systems, synchronization often
                 turns out to be a performance bottleneck and the source
                 of poor fault-tolerance. Wait-free and lock-free
                 algorithms can do without locking mechanisms, and
                 therefore do not suffer from these problems. We present
                 an efficient almost wait-free algorithm for parallel
                 accessible hashtables, which promises more robust
                 performance and reliability than conventional
                 lock-based implementations. Our solution is as
                 efficient as sequential hashtables. It can easily be
                 implemented using C-like languages and requires on
                 average only constant time for insertion, deletion or
                 accessing of elements. Apart from that, our new
                 algorithm allows the hashtables to grow and shrink
                 dynamically when needed. A true problem of lock-free
                 algorithms is that they are hard to design correctly,
                 even when apparently straightforward. Ensuring the
                 correctness of the design at the earliest possible
                 stage is a major challenge in any responsible system
                 development. Our algorithm contains 81 atomic
                 statements. In view of the complexity of the algorithm
                 and its correctness properties, we turned to the
                 interactive theorem prover PVS for mechanical support.
                 We employ standard deductive verification techniques to
                 prove around 200 invariance properties of our almost
                 wait-free algorithm, and describe how this is achieved
                 using the theorem prover PVS.},
	Author = {Hui Gao and Jan Friso Groote and Wim H. Hesselink},
	Month = mar # {~18},
	Title = {Efficient almost wait-free parallel accessible dynamic hashtables},
	Url = {http://arXiv.org/abs/cs/0303011},
	Year = {2003}}

@inproceedings{HerLucMoi02,
	Author = {Herlihy and Luchangco and Moir},
	Booktitle = {DISC: International Symposium on Distributed Computing},
	Publisher = {LNCS},
	Title = {The Repeat Offender Problem: {A} Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures},
	Year = {2002}}

@article{Anderson:1997:RCL,
	Author = {James H. Anderson and Srikanth Ramamurthy and Kevin Jeffay},
	Journal = {ACM Transactions on Computer Systems},
	Month = may,
	Number = {2},
	Pages = {134--165},
	Title = {Real-time Computing with Lock-Free Shared Objects},
	Url = {http://www.acm.org:80/pubs/citations/journals/tocs/1997-15-2/p134-anderson/},
	Volume = {15},
	Year = {1997}}

@inproceedings{ASPLOS-02*5,
	Address = {New York},
	Author = {Ravi Rajwar and James R. Goodman},
	Booktitle = {Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems ({ASPLOS}-{X})},
	Editor = {Cindy Norris and Jr. James B. Fenwick},
	Issn = {0362-1340},
	Month = oct # {~5--9},
	Pages = {5--17},
	Publisher = {ACM Press},
	Series = {ACM SIGPLAN notices},
	Title = {Transactional Lock-Free Execution of Lock-Based Programs},
	Volume = {37, 10},
	Year = {2002}}

@article{Harris:2003:LSL,
	Acknowledgement = ack-nhfb,
	Author = {Tim Harris and Keir Fraser},
	Bibdate = {Sun Dec 14 09:18:34 MST 2003},
	Coden = {SINODQ},
	Issn = {0362-1340},
	Journal = {ACM SIG{\-}PLAN Notices},
	Month = nov,
	Number = {11},
	Pages = {388--402},
	Title = {Language support for lightweight transactions},
	Volume = {38},
	Year = {2003}}

@inproceedings{Harris:2002:PMW,
	Author = {Timothy L. Harris and Keir Fraser and Ian A. Pratt},
	Booktitle = {DISC: International Symposium on Distributed Computing},
	Journal = {Lecture Notes in Computer Science},
	Title = {A Practical Multi-word Compare-and-Swap Operation},
	Url = {http://link.springer.de/link/service/series/0558/bibs/2508/25080265.htm ;http://link.springer.de/link/service/series/0558/papers/2508/25080265.pdf},
	Volume = {2508},
	Year = {2002}}

@inproceedings{harris:pragmatic,
	Author = {{Timothy L.} Harris},
	Booktitle = {Distributed Computing, 15th International Conference},
	Month = oct,
	Pages = {300--314},
	Publisher = {Springer-Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {A Pragmatic Implementation of Non-Blocking Linked Lists},
	Volume = {2180},
	Year = {2001}}

@misc{WHJ03,
	Author = {Adam Welc and Antony Hosking and Suresh Jagannathan},
	Note = {Submitted for publication},
	Title = {Compiler Support for Lock-based Synchronization without Deadlocks and Priority Inversion},
	Year = 2003}

@misc{WJH03,
	Author = {Adam Welc and Suresh Jagannathan and Antony Hosking},
	Note = {Submitted for publication},
	Title = {Transactional Monitors for Concurrent Objects},
	Year = 2003}

@misc{FJG03,
	Author = {Ronaldo Ferreira and Suresh Jagannathan and Ananth Grama},
	Note = {Submitted for publication},
	Title = {{Plethora}: A Locality Enhancin Peer-to-Peer Network},
	Year = 2003}

@article{Su90,
	Author = {V.S. Sunderam},
	Journal = {Concurrency: Practice and Experience},
	Number = 4,
	Pages = {315--340},
	Title = {{PVM}: A Framework for Parallel Distributed Computing},
	Volume = 2,
	Year = 1990}

@article{FG+98,
	Author = {I. Foster and J. Geisler and W. Gropp and N. Karonis and E. Lusk and G. Thiruvathukal and S. Tuecke},
	Journal = PARCOMP,
	Number = 12,
	Title = {A Wide-Area Implementation of the {Message Passing Interface}},
	Volume = 24,
	Year = 1998}

@techreport{mpi,
	Author = {Message Passing Interface Forum},
	Number = {UT-CS-94-230},
	Title = {{MPI}: {A} Message-Passing Interface Standard},
	Url = {citeseer.nj.nec.com/522243.html},
	Year = {1994}}

@inproceedings{eventrons,
	Author = {Daniel Spoonhower and Joshua Auerbach and David F. Bacon and Perry Cheng and David Grove},
	Booktitle = PLDI,
	Title = {Eventrons: a safe programming construct for high-frequency hard real-time applications},
	Year = {2006}}

@article{ABC83,
	Author = {M. P. Atkinson and P. J. Bailey and K. J. Chisholm and P. W. Cockshott and R. Morrison},
	Journal = tcj,
	Month = nov,
	Number = 4,
	Pages = {360--365},
	Title = {An Approach to Persistent Programming},
	Volume = 26,
	Year = 1983}

@article{ACO85,
	Author = {Antonio Albano and Luca Cardelli and Renzo Orsini},
	Journal = tods,
	Month = jun,
	Number = 2,
	Pages = {230--260},
	Title = {{Galileo}: A Strongly-Typed, Interactive Conceptual Language},
	Volume = 10,
	Year = 1985}

@inproceedings{AG89,
	Annote = {O++},
	Author = {R. Agrawal and N. H. Gehani},
	Crossref = {sigmod89},
	Pages = {36--45},
	Title = {{ODE} ({Object Database and Environment}): The Language and the Data Model}}

@inproceedings{AGO89,
	Author = {Antonio Albano and Giorgio Ghelli and Renzo Orsini},
	Crossref = {dbpl89},
	Pages = {196--206},
	Title = {Types for Databases: The {Galileo} Experience}}

@inproceedings{AHR02,
	Author = {Matthew Arnold and Michael Hind and Barbara Ryder},
	Crossref = {oopsla02},
	Pages = {111--129},
	Title = {Online Feedback-Directed Optimization of {Java}}}

@book{ANSIC++,
	Author = {ANSI},
	Number = {14882:1998},
	Publisher = {American National Standards Institute},
	Series = {ISO/IEC},
	Title = {Programming Languages -- C++},
	Year = 1998}

@book{ARM90,
	Author = {Margaret A. Ellis and Bjarne Stroustrup},
	Publisher = {Addison-Wesley},
	Title = {The Annotated {C++} Reference Manual},
	Year = 1990}

@inproceedings{Agesen99,
	Author = {Ole Agesen and David Detlefs and Alex Garthwaite and Ross Knippel and Y. S. Ramakrishna and Derek White},
	Crossref = {oopsla99},
	Pages = {207--222},
	Title = {An Efficient Meta-Lock for Implementing Ubiquitous Synchronization}}

@inproceedings{Alagic97,
	Author = {Suad Alagi{\'c}},
	Crossref = {oopsla97},
	Pages = {253--270},
	Title = {The {ODMG} object model: does it make sense?}}

@inproceedings{Altucher95,
	Author = {Rita Z. Altucher and William Landi},
	Crossref = {popl95},
	Pages = {74--84},
	Title = {An Extended Form of Must Alias Analysis for Dynamic Allocation}}

@article{Appel87,
	Author = {A. Appel},
	Journal = ipl,
	Month = jun,
	Optnumber = {????},
	Pages = {275--279},
	Title = {Garbage Collection Can Be Faster than Stack Allocation},
	Volume = 25,
	Year = 1987}

@article{Appel89a,
	Author = {A. Appel},
	Journal = spe,
	Month = feb,
	Number = 2,
	Pages = {171--183},
	Title = {Simple Generational Garbage Collection and Fast Allocation},
	Volume = 19,
	Year = 1989}

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

@inproceedings{Atkinson99,
	Author = {Malcolm P. Atkinson and Mick J. Jordan},
	Booktitle = {Proceedings of the 7th International Conference on Database Theory},
	City = {Jerusalem, Israel},
	Date = jan,
	Editor = {Catriel Beeri and Peter Buneman},
	Pages = {1--30},
	Publisher = {Springer},
	Series = lncs,
	Title = {Issues Raised by Three Years of Developing {PJama}: An Orthogonally Persistent Platform for Java},
	Volume = 1540,
	Year = 1999}

@techreport{BC+03,
	Author = {Andrew Black and Vincent Cremet and Rachid Guerraoui and Martin Odersky},
	Institution = {Department of Computer Science, OGI School of Science and Engineering},
	Number = {CSE 03-007},
	Title = {An Equational Theory for Transactions},
	Year = 2003}

@techreport{BD90a,
	Address = {BP105, 78153 Le Chesnay Cedex, France},
	Author = {V{\'e}ronique Benzaken and Claude Delobel},
	Institution = {Alta{\"\i}r},
	Month = may,
	Title = {Clustering Strategies in the {O}$_2$ Object-Oriented Database System},
	Year = 1990}

@inproceedings{BDS91,
	Annote = {Parallel, Scavenge, Copying},
	Author = {Hans-J. Boehm and Alan J. Demers and Scott Shenker},
	Crossref = {oopsla91},
	Pages = {157--164},
	Title = {Mostly Parallel Garbage Collection}}

@inproceedings{BK88,
	Annote = {MARVEL},
	Author = {Naser S. Barghouti and Gail E. Kaiser},
	Booktitle = {Proceedings of the Twenty-first Hawaii International Conference on System Sciences},
	City = {Kona, Hawaii},
	Date = jan,
	Title = {Implementation of a Knowledge-Based Programming Environment},
	Year = 1988}

@inproceedings{BKM+98,
	Author = {David Bacon and Ravi Konuru and Chet Murthy and Mauricio Serrano},
	Crossref = {pldi98},
	Pages = {258--268},
	Title = {Thin Locks: Featherweight Synchronization for {Java}}}

@misc{BLOAT,
	Howpublished = {ftp://ftp.cs.purdue.edu/pub/hosking/bloat},
	Key = {BLOAT},
	Title = {{BLOAT}: The Bytecode-Level Optimization and Analysis Toolkit}}

@incollection{BMO89,
	Author = {Robert Bretl and David Maier and Allen Otis and Jason Penney and Bruce Schuchardt and Jacob Stein and E. Harold Williams and Monty Williams},
	Chapter = 12,
	Crossref = {KL89},
	Pages = {283--308},
	Title = {The {GemStone} Data Management System}}

@article{BO96,
	Author = {Peter Buneman and Atsushi Ohori},
	Journal = tods,
	Month = mar,
	Number = 1,
	Pages = {30--76},
	Title = {Polymorphism and Type Inference in Database Programming},
	Volume = 21,
	Year = 1996}

@inproceedings{BR86,
	Author = {F. Bancilhon and R. Ramakrishnan},
	Crossref = {sigmod86},
	Pages = {16--52},
	Title = {An Amateur's Introduction to Recursive Query Processing Strategies}}

@techreport{Baumann97,
	Author = {Roland Baumann},
	Institution = {RWTH Aachen, Germany},
	Number = {AIB 97-14},
	Title = {Client/Server Distribution in a Structure-Oriented Database Management System},
	Year = 1997}

@article{Ben-Ari84,
	Author = {Ben-Ari},
	Journal = toplas,
	Number = 2,
	Optmonth = {?},
	Optpages = {?},
	Title = {Algorithms for On-the-Fly Garbage Collection},
	Volume = 6,
	Year = 1984}

@inproceedings{Bodik98b,
	Author = {Rastislav Bod{\'\i}k and Sadun Anik},
	Crossref = {popl98},
	Pages = {237--251},
	Title = {Path-sensitive value-flow analysis}}

@inproceedings{Boehm93,
	Author = {Hans-Juergen Boehm},
	Crossref = {pldi93},
	Pages = {197--206},
	Title = {Space Efficient Conservative Garbage Collection}}

@article{Boyland00,
	Author = {John Boyland},
	Journal = spe,
	Number = 6,
	Pages = {533-553},
	Title = {Alias Burying: Unique Variables Without Destructive Reads},
	Volume = 31,
	Year = 2001}

@article{Brent89,
	Author = {R. P. Brent},
	Journal = toplas,
	Month = jul,
	Number = 3,
	Pages = {388-403},
	Title = {Efficient Implementation of the First-Fit Strategy for Dynamic Storage Allocation},
	Volume = 11,
	Year = 1989}

@article{Briggs94,
	Author = {Preston Briggs and Keith D. Cooper and Linda Torczon},
	Journal = toplas,
	Month = may,
	Number = 3,
	Pages = {428--455},
	Title = {Improvements to Graph Coloring Register Allocation},
	Volume = 16,
	Year = 1994}

@article{Briggs98,
	Author = {Preston Briggs and Keith D. Cooper and Timothy J. Harvey and L. Taylor Simpson},
	Journal = spe,
	Month = jul,
	Number = 8,
	Pages = {859--881},
	Title = {Practical Improvements to the Construction and Destruction of Static Single Assignment Form},
	Volume = 28,
	Year = 1998}

@inproceedings{CBHS93,
	Author = {Vinny Cahill and Se{\'a}n Baker and Chris Horn and Gradimir Starovic},
	Crossref = {oopsla93},
	Pages = {144--161},
	Title = {The {Amadeus GRT} -- Generic Runtime Support for Distributed Persistent Programming}}

@inproceedings{CKWZ96,
	Author = {Jonathan E. Cook and Artur W. Klauser and Alexander L. Wolf and Benjamin G. Zorn},
	Crossref = {sigmod96},
	Pages = {377--388},
	Title = {Semi-automatic, Self-adaptive Control of Garbage Collection Rates in Object Databases}}

@article{CLOS88,
	Author = {Daniel G. Bobrow and Linda G. {DeMichiel} and Richard P. Gabriel and Sonya E. Keene and Gregor Kiczales and David A. Moon},
	Journal = sigplan,
	Month = sep,
	Note = {ANSI X3J13 Document 88-002R.},
	Number = {special issue},
	Pages = {316--325},
	Title = {{Common Lisp} Object System Specification},
	Volume = 23,
	Year = 1988}

@techreport{CS95,
	Author = {Keith Cooper and L. Taylor Simpson},
	Institution = {Rice University},
	Month = oct,
	Number = {CRPC-TR95636-S},
	Title = {{SCC}-based value numbering},
	Year = 1995}

@inproceedings{CU90,
	Author = {Craig Chambers and David Ungar},
	Crossref = {pldi90},
	Pages = {150--164},
	Title = {Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs}}

@article{CW85,
	Author = {L. Cardelli and P. Wegner},
	Journal = acmcs,
	Month = dec,
	Number = 4,
	Pages = {471--522},
	Title = {On Understanding Types, Data Abstraction, and Polymorphism},
	Volume = 17,
	Year = 1985}

@article{Cheriton88,
	Author = {David R. Cheriton},
	Journal = cacm,
	Month = mar,
	Number = 3,
	Title = {The {V} Distributed System},
	Volume = 31,
	Year = 1988}

@inproceedings{Choi93,
	Author = {Jong-Deok Choi and Michael Burke and Paul Carini},
	Crossref = {popl93},
	Pages = {232--245},
	Title = {Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects}}

@inproceedings{Cockshott87,
	Author = {P. Cockshott},
	Crossref = {pos87},
	Pages = {470--476},
	Title = {Stable Virtual Memory}}

@article{Committee90,
	Author = {The Committee for Advanced {DBMS} Function},
	Journal = sigmod,
	Month = sep,
	Number = 3,
	Pages = {31--44},
	Title = {Third-Generation Database System Manifesto},
	Volume = 19,
	Year = 1990}

@article{DB88,
	Author = {A. Dearle and A. L. Brown},
	Journal = tcj,
	Month = dec,
	Number = 6,
	Pages = {540--544},
	Title = {Safe browsing in a strongly typed persistent language},
	Volume = 31,
	Year = 1988}

@inproceedings{DCG95,
	Author = {Jeffrey Dean and Craig Chambers and David Grove},
	Crossref = {pldi95},
	Pages = {93--102},
	Title = {Selective Specialization for Object-Oriented Languages}}

@incollection{DGL86,
	Author = {K. R. Dittrich and W. Gotthard and P. C. Lockemann},
	Booktitle = {Proceedings of the International Workshop on Advanced Programming Environments},
	Month = jun,
	Publisher = {Springer-Verlag},
	Title = {{DAMOKLES} - A Database System for Software Engineering Environments},
	Year = 1986}

@article{DHW88,
	Author = {D. D. Detlefs and M. P. Herlihy and J. M. Wing},
	Journal = {IEEE Computer},
	Month = dec,
	Number = 12,
	Pages = {57--69},
	Title = {Inheritance of Synchronization and Recovery in {Avalon/C++}},
	Volume = 21,
	Year = 1988}

@article{DLMSS78,
	Author = {E. Dijkstra and L. Lamport and A. Martin and C. Scholten and E. Stefens},
	Journal = cacm,
	Month = nov,
	Number = 11,
	Pages = {966-975},
	Title = {On-the-fly Garbage Collection: An Exercise in Cooperation},
	Volume = 21,
	Year = 1978}

@inproceedings{DTM94,
	Author = {Amer Diwan and David Tarditi and J. Eliot B. Moss},
	Crossref = {popl94},
	Pages = {1--14},
	Title = {Memory Subsystem Performance of Programs using Copying Garbage Collection}}

@inproceedings{Daynes02,
	Author = {Laurent Dayn\`{e}s and Grzegorz Czajkowski},
	Crossref = {vldb02},
	Title = {Lightweight Flexible Isolation for Language-based Extensible Systems}}

@techreport{DeTreville90,
	Address = {Palo Alto, CA},
	Author = {John DeTreville},
	Institution = src,
	Month = aug,
	Number = 64,
	Title = {Experience with concurrent garbage collectors for {Modula-2+}},
	Year = 1990}

@inproceedings{Debray98,
	Author = {Saumya Debray and Robert Muth and Matthew Weippert},
	Crossref = {popl98},
	Pages = {12--24},
	Title = {Alias Analysis of Executable Code}}

@techreport{Detlefs90b,
	Address = {Pittsburgh, Pennsylvania},
	Author = {David L. Detlefs},
	Institution = {Carnegie Mellon University},
	Month = oct,
	Number = {CMU-CS-90-177},
	Title = {Concurrent, Atomic Garbage Collection},
	Year = {1990}}

@inproceedings{Detlefs99,
	Author = {David Detlefs and Ole Agesen},
	Crossref = {ecoop99},
	Pages = {258--278},
	Title = {Inlining of Virtual Methods}}

@article{Diniz99,
	Author = {Pedro C. Diniz and Martin C. Rinard},
	Journal = tocs,
	Month = may,
	Number = 2,
	Pages = {89--132},
	Title = {Eliminating Synchronization Overhead in Automatically Parallelized Programs Using Dynamic Feedback},
	Volume = 17,
	Year = 1999}

@inproceedings{Diwan91,
	Author = {Amer Diwan},
	Crossref = {gc91},
	Title = {Stack Tracing in a Statically Typed Language}}

@phdthesis{Diwan97,
	Author = {Amer Suleman Diwan},
	Month = feb,
	School = {University of Massachusetts at Amherst},
	Title = {Understanding and Improving the Performance of Modern Programming Languages},
	Year = 1997}

@inproceedings{Diwan98,
	Author = {Amer Diwan and Kathryn S. McKinley and J. Eliot B. Moss},
	Crossref = {pldi98},
	Pages = {106--117},
	Title = {Type-Based Alias Analysis}}

@inproceedings{Dolby98,
	Author = {Julian Dolby and Andrew A. Chien},
	Crossref = {oopsla98},
	Pages = {1--20},
	Title = {An evaluation of automatic object inline allocation techniques}}

@inproceedings{ERH96,
	Author = {Kevin Elphinstone and Stephen Russell and Gernot Heiser and Jochen Liedtke},
	Crossref = {pos96},
	Pages = {111--119},
	Title = {Supporting Persistent Object Systems in a Single Address Space}}

@book{Eppinger91,
	Editor = {Jeffrey L. Eppinger and Lily B. Mummert and Alfred Z. Spector},
	Publisher = {Morgan Kaufmann},
	Title = {Camelot and Avalon: A Distributed Transaction Facility},
	Year = 1991}

@inproceedings{FM95,
	Author = {Leonidas Fegaras and David Maier},
	Crossref = {sigmod95},
	Pages = {47--58},
	Title = {Towards an Effective Calculus for Object Query Languages}}

@article{FR86,
	Author = {Robert Fitzgerald and Richard F. Rashid},
	Journal = tocs,
	Month = may,
	Number = 2,
	Pages = {147--177},
	Title = {The Integration of Virtual Memory Management and Interprocess Communication in {Accent}},
	Volume = 4,
	Year = 1986}

@book{Fischer91,
	Author = {Charles N. Fischer and LeBlanc, Jr., Richard J.},
	Publisher = {Benjamin/Cummings},
	Title = {Crafting a Compiler with C},
	Year = 1991}

@inproceedings{GDGC95,
	Author = {David Grove and Jeffrey Dean and Charles Garrett and Craig Chambers},
	Crossref = {oopsla95},
	Pages = {108--123},
	Title = {Profile-guided receiver class prediction}}

@article{GW96,
	Author = {David W. Goodwin and Kent D. Wilken},
	Journal = spe,
	Month = aug,
	Number = 8,
	Pages = {929--965},
	Title = {Optimal and Near-Optimal Global Register Allocation Using 0-1 Integer Programming},
	Volume = 26,
	Year = 1996}

@inproceedings{Gehringer89,
	Author = {Edward F. Gehringer},
	Crossref = {pos89},
	Pages = {218--232},
	Title = {Name-Based Mapping: Addressing Support for Persistent Objects}}

@inproceedings{Ghiya98,
	Author = {Rakesh Ghiya and Laurie J. Hendren},
	Crossref = {popl98},
	Pages = {121--133},
	Title = {Putting Pointer Analysis to Work}}

@inproceedings{Gifford79,
	Author = {David K. Gifford},
	Crossref = {sosp79},
	Pages = {150--162},
	Title = {Weighted Voting for Replicated Data}}

@inproceedings{Gold91,
	Author = {Benjamin Goldberg},
	Crossref = {pldi91},
	Pages = {165--176},
	Title = {Tag-Free Garbage Collection in Strongly Typed Programming Languages}}

@article{Goldberg91,
	Author = {David Goldberg},
	Journal = acmcs,
	Month = mar,
	Number = 1,
	Pages = {5--48},
	Title = {What Every Computer Scientist Should Know About Floating-Point Arithmetic},
	Volume = 23,
	Year = 1001}

@book{Gray91,
	Editor = {J. Gray},
	Publisher = {Morgan Kaufmann},
	Title = {The Benchmark Handbook for Database and Transaction Processing Systems},
	Year = 1991}

@inproceedings{Guy87,
	Author = {Michael R. Guy},
	Crossref = {pos87},
	Pages = {266--282},
	Title = {Persistent Store -- Successor to Virtual Store}}

@article{HB87,
	Annote = {Rekursiv},
	Author = {David M. Harland and Bruno Beloff},
	Journal = sigplan,
	Month = apr,
	Number = 4,
	Pages = {70--79},
	Title = {Objekt: A Persistent Object Store with an Integrated Garbage Collector},
	Volume = 22,
	Year = 1987}

@inproceedings{HCL95,
	Author = {W. Wilson Ho and Wei-Chau Chang and Lilian H. Leung},
	Crossref = {usenix95},
	Pages = {225--233},
	Title = {Optimizing the Performance of Dynamically-Linked Programs}}

@article{HM81,
	Author = {M. Hammer and D. {McLeod}},
	Journal = tods,
	Month = sep,
	Number = 3,
	Pages = {351--386},
	Title = {Database Description with {SDM}: A Semantic Data Model},
	Volume = 6,
	Year = 1981}

@inproceedings{HM91a,
	Author = {Maurice P. Herlihy and J. Eliot B. Moss},
	Crossref = {spaa91},
	Pages = {229--236},
	Title = {Lock-Free Garbage Collection for Multiprocessors}}

@techreport{HMB90,
	Author = {Antony L. Hosking and J. Eliot B. Moss and Cynthia Bliss},
	Institution = umass,
	Month = may,
	Number = {90-45},
	Title = {Design of an Object Faulting Persistent {Smalltalk}},
	Year = 1990}

@article{HS81,
	Author = {Y. C. Hong and Stanley Y. W. Su},
	Journal = tods,
	Month = sep,
	Number = 3,
	Pages = {416--440},
	Title = {Associative Hardware and Software Techniques for Integrity Control},
	Volume = 6,
	Year = 1981}

@article{HW90,
	Author = {R. N. Horspool and M. Whitney},
	Journal = spe,
	Month = jun,
	Number = 6,
	Pages = {515--535},
	Title = {Even faster {LR} parsing},
	Volume = 20,
	Year = 1990}

@article{Halfhill94a,
	Annote = {K5, x86 compatible, reorder buffer, 4-way issue, 5
                  functional units, set-associative cache, speculative
                  execution},
	Author = {Tom R. Halfhill},
	Journal = {BYTE},
	Month = nov,
	Number = 11,
	Pages = {95--104},
	Title = {{AMD} vs.\ {Superman}},
	Volume = 19,
	Year = 1994}

@inproceedings{Hasti98,
	Author = {Rebecca Hasti and Susan Horwitz},
	Crossref = {pldi98},
	Pages = {97--105},
	Title = {Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis}}

@article{Havlak97,
	Author = {Paul Havlak},
	Journal = toplas,
	Month = Jul,
	Number = 4,
	Pages = {557--567},
	Title = {Nesting of Reducible and Irreducible Loops},
	Volume = 19,
	Year = 1997}

@article{Her90,
	Author = {Maurice Herlihy},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Journal = tods,
	Number = 1,
	Pages = {96--124},
	Title = {Apologizing Versus Asking Permission: Optimistic Concurrency Control for Abstract Data Types},
	Volume = 15,
	Year = 1990}

@inproceedings{Hicks97,
	Author = {Michael W. Hicks and Jonathan T. Moore and Scott Nettles},
	Crossref = {icfp97},
	Pages = {292-305},
	Title = {The Measured Cost of Copying Garbage Collection Mechanisms}}

@phdthesis{Hoelzle94,
	Author = {Urs H{\"o}lzle},
	Note = {Also published as Sun Microsystems Laboratories Technical Report 95-35, 1995},
	School = {Stanford University},
	Title = {Adaptive Optimization in {SELF}: Reconciling high performance with exploratory programming},
	Year = 1994}

@article{Hoelzle96b,
	Author = {Urs H{\"o}lzle and David Ungar},
	Journal = toplas,
	Month = jul,
	Number = 4,
	Pages = {355--400},
	Title = {Reconciling Responsiveness with Performance in Pure Object-Oriented Languages},
	Volume = 18,
	Year = 1996}

@inproceedings{Hosking99c,
	Author = {Antony L. Hosking and Nathaniel Nystrom and David Whitlock and Quintin Cutts and Amer Diwan},
	Booktitle = {Proceedings of the Intercontinental Workshop on Aliasing in Object Oriented Systems},
	City = {Lisbon, Portugal},
	Date = jun,
	Title = {Partial Redundancy Elimination for Access Path Expressions},
	Year = 1999}

@article{ISY88,
	Author = {K. Inoue and H. Seki and H. Yagi},
	Journal = toplas,
	Month = oct,
	Number = 4,
	Pages = {555--578},
	Title = {Analysis of Functional Programs to Detect Run-Time Garbage Cells},
	Volume = 10,
	Year = 1988}

@article{Ichbiah79,
	Author = {J. D. Ichbiah and others},
	Journal = sigplan,
	Month = jun,
	Number = 6,
	Title = {Rationale for the design of the {ADA} programming language},
	Volume = 14,
	Year = 1979}

@book{JW74,
	Author = {Kathleen Jensen and Niklaus Wirth},
	Edition = {Second},
	Publisher = {Springer-Verlag},
	Title = {Pascal User Manual and Report},
	Year = 1974}

@book{JavaAPI2,
	Author = {James Gosling and Frank Yellin and {The Java Team}},
	Publisher = {Addison-Wesley},
	Title = {The {Java} Application Programming Interface},
	Volume = {2: Window Toolkit and Applets},
	Year = 1996}

@book{Javalang,
	Author = {Ken Arnold and James Gosling},
	Publisher = {Addison-Wesley},
	Title = {The {Java} Programming Language},
	Year = 1996}

@article{Jones86,
	Annote = {Splay Trees, Data Structures},
	Author = {Douglas W. Jones},
	Journal = cacm,
	Month = apr,
	Number = 4,
	Pages = {300--311},
	Title = {An Empirical Comparison of Priority-Queue and Event-Set Implementations},
	Volume = 29,
	Year = 1986}

@inproceedings{Jordan98,
	Author = {Mick Jordan and Malcolm Atkinson},
	Crossref = {pj3},
	Pages = {335--352},
	Title = {Orthogonal Persistence for {Java} -- A mid-term Report}}

@incollection{KBCGW89,
	Author = {Won Kim and Nat Ballou and {Hong-Tai} Chou and Jorge F. Garza and Darrell Woelk},
	Chapter = 11,
	Crossref = {KL89},
	Pages = {251--282},
	Title = {Features of the {ORION} Object-Oriented Database System}}

@techreport{KFC88,
	Address = mccADDR,
	Author = {Setrag Khoshafian and Michael J. Franklin and Michael J. Carey},
	Institution = mcc,
	Month = apr,
	Number = {ACA-ST-118-88},
	Title = {Storage Management for Persistent Complex Objects},
	Type = {MCC Technical Report},
	Year = 1988}

@article{KGBW90,
	Author = {Won Kim and Jorge F. Garza and Nathaniel Ballou and Darrell Woelk},
	Journal = ieeekde,
	Month = mar,
	Number = 1,
	Pages = {109--124},
	Title = {Architecture of the {ORION} Next-Generation Database System},
	Volume = 2,
	Year = 1990}

@unpublished{KMMN91,
	Author = {Bent Bruun Kristensen and Ole Lehrmann Madsen and Birger M{\o}ller-Pedersen and Kristen Nygaard},
	Month = sep,
	Note = {Draft},
	Title = {Object Oriented Programming in the Beta Programming Language},
	Year = 1991}

@article{KR81,
	Author = {H. T. Kung and J. T. Robinson},
	Journal = tods,
	Month = jun,
	Number = 4,
	Pages = {213--226},
	Title = {On Optimistic Methods for Concurrency Control},
	Volume = 9,
	Year = 1981}

@inproceedings{KR89,
	Author = {James Leslie Keedy and John Rosenberg},
	Crossref = {pos89},
	Pages = {392--405},
	Title = {Support for Objects in the {MONADS} Architecture}}

@unpublished{KS,
	Annote = {stable storage},
	Author = {Butler Lampson and Howard Sturgis},
	Note = {Circulated in draft form at Xerox Palo Alto Research Center},
	Title = {Crash Recovery in a Distributed Data Storage System}}

@inproceedings{Kae86,
	Annote = {LOOM, Smalltalk},
	Author = {Ted Kaehler},
	Crossref = {oopsla86},
	Pages = {87--106},
	Title = {Virtual Memory on a Narrow Machine for an Object-Oriented Language}}

@article{Kennedy99,
	Author = {Robert Kennedy and Sun Chan and Shin-Ming Liu and Raymond Lo and Peng Tu and Fred C. Chow},
	Journal = toplas,
	Month = may,
	Number = 3,
	Pages = {627--676},
	Title = {Partial redundancy elimination in SSA form},
	Volume = 21,
	Year = 1999}

@techreport{Kolodner87,
	Address = {Cambridge, Massachusetts},
	Author = {Elliot K. Kolodner},
	Institution = {Laboratory for Computer Science, MIT},
	Month = jul,
	Number = {MIT/LCS/TR-404},
	Title = {Recovery Using Virtual Memory},
	Year = {1987}}

@inproceedings{Kutlu98,
	Author = {G{\"o}khan Kutlu and J. Eliot B. Moss},
	Crossref = {pos98},
	Pages = {123--135},
	Title = {Exploiting Reflection to Add Persistence and Query Optimization to a Statically Typed Object-Oriented Language}}

@article{LH89,
	Author = {Kai Li and Paul Hudak},
	Journal = tocs,
	Month = nov,
	Number = 4,
	Pages = {321--359},
	Title = {Memory Coherence in Shared Virtual Memory Systems},
	Volume = 7,
	Year = 1989}

@inproceedings{LH90,
	Author = {Barbara Staudt Lerner and A. Nico Habermann},
	Crossref = {oopsla90},
	Pages = {67--76},
	Title = {Beyond Schema Evolution to Database Reorganization}}

@inproceedings{LNP90,
	Author = {Kai Li and Jeffrey F. Naughton and James S. Plank},
	Booktitle = {Proceedings of the ACM Symposium on Principles and Practice of Parallel Programming},
	City = {Seattle, Washington},
	Date = mar,
	Pages = {79--88},
	Title = {Real-Time, Concurrent Checkpoint for Parallel Programs},
	Year = 1990}

@inproceedings{LS95,
	Author = {James R. Larus and Eric Schnarr},
	Crossref = {pldi95},
	Pages = {291--300},
	Title = {{EEL}: Machine-Independent Executable Editing}}

@inproceedings{LTP86,
	Author = {Wilf R. {LaLonde} and Dave A. Thomas and John R. Pugh},
	Crossref = {oopsla86},
	Pages = {322--330},
	Title = {An Exemplar Based {Smalltalk}}}

@inproceedings{Landi93,
	Author = {William Landi and Barbara G. Ryder and Sean Zhang},
	Crossref = {pldi93},
	Pages = {56--67},
	Title = {Interprocedural Modification Side Effect Analysis with Pointer Aliasing}}

@inproceedings{Lee96,
	Author = {Peter Lee and Mark Leone},
	Crossref = {pldi96},
	Pages = {137--148},
	Title = {Optimizing {ML} with Run-time Code Generation}}

@article{Liskov88,
	Author = {Barbara Liskov},
	Journal = cacm,
	Month = mar,
	Number = 3,
	Title = {Distributed Programming in {Argus}},
	Volume = 31,
	Year = 1988}

@inproceedings{Liskov96,
	Author = {B. Liskov and A. Adya and M. Castro and M. Day and S. Ghemawat and R. Gruber and U. Maheshwari and A. C. Myers and L. Shrira},
	Crossref = {sigmod96},
	Pages = {318--329},
	Title = {Safe and Efficient Sharing of Persistent Objects in {Thor}}}

@inproceedings{MBCCDA89,
	Author = {R. Morrison and A. Brown and R. Carrick and R. Connor and A. Dearle and M. P. Atkinson},
	Crossref = {pos89},
	Pages = {3--18},
	Title = {The {Napier} Type System}}

@inproceedings{MBMS95,
	Author = {Jeffrey C. Mogul and Joel F. Bartlett and Robert N. Mayo and Amitabh Srivastava},
	Crossref = {usenix95},
	Pages = {187--200},
	Title = {Performance implications of multiple pointer sizes}}

@article{MCCDK95,
	Author = {Ron Morrison and Richard C. H. Connor and Quintin I. Cutts and Vivienne S. Dunstan and Graham N. C. Kirby},
	Journal = tcj,
	Number = 1,
	Pages = {1--16},
	Title = {Exploiting Persistent Linkage in Software Development Environments},
	Volume = 38,
	Year = 1995}

@inproceedings{MCS96,
	Author = {Mark L. McAuliffe and Michael J. Carey and Marvin H. Solomon},
	Crossref = {sigmod96},
	Pages = {389--400},
	Title = {Towards Effective and Efficient Free Space Management}}

@inproceedings{ML86,
	Author = {Lothar F. Mackert and Guy M. Lohman},
	Crossref = {vldb86},
	Pages = {149--159},
	Title = {R* Optimizer Validation and Performance Evaluation for Distributed Queries}}

@inproceedings{ML87,
	Author = {Thomas Merrow and Jane Laursen},
	Crossref = {oopsla87},
	Pages = {103--110},
	Title = {A Pragmatic System for Shared Persistent Objects}}

@article{MR79,
	Author = {E. Morel and C. Renvoise},
	Journal = cacm,
	Month = feb,
	Number = 2,
	Pages = {96--103},
	Title = {Global Optimization by Suppression of Partial Redundancies},
	Volume = 22,
	Year = 1979}

@inproceedings{MS89,
	Author = {Florian Matthes and Joachim W. Schmidt},
	Crossref = {dbpl89},
	Pages = {219--225},
	Title = {The Type System of {DBPL}}}

@techreport{MW88,
	Author = {J. Eliot B. Moss and Alexander L. Wolf},
	Institution = umass,
	Month = nov,
	Number = {88-95},
	Title = {Toward Principles of Inheritance and Subtyping in Programming Languages},
	Year = 1988}

@inproceedings{Maierhofer98,
	Author = {Martin Maierhofer and M. Anton Ertl},
	Booktitle = {Proceedings of the International Conference on Compiler Construction},
	City = {Lisbon, Portugal},
	Date = mar,
	Pages = {189--203},
	Series = lncs,
	Title = {Local Stack Allocation},
	Volume = 1383,
	Year = 1998}

@inproceedings{Marlet98,
	Author = {Renaud Marlet and Charles Consel and Philippe Boinot},
	Crossref = {pldi98},
	Pages = {281--292},
	Title = {Efficient Incremental Run-Time Specialization for Free}}

@incollection{Marshall70,
	Author = {S. Marshall},
	Crossref = {Peck71},
	Title = {An {Algol-68} Garbage Collector}}

@phdthesis{Massalin92,
	Author = {Henry Massalin},
	Note = {Available as technical report CUCS-039-92 at URL ftp://ftp.cs.columbia.edu/reports/reports-1992/cucs-039-92.ps.Z},
	School = {Columbia University},
	Title = {Synthesis: An Efficient Implementation of Fundamental Operating System Services},
	Year = 1992}

@article{McCarthy60,
	Author = {John Mc{C}arthy},
	Journal = cacm,
	Month = apr,
	Number = 4,
	Pages = {184--195},
	Title = {Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part {I}},
	Volume = 3,
	Year = 1960}

@techreport{Modula3r,
	Author = {Luca Cardelli and James Donahue and Lucille Glassman and Mick Jordan and Bill Kalsow and Greg Nelson},
	Institution = src,
	Month = nov,
	Number = 52,
	Title = {Modula-3 Report (revised)},
	Year = 1989}

@inproceedings{Morrisett98,
	Author = {Greg Morrisett and Karl Crary and Neal Glew and David Walker},
	Crossref = {wtc98},
	Pages = {28--52},
	Title = {Stack-based typed assembly language}}

@inproceedings{Moss87,
	Author = {J. Eliot B. Moss},
	Crossref = {sigplan87},
	Pages = {229--240},
	Title = {Managing Stack Frames in {Smalltalk}}}

@misc{Moss90c,
	Author = {J. Eliot B. Moss},
	Month = oct,
	Note = {Position paper for OOPSLA/ECOOP'90 Workshop on Garbage Collection},
	Title = {Garbage Collecting Persistent Object Stores},
	Year = 1990}

@phdthesis{Mowry94,
	Author = {Todd C. Mowry},
	Month = mar,
	School = {Stanford University},
	Title = {Tolerating Latency through Software-Controlled Data Prefetching},
	Year = 1994}

@article{NWO88,
	Author = {Michael N. Nelson and Brent B. Welch and John K. Ousterhout},
	Journal = tocs,
	Month = feb,
	Number = 1,
	Pages = {134--154},
	Title = {Caching in the Sprite Network File System},
	Volume = 6,
	Year = 1988}

@techreport{Nystrom98a,
	Author = {Nathaniel Nystrom and Antony L. Hosking and David Whitlock and Quintin Cutts and Amer Diwan},
	Institution = {Department of Computer Sciences, Purdue University},
	Month = oct,
	Number = {98-044},
	Title = {Partial Redundancy Elimination for Access Path Expressions},
	Year = 1998}

@article{ODeux91,
	Author = {O. Deux and others},
	Journal = cacm,
	Month = oct,
	Number = 10,
	Pages = {34--48},
	Title = {The {O}$_2$ System},
	Volume = 34,
	Year = 1991}

@mastersthesis{Oki83,
	Address = {Cambridge, Massachusetts},
	Author = {Brian M. Oki},
	Month = may,
	Note = {Also published as MIT Laboratory for Computer Science Technical Report 308},
	School = {Massachusetts Institute of Technology},
	Title = {Reliable Object Storage to Support Atomic Actions},
	Year = 1983}

@article{PK82,
	Annote = {Uses SETL; I call this algorithm transformation},
	Author = {Robert Paige and Shaye Koenig},
	Journal = toplas,
	Month = jul,
	Number = 3,
	Pages = {402--454},
	Title = {Finite Differencing of Computable Expressions},
	Volume = 4,
	Year = 1982}

@article{PSM87,
	Annote = {GemStone, Opal},
	Author = {Alan Purdy and Bruce Schuchardt and David Maier},
	Journal = toois,
	Month = jan,
	Number = 1,
	Pages = {27--47},
	Title = {Integrating an Object Server with Other Worlds},
	Volume = 5,
	Year = 1987}

@techreport{Pai97,
	Author = {Vijay S. Pai and Parthasarthy Ranganathan and Sarita V. Adve},
	Institution = {Department of Electrical and Computer Engineering, Rice University},
	Month = jul,
	Number = 9705,
	Title = {{RSIM} Reference Manual. Version 1.0},
	Year = 1997}

@inproceedings{Pennello86,
	Author = {Thomas J. Pennello},
	Crossref = {sigplan86},
	Pages = {145--151},
	Title = {Very fast {LR} parsing}}

@article{Pike85,
	Author = {Rob Pike and Bart N. Locanthi and John F. Reiser},
	Journal = spe,
	Month = feb,
	Number = 2,
	Pages = {131--151},
	Title = {Hardware/Software Trade-offs for Bitmap Graphics on the Blit},
	Volume = 15,
	Year = 1985}

@article{RC90,
	Author = {Joel E. Richardson and Michael J. Carey},
	Journal = spe,
	Month = dec,
	Number = 12,
	Pages = {1115--1150},
	Title = {Persistence in the {E} Language: Issues and Implementation},
	Volume = 19,
	Year = 1990}

@inproceedings{RKC87,
	Author = {W. B. Rubenstein and M. S. Kubicar and R. G. G. Cattell},
	Crossref = {sigmod87},
	Pages = {387--394},
	Title = {Benchmarking Simple Database Operations}}

@article{RO92,
	Author = {Mendel Rosenblum and John K. Ousterhout},
	Journal = tocs,
	Month = feb,
	Number = 1,
	Pages = {26--52},
	Title = {The Design and Implementation of a Log-Structured File System},
	Volume = 10,
	Year = 1992}

@techreport{RSL80,
	Annote = {shows serializability is necessary for consistency given
                  uninterpreted operators},
	Author = {D. J. Rosenkrantz and R. E. Stearns and P. M. {Lewis II}},
	Institution = {State University of New York at Albany},
	Month = aug,
	Number = {80-12},
	Title = {Consistency and Serializability in Concurrent Database Systems},
	Type = {Technical Report},
	Year = 1980}

@article{Reed83,
	Author = {David P. Reed},
	Journal = tocs,
	Month = feb,
	Number = 1,
	Pages = {3--23},
	Title = {Implementing Atomic Actions on Decentralized Data},
	Volume = 1,
	Year = 1983}

@article{Reuter84,
	Author = {Andreas Reuter},
	Journal = tods,
	Month = dec,
	Number = 4,
	Pages = {526--559},
	Title = {Performance Analysis of Recovery Techniques},
	Volume = 9,
	Year = 1984}

@inproceedings{Romer94,
	Author = {Theodore H. Romer and Dennis Lee and Brian N. Bershad an J. Bradley Chen},
	Crossref = {osdi94},
	Pages = {255--266},
	Title = {Dynamic Page Mapping Policies for Cache Conflict Resolution on Standard Hardware}}

@inproceedings{Romer96,
	Author = {Theodore H. Romer and Dennis Lee and Geoffrey M. Voelker and Alec Wolman and Wayne A. Wong and Jean-Loup Baer and Brian N. Bershad and Henry M. Levy},
	Crossref = {asplos96},
	Pages = {150--159},
	Title = {The Structure and Performance of Interpreters}}

@inproceedings{RudysWallach02,
	Author = {Algis Rudys and Dan S. Wallach},
	Crossref = {dsn02},
	Pages = {439--448},
	Title = {Transactional Rollback for Language-Based Systems}}

@inproceedings{Rumbaugh87,
	Author = {James Rumbaugh},
	Crossref = {oopsla87},
	Pages = {466--481},
	Title = {Relations as Semantic Constructs in an Object-Oriented Language}}

@article{Russell80,
	Annote = {domino effect, cascading rollback},
	Author = {David L. Russell},
	Journal = ieeese,
	Month = mar,
	Number = 2,
	Pages = {183--194},
	Title = {State Restoration in Systems of Communicating Processes},
	Volume = {SE-6},
	Year = 1980}

@inproceedings{SA94,
	Author = {Zhong Shao and Andrew W. Appel},
	Crossref = {lfp94},
	Pages = {150--161},
	Title = {Space-Efficient Closure Representations}}

@article{SHP88,
	Author = {M. Stonebraker and E. N. Hanson and S. Potamianos},
	Journal = ieeese,
	Month = jul,
	Number = 7,
	Pages = {897--907},
	Title = {The {POSTGRES} Rule Manager},
	Volume = 14,
	Year = 1988}

@inproceedings{SKW92,
	Author = {Vivek Singhal and Sheetal V. Kakkad and Paul R. Wilson},
	Crossref = {pos92},
	Pages = {11--33},
	Title = {{Texas}, An Efficient, Portable Persistent Store}}

@techreport{SM91,
	Author = {David Stemple and Ron Morrison},
	Institution = {University of St Andrews},
	Number = {CS/91/11},
	Title = {Specifying Flexible Concurrency Control Schemes: an Abstract Operational Approach},
	Type = {Research Report},
	Year = 1991}

@inproceedings{SM94,
	Author = {Darko Stefanovi\'{c} and J. Eliot B. Moss},
	Crossref = {lfp94},
	Pages = {43--54},
	Title = {Characterisation of Object Behaviour in {Standard ML of New Jersey}}}

@article{SMKSK94,
	Author = {M. Satyanarayanan and H. H. Mashburn and P. Kumar and D. C. Steere and J. J. Kistler},
	Journal = tocs,
	Month = feb,
	Note = {Corrigendum: \cite{SMKSK94b}},
	Number = 1,
	Pages = {33--57},
	Title = {Lightweight Recoverable Virtual Memory},
	Volume = 12,
	Year = 1994}

@techreport{SRRH99,
	Author = {Vijay Sundaresan and Chrislain Razafimahefa and Raja Vall{\'e}e-Rai and Laurie Hendren},
	Editor = {D. Tsichritzis},
	Institution = {Centre Universitaire d'Informatique, University of Geneva},
	Month = jul,
	Title = {Practical Virtual Method Call Resolution for Java},
	Type = {Trusted Objects},
	Year = {1999}}

@article{SS77,
	Author = {John Miles Smith and Diane C. P. Smith},
	Journal = cacm,
	Month = jun,
	Number = 6,
	Pages = {405--413},
	Title = {Database Abstractions: Aggregation},
	Volume = 20,
	Year = 1977}

@article{SS86,
	Author = {H. J. Schek and M. Scholl},
	Journal = {Information Systems},
	Number = 2,
	Title = {The Relation Model with Relation-Valued Attributes},
	Volume = 11,
	Year = 1986}

@article{SSS81,
	Author = {Edmond Schonberg and Jacob T. Schwartz and Micha Sharir},
	Journal = toplas,
	Month = apr,
	Number = 2,
	Pages = {126--143},
	Title = {An Automatic Technique for Selection of Data Representations in SETL Programs},
	Volume = 3,
	Year = 1981}

@inproceedings{SSS88,
	Author = {David Stemple and Adolfo Socorro and Tim Sheard},
	Crossref = {oodb88},
	Pages = {110--128},
	Title = {Formalizing Objects for Databases using {ADABTPL}}}

@article{SWK76,
	Author = {M. Stonebraker and E. Wong and P. Kreps and G. Held},
	Journal = tods,
	Month = sep,
	Number = 3,
	Pages = {189--222},
	Title = {The Design and Implementation of {Ingres}},
	Volume = 1,
	Year = 1976}

@inproceedings{SZR86,
	Author = {Andrea Skarra and Stanley B. Zdonik and Stephen P. Reiss},
	Crossref = {oodb86},
	Pages = {196--204},
	Title = {An Object Server for an Object Oriented Database System}}

@article{Sagiv97,
	Author = {Mooly Sagiv and Thomas Reps and Reinhard Wilhelm},
	Journal = toplas,
	Month = jan,
	Number = 1,
	Pages = {1--50},
	Title = {Solving shape-analysis problems in languages with destructive updating},
	Volume = 20,
	Year = 1997}

@article{Sch77,
	Author = {Joachim W. Schmidt},
	Journal = tods,
	Month = sep,
	Number = 3,
	Pages = {247--261},
	Title = {Some High Level Language Constructs for Data of Type Relation},
	Volume = 2,
	Year = 1977}

@inproceedings{Schaffert86,
	Author = {Craig Schaffert and Topher Cooper and Bruce Bullis and Mike Kilian and Carrie Wilpolt},
	Crossref = {oopsla86},
	Pages = {9--16},
	Title = {An Introduction to {Trellis/Owl}}}

@inproceedings{Seltzer99,
	Author = {Margo I. Seltzer and Michael A. Olson},
	Booktitle = {Proceedings of the {USENIX} Workshop on Embedded Systems},
	City = {Cambridge, Massachusetts},
	Date = mar,
	Title = {Challenges in Embedded Database System Administration},
	Year = 1999}

@inproceedings{Shapiro97,
	Author = {Marc Shapiro and Susan Horwitz},
	Crossref = {popl97},
	Pages = {1--14},
	Title = {Fast and Accurate Flow-Insensitive Points-To Analysis}}

@phdthesis{Shaw88,
	Annote = {Using dirty bits and virtual memory in garbage collection},
	Author = {Robert A. Shaw},
	Month = feb,
	Note = {Available as Technical Report CSL-TR-88-351},
	School = {Stanford University},
	Title = {Empirical Analysis of a {LISP} System},
	Year = 1988}

@article{Shipman81,
	Author = {D. W. Shipman},
	Journal = tods,
	Month = mar,
	Number = 1,
	Pages = {140--173},
	Title = {The Functional Data Model and the Data Language {DAPLEX}},
	Volume = 6,
	Year = 1981}

@inproceedings{Shrira96,
	Author = {Liuba Shrira and Barbara Liskov and Miguel Castro and Atul Adya},
	Booktitle = {Proceedings of the Seventh ACM SIGOPS European Workshop},
	Date = sep,
	Title = {How to Scale Transactional Storage Systems},
	Year = 1996}

@techreport{Silva92,
	Address = {Laboratory for Foundations of Computer Science, Department of Computer Science, The King's Buildings, Edinburgh EH9 3JZ, Scotland},
	Author = {Fabio Q. B. da Silva},
	Institution = {The University of Edinburgh},
	Month = sep,
	Note = {Extended abstract of Ph.D. Thesis},
	Number = {ECS-LFCS-92-233},
	Title = {Correctness Proofs of Compilers and Debuggers: an Overview of an Approach Based on Structural Operational Semantics},
	Type = {LFCS Report Series},
	Year = 1992}

@manual{Sites92,
	Author = {R.L. Sites},
	Organization = {Digital},
	Title = {Alpha Architecture Reference Manual},
	Year = {1992}}

@article{Smith97,
	Author = {James E. Smith and Sriram Vajapeyam},
	Journal = {IEEE Computer},
	Month = sep,
	Number = 9,
	Pages = {68--74},
	Title = {Trace Processors: Moving to Fourth-Generation Microarchitectures},
	Volume = 30,
	Year = 1997}

@inproceedings{Soot00,
	Author = {Raja Vall{\'e}e-Rai and Etienne Gagnon and Laurie J. Hendren and Patrick Lam and Patrice Pominville and Vijay Sundaresan},
	Crossref = {cc00},
	Pages = {18--34},
	Title = {Optimizing Java Bytecode Using the {Soot} Framework: Is It Feasible?}}

@article{Stamos84,
	Author = {James W. Stamos},
	Journal = tods,
	Month = may,
	Number = 2,
	Pages = {155-180},
	Title = {Static Grouping of Small Objects to Enhance Performance of a Paged Virtual Memory},
	Volume = 2,
	Year = 1984}

@phdthesis{Stefanovic99,
	Author = {Darko Stefanovi{\'c}},
	Month = feb,
	School = {University of Massachusetts at Amherst},
	Title = {Properties of Age-Based Automatic Memory Reclamation Algorithms},
	Year = 1999}

@inproceedings{TD93,
	Author = {David Tarditi and Amer Diwan},
	Crossref = {gc93},
	Title = {The Full Cost of a Generational Copying Garbage Collection Implementation}}

@article{TH+98,
	Author = {Philip W. Trinder and Kevin Hammond and Hans-Wolfgang Loidl and Simon L. Peyton Jones},
	Journal = {Journal of Functional Programming},
	Number = 1,
	Pages = {23--60},
	Title = {Algorithms + Strategy = Parallelism},
	Volume = 8,
	Year = 1998}

@article{TM81,
	Author = {W. Teitelman and L. Masinter},
	Journal = {IEEE Computer},
	Month = apr,
	Number = 4,
	Pages = {25--33},
	Title = {The {Interlisp} Programming Environment},
	Volume = 14,
	Year = 1981}

@article{TR94,
	Annote = {64 bit, 6 functional units, register renaming, reservation
                  stations, speculative execution, 4-way issue, out-of-order
                  execution, branch prediction},
	Author = {Tom Thompson and Bob Ryan},
	Journal = {BYTE},
	Month = nov,
	Number = 11,
	Pages = {113--120},
	Title = {{PowerPC} 620 Soars},
	Volume = 19,
	Year = 1994}

@book{Taylor82,
	Address = {Mill Valley, California},
	Author = {John R. Taylor},
	Publisher = {University Science Books},
	Title = {An Introduction to Error Analysis},
	Year = 1982}

@inproceedings{Toba97,
	Author = {Todd A. Proebsting and Gregg Townsend and Patrick Bridges and John H. Hartman and Tim Newsham and Scott A. Watterson},
	Booktitle = {Proceedings of the Third USENIX Conference on Object-Oriented Technologies and Systems},
	City = {Portland, Oregon},
	Date = jun,
	Title = {{Toba}: {Java} for Applications -- {A} Way Ahead of Time ({WAT}) Compiler},
	Year = 1997}

@article{UJ92,
	Author = {David Ungar and Frank Jackson},
	Journal = toplas,
	Month = jan,
	Number = 1,
	Pages = {1--27},
	Title = {An Adaptive Tenuring Policy for Generation Scavengers},
	Volume = 14,
	Year = 1992}

@book{Ungar87,
	Address = {Cambridge, Massachusetts},
	Author = {David Michael Ungar},
	Publisher = {MIT Press},
	Series = {ACM Distinguished Dissertations},
	Title = {The Design and Evaluation of a High Performance Smalltalk System},
	Year = 1987}

@inproceedings{WD95,
	Author = {Seth J. White and David J. DeWitt},
	Crossref = {sigmod95},
	Pages = {187--198},
	Title = {Implementing Crash Recovery in {QuickStore}: A Performance Study}}

@inproceedings{WJNB95,
	Author = {Paul R. Wilson and Mark S. Johnstone and Michael Neely and David Boles},
	Crossref = {iwmm95},
	Title = {Dynamic Storage Allocation: A Survey and Critical Review}}

@article{WL85,
	Author = {William Weihl and Barbara Liskov},
	Journal = toplas

license_type: permissive

branch_name: refs/heads/master

gha_language: HTML

extension: bib