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
REFEREED PAPERS
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
Scheduling
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, Appliant.com
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
Security
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
Networking
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
Reliability
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