Armando Fox Steven Gribble Yatin Chawathe Eric Brewer Cluster-Based Scalable Network Services sosp97 1997 Saint-Malo, France October Sarita V. Adve Mark D. Hill Weak Ordering --- A New Definition 1990 May Proceedings of the 17th Annual International Symposium on Computer Architecture 2--14 Sarita V. Adve Mark D. Hill A Unified Formalization of Four Shared-Memory Models IEEE Transactions on Parallel and Distributed Systems 1993 4 6 June 613--624 Divyakant Agrawal Arthur J. Bernstein Pankaj Gupta Soumitra Sengupta Distributed Optimistic Concurrency Control with Reduced Rollback Distributed Computing 1987 2 1 January 45--59 Divyakant Agrawal Soumitra Sengupta Modular Synchronization in Distributed, Multiversion Databases: Version Control and Concurrency Control IEEE Transactions on Knowledge and Data Engineering 1993 5 1 February 126--137 Guy T. Almes Garbage Collection in an Object-Oriented System 1980 June Technical Report CMU-CS-80-128 School of Computer Science, Carnegie Mellon University Thomas E. Anderson Henry M. Levy Brian N. Bershad Edward D. Lazowska The Interaction of Architecture and Operating System Design 1991 April Proceedings of the Fourth Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS IV) 108--121 Andrew W. Appel John R. Ellis Real-time Concurrent Collection on Stock Multiprocessors 1988 June Proceedings of the ACM SIGPLAN Symposium on Programming Language Design and Implementation 11--20 Andrew W. Appel Simple Generational Garbage Collection and Fast Allocation Software --- Practice and Experience 1989 19 2 February 171--183 Avi Silberschatz Banu Ozden The Shared Virtual Address Space Model University of Texas at Austin, Department of Computer Science TR-92-37 November 1992 Herv\'e A. Jamrozik Michael J. Feeley Geoffrey M. Voelker James Evans III Anna R. Karlin Henry M. Levy Mary K. Vernon Reducing Network Latency Using Subpages in a Global Memory Environment 1996 October Proceedings of the Seventh Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS VII) 258--267 Andrew W. Appel Kai Li Virtual Memory Primitives for User Programs 1991 April Proceedings of the Fourth Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS IV) 96--107 Scott Pakin Vijay Karamcheti Andrew Chien Fast Messages (FM): Efficient, Portable Communication for Workstation Clusters and Massively-Parallel Processors IEEE Parallel and Distributed Technology 1997 Malcolm Atkinson Ken Chisholm Paul Cockshott PS-Algol: an Algol with a Persistent Heap SIGPLAN Notices 1982 17 7 July 24--31 Henry G. Baker Jr. List Processing in Real Time on a Serial Computer Communications of the ACM 1978 21 4 April 280--294 Mary G. Baker John H. Hartman Michael D. Kupfer Ken W. Shiffiff John K. Ousterhout Measurements of a Distributed File System 1991 October Proceedings of the 13th ACM Symposium on Operating Systems Principles 193--211 J. S. Barrera III A fast Mach Network IPC Implementation 1991 November Proceedings of the USENIX Mach Symposium 1--12 D. S. Batory Won Kim Modeling Concepts for VLSI CAD Objects ACM Transactions on Database Systems 1985 10 3 September 322-346 David Beech Brom Mahbod Generalized Version Control in an Object-Oriented Database 1988 February Proceedings of the IEEE Data Engineering Conference 14--22 John K. Bennett John B. Carter Willy Zwaenepoel Adaptive Software Cache Management for Distributed Shared Memory Architectures 1990 May Proceedings of the 17th Annual International Symposium on Computer Architecture 125--134 Brian N. Bershad Mathew J. Zekauskas Wayne A. Sawdon The Midway Distributed Shared Memory System 1993 February Proceedings of the 93 COMPCON Conference 528--537 Andrew Black Norman Hutchinson Eric Jul Henry Levy Larry Carter Distribution and Abstract Types in Emerald IEEE Transactions on Software Engineering 1987 SE-13 1 January 65--76 Hans J. Boehm Alan J. Demers Scott Shenker Mostly Parallel Garbage Collection 1991 June Proceedings of the ACM SIGPLAN Symposium on Programming Language Design and Implementation 157--164 Anita Borg Jim Baumbach Sam Glazer A Message System Supporting Fault Tolerance 1983 October Proceedings of the 9th ACM Symposium on Operating Systems Principles 90--99 Anita Borg Wolfgang Blau Wolfgang Graetsch Ferdinand Herrmann Wolfgang Oberle Fault Tolerance Under UNIX ACM Transactions on Computer Systems 1989 7 1 February 1--24 Nicholas S. Bowden Dhiraj K. Pradhan Virtual Checkpoints: Architecture and Performance IEEE Transactions on Computers 1992 41 5 May 516--525 Paul Butterworth Allen Otis Jacob Stein The GemStone Object Database Management System Communications of the ACM 1991 34 10 October 64--77 Michael J. Carey David J. DeWitt Daniel Frank Goetz Graefe M. Muralikrishna Joel E. Richardson Eugene J. Shekita The Architecture of the EXODUS Extensible DBMS 1986 Proceedings of the 12th VLDB Conference 52--65 Michael J. Carey Michael J. Franklin Miron Livny Eugene Shekita Data Caching Tradeoffs in Client-Server DBMS Architectures 1991 June Proceedings of the ACM SIGMOD International Conference on Management of Data Michael J. Carey David J. DeWitt Michael J. Franklin Nancy E. Hall Mark L. McAuliffe Jeffrey F. Naughton Daniel T. Schuh Marvin H. Solomon C.K. Tan Odysseas G. Tsatalos Seth J. White Michael J. Zwilling Shoring Up Persistent Applications 1994 May Proceedings of the ACM SIGMOD International Conference on Management of Data Michael J. Carey Michael J. Franklin Markos Zaharioudakis Fine-Grained Sharing in a Page Server OODBMS 1994 May Proceedings of the ACM SIGMOD International Conference on Management of Data John B. Carter John K. Bennett Willy Zwaenepoel Implementation of Performance of Munin 1991 October Proceedings of the 13th ACM Symposium on Operating Systems Principles 152--164 Miguel Castro Nuno Neves Pedro Trancoso Pedro Sousa MIKE: A Distributed Object-Oriented Programming Platform on Top of the Mach Micro-Kernel 1993 April Proceedings of the USENIX Mach Conference 253--272 R. G. G. Cattell An Engineering Database Benchmark 1991 247--281 Jim Gray The Benchmark Handbook for Database and Transaction Processing Systems Morgan-Kaufmann Arvola Chan Robert Gray Implementing Distributed Read-Only Transactions IEEE Transactions on Software Engineering 1985 SE-11 2 February 205--212 K. Mani Chandy Leslie Lamport Disributed Snapsots: Determining Global States of Distributed Systems ACM Transactions on Computing Systems 1985 3 1 February 63--75 Albert Chang Mark F. Mergen 801 Storage: Architecture and Programming ACM Transactions on Computer Systems 1988 6 1 February 23--50 C. Chao M. Mackey B. Sears Mach on a virtually addressed cache architecture 1990 October Proceedings of the USENIX Mach Symposium 31--51 W. P. Cockshot M. P. Atkinson K. J. Chisholm Persistent object management system Software --- Practice and Experience 1984 14 1 January Alan L. Cox Sandhya Dwarkadas Pete Keleher Honghui Lu Ramakrishnan Rajamony Willy Zwaenepoel Software Versus Hardware Shared-Memory Implementation: A Case Study 1994 April Proceedings of the 21st Annual International Symposium on Computer Architecture 106--117 Michael D. Dahlin Clifford J. Mather Randolph Y. Wang Thomas E. Anderson David A. Patterson A Quantitative Analysis of Cache Policies for Scalable Network File Systems 1994 May Proceedings of the 1994 SIGMETRICS 150--160 Michael D. Dahlin Randolph Y. Wang Thomas E. Anderson Cooperative Caching: Using Remote Client Memory to Improve File System Performance 1994 November Proceedings of the First Symposium on Operating System Design and Implementation 267--280 R. C. Daley J. B. Dennis Virtual Memory, Procsses, and Sharing in Multics Communications of the ACM 1968 11 5 May 306--312 C. J. Date An Introduction to Database Systems 1982 Addison Wesley, Reading, MA Mark Day Lockup of a Client Object Cache and How to Avoid It 1993 Proceedings of the International Workshop on Object-Oriented Operating Systems Mark Day Object Groups May Be Better Than Pages 1993 Proceedings of the 4th Workshop on Workstation Operating Systems 119--122 Mark Day Barbara Liskov Umesh Maheshwari Andrew C. Myers References to Remote Mobile Objects in Thor 1993 David L. Detlefs Maurice P. Herlihy Jeannette M. Wing Inheritance of Synchronization and Recovery Properties in Avalon/C++ IEEE Computer 1988 21 12 December 57--69 David L. Detlefs Concurrent Atomic Garbage Collection 1990 October Technical Report CMU-CS-90-177 School of Computer Science, Carnegie Mellon University David J. DeWitt David Maier Philippe Futtersack Fernando Velez A Study of Three Alternative Workstation-Server Architectures for Object Oriented Database Systems 1990 Proceedings of the 16th VLDB Conference 107--121 Edsger W. Dijkstra Leslie Lamport A. J. Martin C. S. Scholten E. F. M. Steffens On-the-Fly Garbage Collection: An Exercise in Cooperation Communications of the ACM 1978 21 11 November 966--975 Klaus R. Dittrich Raymond A. Lorie Version Support for Engineering Database Systems IEEE Transactions on Software Engineering 1988 14 4 April 429--437 Sandhya Dwarkadas Pete Keleher Alan L. Cox Willy Zwaenepoel Evaluation of Release Consistent Software Distributed Shared Memory on Emerging Network Technology 1993 May Proceedings of the 20th Annual International Symposium on Computer Architecture 144-155 Elmootazbellah N. Elnozahy Willy Zwaenepoel Manetho: A Transparent Rollback-Recovery with Low Overhead, Limited Rollback and Fast Output Commit IEEE Transactions on Computers 1992 41 5 May 526--531 Elmootazbellah Nabil Elnozahy David B. Johnson Willy Zwaenepoel The Performance of Consistent Checkpointing 1992 October Proceedings of the 11th Symposium on Reliable Distributed Systems 39--47 K. P. Eswaran J. N. Gray R. A. Lorie I. L. Traiger The Notion of Consistency and Predicated Locks in a Database System Communications of the ACM 1976 19 11 November 624--633 Michael J. Feeley Jeffrey S. Chase Vivek R. Narazayya Henry M. Levy Integrating Coherency and Recoverability in Distributed Systems 1994 November Proceedings of the First Symposium on Operating System Design and Implementation 215--227 Edward W. Felten John Zahorjan Issues in the Implementation of a Remote Memory Paging System 1991 March Technical Report 91-03-09 Department of Computer Science and Engineering, University of Washington Edward W. Felten Michael Rabinovich A Centralized Token-Based Algorithm for Distributed Mutual Exclusion 1992 February Technical Report 92-02-02 Department of Computer Science and Engineering, University of Washington D. H. Fishman D. Beech H. P. Cate E. C. Chow T. Connors J. W. Davis N. Derrett C. G. Hoch W. Kent P. Lyngbaek B. Mahbod M. A. Neimat T. A. Ryan M. C. Shan Iris: An Object-Oriented Database Management System ACM Transactions on Office Information Systems 1987 5 1 January 48--69 R. J. Fowler Decentralized Object Finding Using Forwarding Addresses 1985 December PhD disertation Department of Computer Science and Engineering, University of Washington Technical Report 85-12-1 Michael J. Franklin Michael J. Zwilling C. K. Tan Michael J. Carey David J. DeWitt Crash Recovery in Client-Server EXODUS 1992 June Proceedings of the ACM SIGMOD International Conference on Management of Data 165--174 Michael J. Franklin Michael J. Carey Client-Server Caching Revisited 1992 August Proceedings of the International Workshop on Distributed Object Management Kourosh Gharachorloo Daniel Lenoski James Laudon Phillip Gibbons Anoop Gupta John Hennessy Memory Consistency and Event Ordering in Scalable Shared-Memory Multiprocessors 1990 May Proceedings of the 17th Annual International Symposium on Computer Architecture 15--26 Arthur Goldberg Ajei Gopal Kong Li Rob Strom David F. Bacon Transparent Recovery of Mach Applications 1990 July Proceedings of the USENIX Mach Conference 169--183 James R. Goodman Philip J. Woest The Wisconsin Multicube: A New Large-Scale Cache-Coherent Multiprocessor 1988 June Proceedings of the 15th Annual International Symposium on Computer Architecture J. N. Gray Notes on data base operating systems 1978 393--481 R. Bayer and R. M. Graham and G. Seegmuller Lecture Notes in Computer Science, vol 60: Operating Systems, An Advanced Course Springer-Verlag, New York Cary G. Gray David R. Cheriton Leases: An Efficient Fault-Tolerant Mechanism for Distributed File Cache Consistency 1989 December Proceedings of the Twelfth ACM Symposium on Operating Systems Principles 202--210 Jim Gray Andreas Reuter Transaction Processing: Concepts and Techniques 1993 Morgan Kaufmann Publishers, Inc., San Mateo, California Olivier Gruber Eos: an Environment for Persistent and Distributed Applications in an Shared Object Space 1992 December Paris, France Institut National de Recherche en Informatique et Automatique (INRIA) INRIA/Projects/RODIN/OlivierGruber.phd.ps.Z Paulo Guedes Miguel Castro Distributed Shared Object Memory 1993 October Proceedings of the 4th Workshop on Workstation Operating Systems 142--149 Sabine Habert Vadim Abrossimov COOL: Kernel Support for Object-Oriented Environments 1990 October Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications 123--136 Theo Haerder Andreas Reuter Principles of Transaction-Oriented Database Recovery ACM Computing Surveys 1983 15 4 December 287--317 Robert B. Hagmann A Crash Recovery Scheme for a Memory-Resident Database System IEEE Transactions on Computers 1986 C-35 9 September 839--843 Roger Haskin Yoni Malachi Wayne Sawdon Gregory Chan Recovery Management in QuickSilver ACM Transactions on Computer Systems 1988 6 1 February 82--108 Maurice Herlihy Barbara Liskov A Value Transmisson Method for Abstract Data Types ACM Transactions on Programming Languages and Systems 1982 4 4 October 527--551 Maurice P. Herlihy Jeannette M. Wing Linearizability: A Correctness Condition for Concurrent Objects ACM Transactions on Programming Languages and Systems 1990 12 3 July 463--492 Maurice Herlihy J. Eliot B. Moss Transactional Memory: Architectural Support for Lock-Free Data Structures 1993 May Proceedings of the 20th Annual International Symposium on Computer Architecture 289--299 Antony L. Hosking J. Eliot B. Moss Protection Traps and Alternatives for Memory Management of an Object-Oriented Language 1993 December Proceedings of the 14th ACM Symposium on Operating Systems Principles 106--119 M. Houdek F. Solits R. L. Hoffman IBM System/38 support for capability-based addressing 1981 May Proceedings of the 8th Symposium on Computer Architecture John H. Howard Michael L. Kazar Sherri G. Menees David A. Nichols M. Satyanarayanan Robert M. Sidebotham Michael J. West Scale and Performance in a Distributed File System ACM Transactions on Computer Systems 1988 6 1 February 51--81 Lorenz Huelsbergen James R. Larus A Concurrent Copying Garbage Collector for Languages that Distinguish (Im)mutable Data 1993 Proceedings of the 4th ACM Symposium on Principles and Practice of Parallel Programming 73--82 Bob Janssens W. Kent Fuchs Relaxing Consistency in Recoverable Distributed Shared Memory 1993 June Proceedings of the Twenty-Third Annual International Symposium on Fault-Tolerant Computing: Digest of Papers 155--163 David B. Johnson Willy Zwaenepoel Sender-Based Message Logging 1987 July Proceedings of the Seventeenth Annual International Symposium on Fault-Tolerant Computing: Digest of Papers 14--19 David B. Johnson Willy Zwaenepoel Recovery in Distributed Systems Using Optimistic Message Logging and Checkpointing Journal of Algorithms 1990 11 3 September 462--491 David B. Johnson Efficient TRansparent Optimistic Rollback Recovery for Distributed Application Programs 1993 October Proceedings of the 12th Symposium on Reliable Distributed Systems 86--95 D. B. Johnson W. Zwaenepoel The Peregrine high-performance RPC System Software --- Practice and Experience 1993 23 2 February 201--221 N. S. Barghouti G. E. Kaiser Concurrency Control in Advanced Database Applications ACM Computing Surveys 1991 23 3 September 268--317 R. H. Katz E. Chang Managing Change in a Computer-Aided Design Database 1987 September Proceedings of the 13th VLDB Conference 455--462 Randy H. Katz Toward a Unified Framework for Version Modeling in Engineering Databases ACM Computing Surveys 1990 22 4 December 375--408 John S. Keen William J. Daily Perfromance Evaluation of Ephemeral Logging 1993 Proceedings of the ACM SIGMOD International Conference on Management of Data 187--196 Pete Keleher Alan L. Cox Sandhya Dwarkadas Willy Zwaenepoel TreadMarks: Distributed Shared Memory on Standard Workstations and Operating Systems 1994 January Proceedings of the 1994 Winter USENIX Conference 115--132 Jack Kent Hector Garcia-Molina Optimizing Shadow Recovery Algorithms IEEE Transactions on Software Engineering 1988 14 2 February 155--168 Setrag N. Khoshafian George Copeland Object Identity 1986 Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications 406--416 Won Kim Jorge F. Garza Nathaniel Ballou Darrell Woelk Architecture of the ORION Next-Generation Database System IEEE Transactions on Knowledge and Data Engineering 1990 2 1 March 109-124 Elliot K. Kolonder William E. Weihl Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap 1993 Proceedings of the ACM SIGMOD International Conference on Management of Data 177--186 Richard Koo Sam Toueg Checkpointing and Rollback-Recovery for Distributed Systems IEEE Transactions on Software Engineering 1987 SE-13 1 January 23--31 Charles Lamb Gordon Landis Jack Orenstein Dan Weinreb The ObectStore Database System Communications of the ACM 1991 34 10 October 50--63 Leslie Lamport How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs IEEE Transactions on Computers 1979 C-28 9 September 690--693 Eliezer Levy Avi Silberschatz Incremental Recovery in Main Memory Database Systems IEEE Transactions on Knowledge and Data Engineering 1992 4 6 December 529--540 Kai Li Jeffrey F. Naughton Multiprocessor Main Memory Transaction Processing 1988 December Proceedings of the International Symposium on Databases in Parallel and Distributed Systems 177--187 Kai Li Paul Hudak Memory Coherence in Shared Virtual Memory Systems ACM Transactions on Computer Systems 1989 7 4 November 321--359 K. Li J. F. Naughton J. S. Plank Real-TIme, Concurrent Checkpoint for Parallel Programs 1990 March Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming 79--88 Bruce G. Lindsay Laura M. Haas C. Mohan Paul F. Wilms Robert A. Yost Computation and Communication in R*: A Distributed Database Manager ACM Transactions on Computer Systems 1984 2 1 February 24--38 Barbara Liskov Robert Scheifler Guardians and Actions: Linguistic Support for Robust, Distributed Programs ACM Transactions on Programming Languages and Systems 1983 5 3 July 381--404 Barbara Liskov Distributed Programming in Argus Communications of the ACM 1988 31 3 March 300--312 Barbara Liskov Sanjay Ghemawat Robert Gruber Paul Johnson Liuba Shrira Michael Williams Replication in the Harp File System 1991 October Proceedings of the 13th ACM Symposium on Operating Systems Principles 226--238 Barbara Liskov Mark Day Sanjay Ghemawat Robert Gruber Umesh Maheshwari Andrew C. Myers Liuba Shrira The Language-Independent Interface of the Thor Persistent Object Store 1994 March Programming Methodology Group Memo 80 Massachusetts Institute of Technology, Laboratory for Computer Science C. Mohan Don Haderle Bruce Lindsay Hamid Pirahesh Peter Schwarz ARIES: A transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging ACM Transactions on Database Systems 1992 17 1 March 94--162 C. Mohan Inderpal Narang ARIES/CSA: A Method for Database Recovery in Client-Server Architectures 1994 May Proceedings of the ACM SIGMOD International Conference on Management of Data 55--66 Hector Garcia-Molina Kenneth Salem Main Memory Database Systems: An Overview IEEE Transactions on Knowledge and Data Engineering 1992 4 6 December 509--516 J. Eliot B. Moss Design of the Mneme Persistent Object Store ACM Transactions on Office Information Systems 1990 8 2 April 103--139 J. Eliot B. Moss Working with Persistent Objects: To Swizzle or Not to Swizzle 1991 July Technical Report 90-38 COINS, University of Massachusetts --- Amherst Michael N. Nelson Brent B. Welch John K. Ousterhout Caching in the Sprite network operating system ACM Transactions on Computer Systems 1988 6 1 February 134--154 Scott M. Nettles Jaennette M. Wing Persistence + Undoability = Transactions 1992 January Proceedings of the 25th Hawaii International Conference on System Sciences 832--843 IEEE 2 Scott Nettles James O'Toole Real-Time Replication Garbage Collection 1993 June Proceedings of the ACM SIGPLAN Symposium on Programming Language Design and Implementation 217--226 Nuno Neves Miguel Castro Paulo Guedes A Checkpoint Protocol for an Entry Consistent Shared Memory System 1994 August Proceedings of the 13th ACM Symposium on Principles of Distributed Computing O. Deux The O$_2$ System Communications of the ACM 1991 34 10 October 34--48 James O'Toole Scott Nettles David Gifford Concurrent Compacting Garbage Collection of a Persistent Heap 1993 December Proceedings of the 14th ACM Symposium on Operating Systems Principles 161--174 James O'Toole Scott Nettles Concurrent Replication Garbage Collection: An Implementation Report 1993 April Technical Report CMU-CS-93-138 Pittsburgh, PA School of Computer Science, Carnegie Mellon University Also appears as MIT-LCS-TR-570 James O'Toole Liuba Shrira Opportunistic Log: Efficient Installation Reads in a Reliable Storage Server 1994 November Proceedings of the First Symposium on Operating System Design and Implementation 39--48 C. H. Papadimitriou The Serializability of Concurrent Database Updates Journal of the ACM 1979 October 631--653 James S. Plank Efficient Checkpointing on MIMD Architectures 1993 June Department of Computer Science, Princeton University Michael L. Powell David L. Presotto PUBLISHING: A Reliable Broadcast Communication Mechanism 1983 October Proceedings of the 9th ACM Symposium on Operating Systems Principles 100--109 Brian Randell System Structure for Software Fault Tolerance IEEE Transactions on Software Engineering 1975 SE-1 2 June 220--232 D. Redell Y. Dalal T. Horsley H. Lauer W. Lynch P. McJones H. Murray S. Purcell Pilot: An operating system for a personal computer Communications of the ACM 1980 23 2 February 81--92 David P. Reed Implementing Atomic Actions on Decentralized Data ACM Transactions on Computer Systems 1983 1 1 February 3--23 A. Reuter A Fast Transaction-Oriented Logging Scheme for UNDO Recovery IEEE Transactions on Software Engineering 1980 SE-6 July 348--356 Golden G. Richard III Mukesh Singhal Using Logging and Asynchronous Checkpointing to Implement Recoverable Distributed Shared Memory 1993 October Proceedings of the 12th Symposium on Reliable Distributed Systems 58--67 David L. Russell State Restoration in Systems of Communicating Processes IEEE Transactions on Software Engineering 1980 SE-6 2 March 183--194 Russel Sandberg David Goldberg Steve Kleiman Dan Walsh Bob Lyon Design and Implementation of the Sun Network File System 1985 June Proceedings of the Summer USENIX Conference 119--130 Robert A. Gingell Joseph P. Moran William A. Shannon Virtual Memory Architecture in SunOS 1987 June Proceedings of the Summer USENIX Conference 81--95 M. Satyanarayanan H. H. Mashburn P. Kumar D. C. Steere J. J. Kistler Lightweight Recoverable Virtual Memory ACM Transactions on Computer Systems 1994 12 4 February 33--57 Richard D. Schlichting Fred B. Schneider Fail-Stop Processors: An Approach to Designing Fault-Tolerant Computing Systems ACM Transactions on Computer Systems 1983 1 3 August 222--238 E. Shekita M. Zwilling Cricket: A Mapped, Persistent Object Store 1990 September Proceedings of the Fourth International Workshop on Persistent Object Systems: Design and Implementation F. G. Solits Design of a business data processing system IEEE Computer 1981 September Alfred Z. Spector Jacob Butcher Dean S. Daniels Daniel J. Duchamp Jeffrey L. Eppinger Charles E. Fineman Abdelsalam Heddaya Peter M. Schwarz Support for Distributed Transactions in the TABS Prototype IEEE Transactions on Software Engineering 1985 SE-11 6 June 520--529 James W. Stamos David K. Gifford Remote Evaluation ACM Transactions on Programming Languages and Systems 1990 12 4 October 537--565 Robert E. Strom Shaula Yemini Optimistic Recovery in Distributed Systems ACM Transactions on Computer Systems 1985 3 3 August 204--226 Michael Stumm Songnian Zhou Fault Tolerant Distributed Shared Memory Algorithms 1990 December Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing 719--724 V. S. Sunderam PVM: A Framework for Parallel Distributed Computing Concurrency: Practice and Experience 1990 2 4 December 315--339 D. Swinehart P. Zellweger R. Beach R. Hagmann A structural view of the Cedar programming environment ACM Transactions on Programming Languages and Systems 1986 4 8 October Transaction Processing Council TPC Benchmark B 1991 Jim Gray The Benchmark Handbook for Database and Transaction Processing Systems Morgan-Kaufmann Manolis M. Tsangaris Jeffrey F. Naughton On the performance of object clustering techniques 1992 Proceedings of the ACM SIGMOD International Conference on Management of Data 144--153 Robert Wahbe Steven Lucco Thomas Anderson Susan Graham Efficient Software-Based Fault Isolation 1993 December Proceedings of the 14th ACM Symposium on Operating Systems Principles William E. Weihl Distributed Version Management for Read-Only Actions IEEE Transactions on Software Engineering 1987 SE-13 1 January 55--64 Matthew J. Weinstein Thomas W. Page, Jr. Brian K. Livezey Gerald J. Popek Transactions and Synchronization in a Distributed Operating System 1985 December Proceedings of the 10th ACM Symposium on Operating Systems Principles 115--126 Seth J. White David J. DeWitt QuickStore: A High Performance Mapped Object Store 1994 May Proceedings of the ACM SIGMOD International Conference on Management of Data 395--406 Paul R. Wilson Uniprocessor Garbage Collection Techniques 1992 September Proceedings of the 1992 SIGPLAN International Workshop on Memory Management 1--42 Paul R. Wilson Sheetal V. Kakkad Pointer Swizzling at Page Fault Time: Efficiently and Compatibly Supporting Huge Address Spaces on Standard Hardware 1992 September Proceedings of the 1992 International Workshop on Object Orientation in Operating Systems 364--377 Jeannette M. Wing Manuel Faehndrich Nick Haines Karen Kietzke Darrell Kindred J. Gregory Morrisett Scott Nettles Venari/ML Interfaces and Examples 1993 March Technical Report CMU-CS-93-123 Pittsburgh, PA School of Computer Science, Carnegie Mellon University Kun-Lung Wu W. Kent Fuchs Recoverable Disributed Shared Virtual Memory IEEE Transactions on Computers 1990 39 4 April 460--469 Kun-Lung Wu W. Kent Fuchs Janak H. Patel Error Recovery in Shared Memory Multiprocessors Using Private Caches IEEE Transactions on Parallel and Distributed Systems 1990 1 2 April 231--240 Matthew J. Zekauskas Wayne A. Sawdon Brian N. Bershad Software Write Detection for Distributed Shared Memory 1994 November Proceedings of the First Symposium on Operating System Design and Implementation 87--100 Benjamin Zorn The Measured Cost of Conservative Garbage Collection Software --- Practice and Experience 1993 23 7 July 733-756 Richard N. Zucker Jean-Loup Baer A Performance Study of Memory Consistency Models 1992 May Proceedings of the 19th Annual International Symposium on Computer Architecture 2--12 Graham Hamilton Michael L. Powell James J. Mitchell Proceedings of the ACM Symposium on Operating Systems Principles"-93, MONTH = "December Subcontract: A Flexible Base for Distributed Programming 1993 69--79 Richard P. Draves Brian N. Bershad Richard F. Rashid Randall W. Dean Proceedings of the ACM Symposium on Operating Systems Principles"-91, MONTH = "December Using Continuations to Implement Thread Management and Communication in Operating Systems 1991 122--136 M. Satyanarayanan Henry H. Mashburn Puneet Kumar David C. Steere James J. Kistler Proceedings of the ACM Symposium on Operating Systems Principles"-93, MONTH = "December Lightweight Recoverable Virtual Memory 1993 146--160 Jochen Liedtke Proceedings of the ACM Symposium on Operating Systems Principles"-93, MONTH = "December Improving IPC by Kernel Design 1993 175--188 Peter Druschel Larry L. Peterson Proceedings of the ACM Symposium on Operating Systems Principles"-93, MONTH = "December Fbufs: A High-Bandwidth Cross-Domain Transfer Facility 1993 189--202 Robert Wahbe Steven Lucco Thomas E. Anderson Susan L. Graham Proceedings of the ACM Symposium on Operating Systems Principles"-93, MONTH = "December Efficient Software-Based Fault Isolation 1993 203--216 Andrew Birrell Greg Nelson Susan Owicki Edward Wobber Proceedings of the ACM Symposium on Operating Systems Principles"-93, MONTH = "December Network Objects 1993 217--230 Anthony D. Joseph Alan F. deLespinasse Joshua A. Tauber David K. Gifford M. Frans Kaashoek Proceedings of the ACM Symposium on Operating Systems Principles"-95, MONTH = "December Rover: A Toolkit for Mobile Information Access 1995 156--171 Graham Hamilton Panos Kougiouris Proceedings of the 1993 Summer Usenix Conference June The Spring Nucleus: A Microkernel for Objects 1993 469--480 Kieran Harty David R. Cheriton Proceedings, Architectural Support for Programming Languages and Operating Systems"-v, MONTH = "October Application-Controlled Physical Memory using External Page-Cache Management 1992 187--197 Brian Bershad David D. Redell John R. Ellis Proceedings, Architectural Support for Programming Languages and Operating Systems"-v, MONTH = "October Fast Mutual Exclusion for Uniprocessors 1992 Chao-Hsien Lee Meng Chang Chen Ruei-Chuan Chang First Symposium on Operating System Design and Implementation November Application-Controlled Physical Memory using External Page-Cache Management 1994 153--164 Ren\'e W. Schmidt Exploiting Shared Memory for Protected Services University of Washington Department of Computer Science and Engineering CSE 94-06-03 June 1994 Amitabh Srivastava David W. Wall Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI) June Link-Time Optimization of Address Calculation on a 64-bit Architecture 1994 49--60 T. Kilburn D. B. G. Edwards M. J. Lanigan F. H. Sumner IRE Transactions on Electronic Computers April 223--235 One-Level Storage System 1962 EC-11 2 Jeffrey C. Mogul Computing Systems Spring 201--262 Recovery in Spritely NFS 1994 7 2 W. W. Ho R. A. Olsson Software -- Practice and Experience April 375--390 An Approach to Genuine Dynamic Linking 1991 21 4 Irving L. Traiger Operating System Review 26--48 Virtual Memory Management for Database Systems 1982 16 4 Margo Seltzer Keith Bostic Marshall McKusick Carl Staelin Proceedings of the 1993 Winter Usenix Conference 201--220 An Implementation of a Log-Structured File System for Unix 1993 January Maynard, MA Digital Equipment Corporation DEC OSF/1 Programmer's Guide Order Number AA-PS30A-TE October 1992 Dan Hildebrand Proceedings of the 1993 Winter Usenix Conference January An Architectural Overview of QNX 1993 Santa Clara, CA Intel Corporation 80386 Programmer's Reference Manual 1988 Redmond, WA Microsoft Corporation Microsoft MS-DOS Operating System User's Guide and Reference 1991 Thomas E. Anderson Henry M. Levy Brian N. Bershad Edward D. Lazowska Proceedings, Architectural Support for Programming Languages and Operating Systems"-iv , MONTH = "April The Interaction of Architecture and Operating System Design 1991 108--121 Nicholas P. Carter Stephen W. Keckler William J. Dally Proceedings, Architectural Support for Programming Languages and Operating Systems"-vi , MONTH = "October Hardware Support for Fast Capability-based Addressing 1993 319--327 John H. Hartman John K. Ousterhout The Zebra Striped Network File System Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles 1993 29--43 file system, disk striping, distributed file system, RAID, log-structured file system See also hartman:zebra. B. Lampson Hints for Computer System Design Proceedings of the Ninth ACM Symposium on Operating Systems Principles 1983 33-48 November Andrew D. Birrell An Introduction to Programming with Threads Digital Equipment Corporation Systems Research Center Palo Alto, CA 35 January 1989 M. Satyanarayanan Henry H. Mashburn Puneet Kumar David C. Steere James J. Kistler Lightweight Recoverable Virtual Memory Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles 1993 146--160 virtual memory, persistent storage, transactions Leslie Lamport Time, Clocks and the Ordering of Events in a Distributed System Communications of the ACM 1978 21 7 July 558--565 J.H. Saltzer D.P. Reed D.D. Clark End-To-End Arguments in System Design ACM Transactions on Computer Systems 1984 2 4 277-288 November David R. Cheriton Dale Skeen Understanding the Limitations of Causally and Totally Ordered Communication Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles 1993 44--57 inter-process communication, group communication, causal communication Pete Keleher Alan L. Cox Willy Zwaenepoel Lazy Release Consistency for Software Distributed Shared Memory 1992 May Proceedings of the 19th Annual International Symposium on Computer Architecture 13--21 H.M. Levy P.H. Lipman Virtual Memory Management in the VAX/VMS Operating System IEEE Computer 1982 35-42 March J. D. Clark Windows Programmer's guide to OLE/DDE 1992 Prentice-Hall Brian N. Bershad Stefan Savage Przemyslaw Pardyak Emin Gun Sirer Marc Fiuczynski David Becker Susan Eggers Craig Chambers Extensibility, Safety and Performance in the SPIN Operating System Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles December 1995 Dawson R. Engler M. Frans Kaashoek James O'Toole Jr. Exokernel: An Operating System Architecture for Application-Level Resource Management Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles December 1995 Andrew C. Myers Resolving the Integrity/Performance Conflict Proceedings of the Fourth ACM/IEEE Workshop on Workstation Operating Systems 1993 156--159 Madhusudhan Talluri Mark D. Hill Yousef A. Khalidi A New Page Table for 64-bit Address Spaces Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles December 1995 Michael J. Feeley William E. Morgan Frederic H. Pighin Anna R. Karlin Henry M. Levy Implementing Global Memory Management in a Workstation Cluster Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles December 1995 Margo Seltzer Keith A. Smith Hari Balakrishnan Jacqueline Chang Sara McMains Venkata Padmanabhan File system Logging Versus Clustering: A Performance Comparison Proceedings of the 1995 Usenix Technical Conference 1995 Thorsten von Eicken Anindya Basu Vineet Buch Werner Vogels U-Net: A User-Level Network Interface for Parallel and Distributed Computing Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles December 1995 J. Bradley Chen Yasuhrio Endo Kee Chan David Mazieres Antonio Dias Margo Seltzer Michael D. Smith The Measured Performance of Personal Computer Operating Systems Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles December 1995 2nd Feb. 1990 Cypress Semiconductor San Jose, CA SPARC RISC User's Guide Cypress 90 Maynard, MA Digital Equipment Corporation VAX Architecture Handbook 1981 M.K. McKusick W.N. Joy S.J. Leffler R.S. Fabry A Fast File System for UNIX ACM Transactions on Computer Systems 1984 2 3 181-197 Mike Accetta Robert Baron William Bolosky David Golub Richard Rashid Avadis Tevanian Michael Young Mach: A New Kernel Foundation for UNIX Development Proceedings of the 1986 Summer Usenix 1986 July Gernot Heiser Kevin Elphinstone Stephen Russell Jerry Vochteloo Mungi: A Distributed Single Address Space Operating system The 17th Annual Computer Science Conference 1994 January Australian Computer Science Communications Kevin Murray Tim Wilkinson Peter Osmon Ashley Saulsbury Tom Stiemerling Paul Kelly Design and Implementation of an Object-Oriented 64-bit Single Address Space Microkernel City University London 9 1993 Alberto Bartoli Sape Mullender Martijn van der Valk Wide Address Spaces -- Exploring the Design Space ACM Operating systems Review 1993 27 1 January Richard Draves A Revised IPC Interface USENIX Mach Workshop Proceedings 1990 October Richard A. Golding Darrell D. E. Long John Wilkes The \it refdbms distributed bibliographic database system Proceedings of the 1994 Winter USENIX 1994 January D. Comer J. Griffioen A new design for distributed systems: the remote memory model Proceedings of the 1990 Summer USENIX 1990 June Michael J. Feeley Brian N. Bershad Jeffrey S. Chase Henry M. Levy Dynamic Node Reconfiguration in a Parallel-Distributed Environment Proceedings of the 1991 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming 1991 April Jeffrey S. Chase An Operating System Structure for Wide-Address Architectures 1995 August Department of Computer Science and Engineering, University of Washington J.S. Chase H.M. Levy E.D. Lazowska M. Baker-Harvey Proc. of the Conference on Object-Oriented Programming Systems, Languages, and Applications Lightweight Shared Objects in a 64-Bit Operating System Oct. 1992 Barbara Liskov Mark Day Liuba Shrira Distributed Object Management in Thor 1993 79--91 Distributed Object Management Morgan-Kaufmann Greg Buzzard David Jacobson Milon Mackey Scott Marovich John Wilkes An implementation of the Hamlyn sender-managed interface architecture 1996 October Proceedings of the Second Symposium on Operating Systems Design and Implementation USENIX Association Message Passing Interface Forum The MPI message passing interface standard University of Tennessee, Knoxville London 9 April 1994 http://www.mcs.anl.gov/mpi/mpi-report.ps Parviz Kermani Leonard Kleinrock Virtual cut-through: A new computer communication switching technique Computer Networks 3, pages 267-286, 1979. 1979 3 North-Holland Publishing Company 267--286 Continuous Profiling: Where Have All the Cycles Gone? Jennifer Anderson Lance Berc Jeff Dean Sanjay Ghemawat Monika Henzinger Shun-Tak Leung Mark Vandevoorde Carl Waldspurger Bill Weihl Proceedings of the Sixteenth ACM Symposium on Operating System Principles (SOSP) October 1997 Frangipani: A Scalable Distributed File System Chandramohan A. Thekkath Timothy Mann Edward K. Lee Proceedings of the Sixteenth ACM Symposium on Operating System Principles (SOSP) October 224--237 1997 D. DeWitt N. Kabra J. Luo J. Patel J. Yu Client-Server Paradise Proceedings of the Twentieth Conference on Very Large Databases (VLDB) September 1994 Jignesh Patel JieBing Yu Navin Kabra Kristin Tufte Biswadeep Nag Josef Burger Nancy Hall Karthikeyan Ramasamy Roger Lueder Curt Ellmann Jim Kupsch Shelly Guo Johan Larson David DeWitt Jeffrey Naughton Building a Scalable Geo-Spatial DBMS: Technology, Implementation, and Evaluation Proceedings of SIGMOD 1997 P. Quinn K. Bevin P. Chevallier O. Planchon The prediction of hillslope flow paths for distributed hydrological modelling using digital terrain models Hydrological Processes 1991 5 59-79 R. Wang T. Anderson M. Dahlin Experience with a Distributed File System Implementation Software Practice and Experience 1998 to appear I. D. Moore R. B. Gryson A. R. Ladson Digital terrain modelling: a review of hydrological, geomorphological, and biological applications Hydrological Processes 1990 5 3-30 K. McGarigal B.J. Marks FRAGSTATS: spatial pattern analysis program for quantifying landscape structure USDA Forest Service, Pacific Northwest Research Station Portland, OR 1995 PNW-GTR-351 T. H. Keitt D. L. Urban B. T. Milne Detecting critical scales in fragmented landscapes Conservation Ecology 1997 1 1 4 \it http://www.consecol.org/Journal/vol1/iss1/art4 Cluster-Based Scalable Network Services Armando Fox Steven D. Gribble Yatin Chawathe Eric A. Brewer Paul Gauthier Proceedings of the Sixteenth ACM Symposium on Operating System Principles (SOSP) October 1997 78--91 Flexible Update Propagation for Weakly Consistent Replication Karin Petersen Mike J. Spreitzer Douglas B. Terry Marvin M. Theimer Alan J. Demers Proceedings of the Sixteenth ACM Symposium on Operating System Principles (SOSP) October 1997 288--299 Free Transactions with Rio Vista David E. Lowell Peter M. Chen Proceedings of the Sixteenth ACM Symposium on Operating System Principles (SOSP) October 1997 92--101 R. Hagmann Reimplementing the Cedar File System Using Logging and Group Commit Proceedings of the 11th ACM Symposium on Operating Systems Principles (SOSP) 155--162 1987 Multi-Period Landscape Change Vector Analysis of the North Carolina Piedmont Pat H. Halpin International Association of Landscape Ecologists (IALE) Proceedings March 1998 Vinod Valloppillil Keith W. Ross Cache Array Routing Protocol v1.0 Internet-Draft 1997 June \urlhttp://search.ietf.org/internet-drafts/draft-vinod-carp-v1-03.txt Randolph Y. Wang Arvind Krishnamurthy Richard P. Martin Thomas E. Anderson David E. Culler Modeling and Optimizing Communication Pipelines Proceedings of ACM International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS 98) June 1998 Garth A. Gibson David F. Nagle Khalil Amiri Fay W. Chang Eugene M. Feinberg Howard Gobioff Chen Lee Berend Ozceri Erik Riedel David Rochberg Jim Zelenka File Server Scaling with Network-Attached Secure Disks Proceedings of ACM International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS 97) June 1997 Li Fan Pei Cao Jussara Almeida Andrei Broder Summary Cache: A Scalable Wide-Area Web Cache Sharing Protocol Proceedings of ACM SIGCOMM98 1998 September A. Brown M. Seltzer Operating System Benchmarking in the Wake of Lmbench: A Case Study of the Performance of NetBSD on the Intel x86 Architecture Proceedings of the 1997 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems 1997 June D. Muntz P. Honeyman C.J. Antonelli Evaluating Delayed-Write Policy in a Multilevel File System Proceedings of the 2nd International Conference on Distributed Platforms 1996 February D. Muntz P. Honeyman Multi-Level Caching in Distributed File Systems, or Your Cache Ain't Nuthin' but Trash Proceedings of the Winter USENIX Technical Conference 1992 January Garth A. Gibson David F. Nagle Khalil Amiri Fay W. Chang Howard Gobioff Charles Hardin Erik Riedel David Rochberg Jim Zelenka A Cost-Effective, High-Bandwidth Storage Architecture Proceedings of the Eighth International Conference on Architectural Support for Programming Languages and Operating Systems October 1998 Dave Hitz James Lau Michael Malcolm File System Design for an NFS File Server Appliance Proceedings of the 1994 Winter USENIX Technical Conference January 1994 Vivek S. Pai Mohit Aron Gaurav Banga Michael Svendsen Peter Druschel Willy Zwaenopoel Erich Nahum Locality-Aware Request Distribution in Cluster-based Network Servers Proceedings of the Eighth International Conference on Architectural Support for Programming Languages and Operating Systems October 1998 Nick Christenson Tim Bosserman David Beckemeyer A Highly Scalable Electronic Mail Service Using Open Systems Proceedings of the USENIX Symposium on Internet Technologies and Systems (USITS) December 1997 Eduardo Pelegri-Llopart Larry Cable JavaServer Pages Specification: Version 1.1 Sun Microsystems August 1999 James Duncan Davidson Java Servlet API: Version 2.2 Sun Microsystems June 1999 David Anderson Object Based Storage Devices: A Command Set Proposal National Storage Industry Consortium October 1999 P. Druschel M. Abbott M. Pagels L. L. Peterson Network subsystem design IEEE Network (Special Issue on End-System Support for High-Speed Networks) July 1993 7 4 8--17 David D. Clark Van Jacobson John Romkey Howard Salwen An Analysis of TCP Processing Overhead IEEE Communications June 1989 27 6 23--29 David Clark David Tennenhouse Architectural Considerations for a New Generation of Protocols Proceedings of the SIGCOMM Conference September 1990 K. Kleinpaste P. Steenkiste B. Zill Software Support for Outboard Buffering and Checksumming Proceedings of the ACM SIGCOMM Conference August 1995 Khalil Amiri Garth Gibson Richard Golding Highly concurrent shared storage Proceedings of the IEEE International Conference on Distributed Computing Systems (ICDCS) 2000 April Remzi H. Arpaci-Dusseau Eric Anderson Noah Treuhaft David E. Culler Joseph M. Hellerstein David A. Patterson Katherine Yelick Cluster I/O with River: Making the Fast Case Common I/O in Parallel and Distributed Systems (IOPADS) May 1999 Consistent Hashing and Random Trees: D