4. OSDI 2000: San Diego, California, USA

4th Symposium on Operating System Design and Implementation (OSDI 2000), October 23-25, 2000, San Diego, California, USA. USENIX Association, ISBN 1-880446-16-2

Monday, October 23, 2000

Applying Language Technology to Systems

Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem: Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. 1-16 BibTeX
Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller: Devil: An IDL for Hardware Programming. 17-30 BibTeX
Angela Demke Brown, Todd C. Mowry: Taming the Memory Hogs: Using Compiler-Inserted Releases to Manage Physical Memory Intelligently. 31-44 BibTeX

Scheduling

Abhishek Chandra, Micah Adler, Pawan Goyal, Prashant J. Shenoy: Surplus Fair Scheduling: A Proportional-Share CPU Scheduling Algorithm for Symmetric Multiprocessors. 45-58 BibTeX
Julita Corbalán, Xavier Martorell, Jesús Labarta: Performance-Driven Processor Allocation. 59-73 BibTeX
Dirk Grunwald, Philip Levis, Keith I. Farkas, Charles B. Morrey III, Michael Neufeld: Policies for Dynamic Clock Scheduling. 73-86 BibTeX

Storage Management

Christopher R. Lumb, Jiri Schindler, Gregory R. Ganger, David Nagle, Erik Riedel: Towards Higher Disk Head Utilization: Extracting "Free" Bandwidth from Busy Disk Drives. 87-102 BibTeX
Rodney Van Meter, Minxi Gao: Latency Management in Storage Systems. 103-118 BibTeX
Jong Min Kim, Jongmoo Choi, Jesung Kim, Sam H. Noh, Sang Lyul Min, Yookun Cho, Chong-Sang Kim: A Low-Overhead, High-Performance Unified Buffer Management Scheme That Exploits Sequential and Looping References. 119-134 BibTeX

Tuesday, October 24, 2000

Security

Umesh Maheshwari, Radek Vingralek, William Shapiro: How to Build a Trusted Database System on Untrusted Storage. 135-150 BibTeX
Jon Howell, David Kotz: End-to-End Authorization. 151-164 BibTeX
John D. Strunk, Garth R. Goodson, Michael L. Scheinholtz, Craig A. N. Soules, Gregory R. Ganger: Self-Securing Storage: Protecting Data in Compromised Systems. 165-180 BibTeX
Kevin Fu, M. Frans Kaashoek, David Mazières: Fast and Secure Distributed Read-Only File System. 181-196 BibTeX

Networking

John Jannotti, David K. Gifford, Kirk L. Johnson, M. Frans Kaashoek, James O'Toole Jr.: Overcast: Reliable Multicasting with an Overlay Network. 197-212 BibTeX
David G. Andersen, Deepak Bansal, Dorothy Curtis, Srinivasan Seshan, Hari Balakrishnan: System Support for Bandwidth Management and Content Adaptation in Internet Applications. 213-226 BibTeX

Storage Devices

John Linwood Griffin, Steven W. Schlosser, Gregory R. Ganger, David Nagle: Operating System Management of MEMS-based Storage Devices. 227-242 BibTeX
Xiang Yu, Benjamin Gum, Yuqun Chen, Randolph Y. Wang, Kai Li, Arvind Krishnamurthy, Thomas E. Anderson: Trading Capacity for Performance in a Disk Array. 243-258 BibTeX
Darrell C. Anderson, Jeffrey S. Chase, Amin Vahdat: Interposed Request Routing for Scalable Network Storage. 259-272 BibTeX

Wednesday, October 25, 2000

Reliability

Miguel Castro, Barbara Liskov: Proactive Recovery in a Byzantine-Fault-Tolerant System. 273-288 BibTeX
David E. Lowell, Subhachandra Chandra, Peter M. Chen: Exploring Failure Transparency and the Limits of Generic Recovery. 289-304 BibTeX
Haifeng Yu, Amin Vahdat: Design and Evaluation of a Continuous Consistency Model for Replicated Services. 305-318 BibTeX

System Architecture

Steven D. Gribble, Eric A. Brewer, Joseph M. Hellerstein, David E. Culler: Scalable, Distributed Data Structures for Internet Service Construction. 319-332 BibTeX
Godmar Back, Wilson C. Hsieh, Jay Lepreau: Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java. 333-346 BibTeX
Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide: Knit: Component Composition for Systems Software. 347-360 BibTeX