Check out the new USENIX Web site.
OSDI '02: Fifth Symposium on Operating Systems Design and Implementation OSDI '02: Fifth Symposium on Operating Systems Design and Implementation
OSDI '02: Fifth Symposium on Operating Systems Design and Implementation
At a Glance  | Register/Hotel  | OSDI Tech Sessions  | WIESS Tech Sessions  | Organizers  | Activities
Technical Sessions

Monday, December 9, 2002
8:45 am—9:00 am
Opening Remarks and Awards
David Culler, University of California, Berkeley; and Peter Druschel, Rice University
9:00 a.m.—10:30 a.m.
Decentralized Storage Systems
Session Chair: Greg Ganger, Carnegie Mellon University

FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment
Atul Adya, William J. Bolosky, Miguel Castro, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon Howell, Jacob R. Lorch, Marvin Theimer, and Roger P. Wattenhofer, Microsoft Research

Taming Aggressive Replication in the Pangaea Wide-Area File System
Yasushi Saito, Christos Karamanolis, Magnus Karlsson, and Mallik Mahalingam, HP Labs

Ivy: A Read/Write Peer-to-Peer File System
Athicha Muthitacharoen, Robert Morris, Thomer M. Gil, and Benjie Chen, Massachusetts Institute of Technology

10:30 am—11:00 am   Break
11:00 a.m.—12:30 p.m.
Session Chair: Miguel Castro, Microsoft Research

Defensive Programming: Using an Annotation Toolkit to Build DoS-Resistant Software
Xiaohu Qie, Ruoming Pang, and Larry Peterson, Princeton University

Using Model Checking to Debug Device Firmware
Sanjeev Kumar and Kai Li, Princeton University

CMC: A Pragmatic Approach to Model Checking Real Code
Madanlal Musuvathi, David Y.W. Park, Andy Chou, Dawson R. Engler, and David L. Dill, Stanford University

12:30 pm—2:00 pm   Symposium Luncheon
2:00 pm—3:30 pm
Session Chair: Carla Ellis, Duke University

Practical, Transparent Operating System Support for Superpages
Juan Navarro, Rice University and Universidad Católica de Chile; Sitaram Iyer, Peter Druschel, and Alan Cox, Rice University

Vertigo: Automatic Performance-Setting for Linux
Krisztián Flautner, ARM Limited; Trevor Mudge, University of Michigan

Cooperative I/O: A Novel I/O Semantics for Energy-Aware Applications
Andreas Weissel, Bjórn Beutel, and Frank Bellosa, University of Erlangen

3:30 pm—4:00 pm   Break
4:00 pm—5:30 pm
Physical Interface
Session Chair: Jay Lepreau, University of Utah

TAG: A Tiny AGgregation Service for Ad-Hoc Sensor Networks
Samuel Madden, Michael J. Franklin, and Joseph M. Hellerstein, University of California, Berkeley; Wei Hong, Intel Research, Berkeley

Fine-Grained Network Time Synchronization Using Reference Broadcasts
Jeremy Elson, Lewis Girod, and Deborah Estrin, University of California, Los Angeles

Supporting Time-Sensitive Applications on a Commodity OS
Ashvin Goel, Luca Abeni, Charles Krasic, Jim Snow, and Jonathan Walpole, Oregon Graduate Institute

8:00 pm—9:30 pm
Organizers: David Culler, University of California, Berkeley; Peter Druschel, Rice University; Deborah Estrin, University of California, Los Angeles/ISI
Tuesday, December 10, 2002
9:00 am—10:30 am
Virtual Machines
Session Chair: Dawson Engler, Stanford University

Memory Resource Management in VMware ESX Server
Carl A. Waldspurger, VMware Inc.

Scale and Performance in the Denali Isolation Kernel
Andrew Whitaker, Marianne Shaw, and Steven D. Gribble, University of Washington

ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay
George W. Dunlap, Samuel T. King, Sukru Cinar, Murtaza A. Basrai, and Peter M. Chen, University of Michigan

