| 2000 | 4th Symposium on Operating System Design and Implementation (OSDI 2000), San Diego, California, USA, October 23-25, 2000 Michael B. Jones, M. Frans Kaashoek |
| 2000 | A Low-Overhead, High-Performance Unified Buffer Management Scheme That Exploits Sequential and Looping References. Jong Min Kim, Jongmoo Choi, Jesung Kim, Sam H. Noh, Sang Lyul Min, Yookun Cho, Chong-Sang Kim |
| 2000 | Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem |
| 2000 | Design and Evaluation of a Continuous Consistency Model for Replicated Services. Haifeng Yu, Amin Vahdat |
| 2000 | Devil: An IDL for Hardware Programming. Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller |
| 2000 | End-to-End Authorization. Jon Howell, David Kotz |
| 2000 | Exploring Failure Transparency and the Limits of Generic Recovery. David E. Lowell, Subhachandra Chandra, Peter M. Chen |
| 2000 | Fast and Secure Distributed Read-Only File System. Kevin Fu, M. Frans Kaashoek, David Mazières |
| 2000 | How to Build a Trusted Database System on Untrusted Storage. Umesh Maheshwari, Radek Vingralek, William Shapiro |
| 2000 | Interposed Request Routing for Scalable Network Storage. Darrell C. Anderson, Jeffrey S. Chase, Amin Vahdat |
| 2000 | Knit: Component Composition for Systems Software. Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide |
| 2000 | Latency Management in Storage Systems. Rodney Van Meter, Minxi Gao |
| 2000 | Operating System Management of MEMS-based Storage Devices. John Linwood Griffin, Steven W. Schlosser, Gregory R. Ganger, David Nagle |
| 2000 | Overcast: Reliable Multicasting with an Overlay Network. John Jannotti, David K. Gifford, Kirk L. Johnson, M. Frans Kaashoek, James W. O'Toole Jr. |
| 2000 | Performance-Driven Processor Allocation. Julita Corbalán, Xavier Martorell, Jesús Labarta |
| 2000 | Policies for Dynamic Clock Scheduling. Dirk Grunwald, Philip Alexander Levis, Keith I. Farkas, Charles B. Morrey III, Michael Neufeld |
| 2000 | Proactive Recovery in a Byzantine-Fault-Tolerant System. Miguel Castro, Barbara Liskov |
| 2000 | Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java. Godmar Back, Wilson C. Hsieh, Jay Lepreau |
| 2000 | Scalable, Distributed Data Structures for Internet Service Construction. Steven D. Gribble, Eric A. Brewer, Joseph M. Hellerstein, David E. Culler |
| 2000 | Self-Securing Storage: Protecting Data in Compromised Systems. John D. Strunk, Garth R. Goodson, Michael L. Scheinholtz, Craig A. N. Soules, Gregory R. Ganger |
| 2000 | Surplus Fair Scheduling: A Proportional-Share CPU Scheduling Algorithm for Symmetric Multiprocessors. Abhishek Chandra, Micah Adler, Pawan Goyal, Prashant J. Shenoy |
| 2000 | System Support for Bandwidth Management and Content Adaptation in Internet Applications. David G. Andersen, Deepak Bansal, Dorothy Curtis, Srinivasan Seshan, Hari Balakrishnan |
| 2000 | Taming the Memory Hogs: Using Compiler-Inserted Releases to Manage Physical Memory Intelligently. Angela Demke Brown, Todd C. Mowry |
| 2000 | Towards Higher Disk Head Utilization: Extracting "Free" Bandwidth from Busy Disk Drives. Christopher R. Lumb, Jiri Schindler, Gregory R. Ganger, David Nagle, Erik Riedel |
| 2000 | Trading Capacity for Performance in a Disk Array. Xiang Yu, Benjamin Gum, Yuqun Chen, Randolph Y. Wang, Kai Li, Arvind Krishnamurthy, Thomas E. Anderson |