Check out the new USENIX Web site.

Home About USENIX Events Membership Publications Students

To become a USENIX Member, please see our Membership Information.

4th Symposium on Operating System Design & Implementation
October 23-25, 2000
San Diego, California, USA


Monday, October 23, 2000

Applying Language Technology to Systems
Session Chair: David Culler, University of California at Berkeley

Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions
Dawson Engler, Benjamin Chelf, Andy Chou, and Seth Hallem, Stanford University

Devil: An IDL for Hardware Programming
Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, and Gilles Muller, IRISA/INRIA, Campus de Beaulieu

Taming the Memory Hogs: Using Compiler-Inserted Releases to Manage Physical Memory Intelligently
Angela Demke Brown and Todd C. Mowry, Carnegie Mellon University

Session Chair: Timothy Roscoe, Sprint Labs

Surplus Fair Scheduling: A Proportional-Share CPU Scheduling Algorithm for Symmetric Multiprocessors
Abhishek Chandra and Micah Adler, University of Massachusetts, Amherst; Pawan Goyal, Ensim Corporation; and Prashant Shenoy, University of Massachusetts, Amherst

Performance-Driven Processor Allocation
Julita Corbalán, Xavier Martorell, and Jesús Labarta, Universitat Politècnica de Catalunya

Policies for Dynamic Clock Scheduling
Dirk Grunwald and Philip Levis, University of Colorado; Keith I. Farkas, Compaq Western Research Laboratory; Charles B. Morrey III and Michael Neufeld, University of Colorado

Storage Management
Session Chair: Brian Bershad,

Towards Higher Disk Head Utilization: Extracting "Free" Bandwidth from Busy Disk Drives
Christopher Lumb, Jiri Schindler, Gregory R. Ganger, Carnegie Mellon University; Erik Riedel, Hewlett-Packard Labs; and David F. Nagle, Carnegie Mellon University

Latency Management in Storage Systems
Rodney Van Meter, Quantum Corporation, and Minxi Gao, University of California at Berkeley

A Low-Overhead, High-Performance Unified Buffer Management Scheme That Exploits Sequential and Looping References
Jong Min Kim, Jongmoo Choi, Jesung Kim, Seoul National University; Sam H. Noh, Hong-Ik University; and Sang Lyul Min, Yookun Cho, and Chong Sang Kim, Seoul National University

Tuesday, October 24, 2000

Session Chair: Butler Lampson, Microsoft Corp.

How to Build a Trusted Database System on Untrusted Storage
Umesh Maheshwari, Radek Vingralek, and Bill Shapiro STAR Lab, InterTrust Technologies Corp.

End-to-End Authorization
Jon Howell and David Kotz, Dartmouth College

Self-Securing Storage: Protecting Data in Compromised Systems
John D. Strunk, Garth R. Goodson, Michael L. Scheinholtz, Craig A. N. Soules, and Gregory R. Ganger, Carnegie Mellon University

Fast and Secure Distributed Read-Only File System
Kevin Fu and M. Frans Kaashoek, Massachusetts Institute of Technology; and David Mazières, New York University

Session Chair: Peter Druschel, Rice University

Overcast: Reliable Multicasting with an Overlay Network
John Jannotti, David K. Gifford, Kirk L. Johnson, M. Frans Kaashoek, and James W. O'Toole, Jr., Cisco Systems

System Support for Bandwidth Management and Content Adaptation in Internet Applications
David Andersen, Deepak Bansal, and Dorothy Curtis, Massachusetts Institute of Technology; Srinivasan Seshan, Carnegie Mellon University; and Hari Balakrishnan, Massachusetts Institute of Technology

Storage Devices
Session Chair: John Wilkes, HP Laboratories

Operating System Management of MEMS-based Storage Devices
John Linwood Griffin, Steven W. Schlosser, Gregory R. Ganger, and David F. Nagle, Carnegie Mellon University

Trading Capacity for Performance in a Disk Array
Xiang Yu, Benjamin Gum, Yuqun Chen, Randolph Y. Wang, and Kai Li, Princeton University; Arvind Krishnamurthy, Yale University; and Thomas E. Anderson, University of Washington

Interposed Request Routing for Scalable Network Storage
Darrell Anderson, Jeff Chase, and Amin Vahdat, Duke University

Wednesday, October 25, 2000

Session Chair: David Johnson, Carnegie Mellon University

Proactive Recovery in a Byzantine-Fault-Tolerant System
Miguel Castro and Barbara Liskov, Massachusetts Institute of Technology

Exploring Failure Transparency and the Limits of Generic Recovery
David E. Lowell, Compaq Western Research Laboratory; and Subhachandra Chandra and Peter Chen, University of Michigan

Design and Evaluation of a Continuous Consistency Model for Replicated Services
Haifeng Yu and Amin Vahdat, Duke University

System Architecture
Session Chair: Bill Weihl, Akamai

Scalable, Distributed Data Structures for Internet Service Construction
Steven D. Gribble, Eric A. Brewer, Joseph M. Hellerstein, and David Culler, University of California at Berkeley

Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java
Godmar Back, Wilson H. Hsieh, and Jay Lepreau, University of Utah

Knit: Component Composition for Systems Software
Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, and Eric Eide, University of Utah

?Need help? Use our Contacts page.

Last changed: 16 Jan. 2002 ml
Technical Program
OSDI 2000 Home