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.

Robustness 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

Kernels 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

Panel 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 osdi02wips@usenix.org. 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

Migration 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.