5. OSDI 2002: Boston, Massachusetts, USA

Decentralized Storage Systems

• Atul Adya, William J. Bolosky, Miguel Castro, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon Howell, Jacob R. Lorch, Marvin Theimer, Roger Wattenhofer:
  FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment.
  
• Yasushi Saito, Christos T. Karamanolis, Magnus Karlsson, Mallik Mahalingam:
  Taming Aggressive Replication in the Pangaea Wide-Area File System.
  
• Athicha Muthitacharoen, Robert Morris, Thomer M. Gil, Benjie Chen:
  Ivy: A Read/Write Peer-to-Peer File System.
  

Robustness

• Xiaohu Qie, Ruoming Pang, Larry L. Peterson:
  Defensive Programming: Using an Annotation Toolkit to Build DoS-Resistant Software.
  
• Sanjeev Kumar, Kai Li:
  Using Model Checking to Debug Device Firmware.
  
• Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill:
  CMC: A Pragmatic Approach to Model Checking Real Code.
  

Kernels

• Juan Navarro, Sitaram Iyer, Peter Druschel, Alan L. Cox:
  Practical, Transparent Operating System Support for Superpages.
  
• Krisztián Flautner, Trevor N. Mudge:
  Vertigo: Automatic Performance-Setting for Linux.
  
• Andreas Weissel, Bjórn Beutel, Frank Bellosa:
  Cooperative I/O: A Novel I/O Semantics for Energy-Aware Applications.
  

Physical Interface

• Samuel Madden, Michael J. Franklin, Joseph M. Hellerstein, Wei Hong:
  TAG: A Tiny AGgregation Service for Ad-Hoc Sensor Networks.
  
• Jeremy Elson, Lewis Girod, Deborah Estrin:
  Fine-Grained Network Time Synchronization Using Reference Broadcasts.
  
• Ashvin Goel, Luca Abeni, Charles Krasic, Jim Snow, Jonathan Walpole:
  Supporting Time-Sensitive Applications on a Commodity OS.
  

Virtual Machines

• Carl A. Waldspurger:
  Memory Resource Management in VMware ESX Server.
  
• Andrew Whitaker, Marianne Shaw, Steven D. Gribble:
  Scale and Performance in the Denali Isolation Kernel.
  
• George W. Dunlap, Samuel T. King, Sukru Cinar, Murtaza A. Basrai, Peter M. Chen:
  ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay.
  

Cluster Resource Management

• Kai Shen, Hong Tang, Tao Yang, Lingkun Chu:
  Integrated Resource Management for Cluster-based Internet Services.
  
• Bhuvan Urgaonkar, Prashant J. Shenoy, Timothy Roscoe:
  Resource Overbooking and Application Profiling in Shared Hosting Platforms.
  
• Brian White, Jay Lepreau, Leigh Stoller, Robert Ricci, Shashi Guruprasad, Mac Newbold, Mike Hibler, Chad Barb, Abhijeet Joglekar:
  An Integrated Experimental Environment for Distributed Systems and Networks.
  

Peer-to-Peer Infrastructure

• Amin Vahdat, Ken Yocum, Kevin Walsh, Priya Mahadevan, Dejan Kostic, Jeffrey S. Chase, David Becker:
  Scalability and Accuracy in a Large-Scale Network Emulator.
  
• Landon P. Cox, Christopher D. Murray, Brian D. Noble:
  Pastiche: Making Backup Cheap and Easy.
  
• Miguel Castro, Peter Druschel, Ayalvadi J. Ganesh, Antony I. T. Rowstron, Dan S. Wallach:
  Secure Routing for Structured Peer-to-Peer Overlay Networks.
  

Work-in-Progress Reports

Network Behavior

• Stefan Saroiu, P. Krishna Gummadi, Richard J. Dunn, Steven D. Gribble, Henry M. Levy:
  An Analysis of Internet Content Delivery Systems.
  
• Arun Venkataramani, Ravi Kokku, Michael Dahlin:
  TCP Nice: A Mechanism for Background Transfers.
  
• Limin Wang, Vivek S. Pai, Larry L. Peterson:
  The Effectiveness of Request Redirection on CDN Robustness.
  

Migration

• Steven Osman, Dinesh Subhraveti, Gong Su, Jason Nieh:
  The Design and Implementation of Zap: A System for Migrating Computing Environments.
  
• Constantine P. Sapuntzakis, Ramesh Chandra, Ben Pfaff, Jim Chow, Monica S. Lam, Mendel Rosenblum:
  Optimizing the Migration of Virtual Computers.
  
• Chris Hawblitzel, Thorsten von Eicken:
  Luna: A Flexible Java Protection System.