10:30 am—11:00 am   Break
11:00 am—12:30 pm
Cluster Resource Management
Session Chair: Eric Brewer, University of California, Berkeley

Integrated Resource Management for Cluster-based Internet Services
Kai Shen, University of Rochester; Hong Tang, University of California, Santa Barbara; Tao Yang, University of California, Santa Barbara, and Ask Jeeves, Inc.; Lingkun Chu, University of California, Santa Barbara

Resource Overbooking and Application Profiling in Shared Hosting Platforms
Bhuvan Urgaonkar and Prashant Shenoy, University of Massachusetts; Timothy Roscoe, Intel Research, Berkeley

An Integrated Experimental Environment for Distributed Systems and Networks
Brian White, Jay Lepreau, Leigh Stoller, Robert Ricci, Shashi Guruprasad, Mac Newbold, Mike Hibler, Chad Barb, and Abhijeet Joglekar, University of Utah

12:30 pm—2:00 pm   Lunch (on your own)
2:00 pm—3:30 pm
Peer-to-Peer Infrastructure
Session Chair: Robert Morris, Massachusetts Institute of Technology

Scalability and Accuracy in a Large-Scale Network Emulator
Amin Vahdat, Ken Yocum, Kevin Walsh, Priya Mahadevan, Dejan Kostic, Jeff Chase, and David Becker, Duke University

Pastiche: Making Backup Cheap and Easy
Landon P. Cox, Christopher D. Murray, and Brian D. Noble, University of Michigan

Secure Routing for Structured Peer-to-Peer Overlay Networks
Miguel Castro, Microsoft Research; Peter Druschel, Rice University; Ayalvadi Ganesh and Antony Rowstron, Microsoft Research; Dan S. Wallach, Rice University

3:30 pm—4:00 pm   Break
4:00 pm—6:00 pm
Work-in-Progress Reports
Session Chair: Chandu Thekkath, Microsoft Research

Work-in-Progress Schedule

Short, pithy, and fun, Work-in-Progress Reports introduce interesting new or ongoing work, and the USENIX audience provides valuable discussion and feedback.

If you have work you would like to share or a cool idea that's not quite ready for publication, send a one- or two-paragraph summary to We are particularly interested in presenting students' work. A schedule of presentations will be posted at the conference, and the speakers will be notified in advance. Work-in-Progress reports are five-minute presentations; the time limit will be strictly enforced.

Work-in-Progress Reports submissions deadline: Monday, Dec 2nd, 12 Noon PST.

6:00 pm—7:30 pm   Symposium Reception
Wednesday, December 11, 2002
9:00 am—10:30 am
Network Behavior
Session Chair: David Wetherall, University of Washington

An Analysis of Internet Content Delivery Systems
Stefan Saroiu, Krishna P. Gummadi, Richard J. Dunn, Steven D. Gribble, and Henry M. Levy, University of Washington

TCP Nice: A Mechanism for Background Transfers
Arun Venkataramani, Ravi Kokku, and Mike Dahlin, University of Texas at Austin

The Effectiveness of Request Redirection on CDN Robustness
Limin Wang, Vivek Pai, and Larry Peterson, Princeton University

10:30 am—11:00 am   Break
11:00 am—12:30 pm
Session Chair: Timothy Roscoe, Intel Research, Berkeley

The Design and Implementation of Zap: A System for Migrating Computing Environments
Steven Osman, Dinesh Subhraveti, Gong Su, and Jason Nieh, Columbia University

Optimizing the Migration of Virtual Computers
Constantine P. Sapuntzakis, Ramesh Chandra, Ben Pfaff, Jim Chow, Monica S. Lam, and Mendel Rosenblum, Stanford University

Luna: A Flexible Java Protection System
Chris Hawblitzel, Dartmouth College; Thorsten von Eicken, Expertcity, Inc.

?Need help? Use our Contacts page.

Last changed: 9 Dec. 2002 jr
OSDI '02 Home
Events calendar