CSDL - Proceedings H

Jochen Liedtke, In Memoriam (PDF)

pp. x

HotOS-VIII Committtee (PDF)

pp. xii

Digest of Notes (PDF)

pp. xiii

Beyond Address Spaces -Flexibility, Performance, Protection, and Resource Management in the Type-Safe JX Operating System (Abstract)

Core OS: Chair: Peter Druschel

Michael Golm, University of Erlangen-N?rnberg

Jürgen Kleinöder, University of Erlangen-N?rnberg

Frank Bellosa, University of Erlangen-N?rnberg

pp. 0003

PDF

Design Issues in System Support for Programmable Routers (Abstract)

Prashant Pradhan, SUNY Stony Brook

Kartik Gopalan, SUNY Stony Brook

Tzi-cker Chiueh, SUNY Stony Brook

pp. 0009

PDF

Lazy Process Switching (Abstract)

J. Liedtke

H. Wenske

pp. 0015

PDF

Fault Tolerance: Chair: Peter Chen

Robustness in Complex Systems (Abstract)

Steven D. Gribble, The University of Washington

pp. 0021

PDF

Using Abstraction to Improve Fault Tolerance (Abstract)

Miguel Castro, Microsoft Research Ltd.

Rodrigo Rodrigues, MIT Laboratory for Computer Science

Barbara Liskov, MIT Laboratory for Computer Science

pp. 0027

PDF

Fail-Stutter Fault Tolerance (Abstract)

Remzi H. Arpaci-Dusseau, University of Wisconsin, Madison

Andrea C. Arpaci-Dusseau, University of Wisconsin, Madison

pp. 0033

PDF

Frameworks for Mobility: Chair: Marvin Theimer

Reconsidering Internet Mobility (Abstract)

Alex C. Snoeren, MIT Laboratory for Computer Science

Hari Balakrishnan, MIT Laboratory for Computer Science

M. Frans Kaashoek, MIT Laboratory for Computer Science

pp. 0041

PDF

Protium, an Infrastructure for Partitioned Applications (Abstract)

Lakshman Y.N. Cliff Young, Bell Laboratories, Lucent Technologies

pp. 0047

PDF

Modelling and (Self-) Tuning: Chair: Amin Vadhat

Probabilistic Modelling of Replica Divergence (Abstract)

Antony I. T. Rowstron, Microsoft Research Ltd.

Neil Lawrence, Microsoft Research Ltd.

Christopher M. Bishop, Microsoft Research Ltd.

pp. 0055

PDF

Self-Tuned Remote Execution for Pervasive Computing (Abstract)

Jason Flinn, Carnegie Mellon University

Dushyanth Narayanan, Carnegie Mellon University

M. Satyanarayanan, Carnegie Mellon University

pp. 0061

PDF

Energy Is Just Another Resource: Energy Accounting and Energy Pricing in the Nemesis OS (Abstract)

Rolf Neugebauer, University of Glasgow

Derek McAuley, Marconi Laboratory

pp. 0067

PDF

Peer-to-Peer Computing: Chair: Evangelos Markatos

PAST: A Large-Scale, Persistent Peer-to-Peer Storage Utility (Abstract)

Peter Druschel, Rice University

Antony Rowstron, Microsoft Research

pp. 0075

PDF

Building Peer-to-Peer Systems with Chord, a Distributed Lookup Service (Abstract)

Frank Dabek, MIT Laboratory for Computer Science

Emma Brunskill, MIT Laboratory for Computer Science

M. Frans Kaashoek, MIT Laboratory for Computer Science

David Karger, MIT Laboratory for Computer Science

Robert Morris, MIT Laboratory for Computer Science

Ion Stoica, MIT Laboratory for Computer Science

Hari Balakrishnan, MIT Laboratory for Computer Science

pp. 0081

PDF

Herald: Achieving a Global Event Notification Service (Abstract)

Luis Felipe Cabrera, Microsoft Research

Michael B. Jones, Microsoft Research

Marvin Theimer, Microsoft Research

pp. 0087

PDF

New Devices: Chair: Brian Noble

HeRMES: High-Performance Reliable MRAM-Enabled Storage (Abstract)

Ethan L. Miller, University of California, Santa Cruz

Scott A. Brandt, University of California, Santa Cruz

Darrell D.E. Long, University of California, Santa Cruz

pp. 0095

PDF

Better Security via Smarter Devices (Abstract)

Gregory R. Ganger, Carnegie Mellon University

David F. Nagle, Carnegie Mellon University

pp. 0100

PDF

Research Issues in No-Futz Computing (Abstract)

David A. Holland, Harvard University

William Josephson, Harvard University

Kostas Magoutis, Harvard University

Margo I. Seltzer, Harvard University

Christopher A. Stein, Harvard University

Ada Lim, University of New South Wales

pp. 0106

PDF

Security & Fault Tolerance: Chair: John Wilkes

Don't Trust Your File Server (Abstract)

David Mazieres, NYU

Dennis Shasha, NYU

pp. 0113

PDF

Active Protocols for Agile Censor-Resistant Networks (Abstract)

Robert Ricci, University of Utah

Jay Lepreau, University of Utah

pp. 0119

PDF

Recursive Restartability: Turning the Reboot Sledgehammer into a Scalpel (Abstract)

George Candea, Stanford University

Armando Fox, Stanford University

pp. 0125

PDF

Virtualization: Chair: Jochen Liedtke

When Virtual Is Better Than Real (Abstract)

Peter M. Chen, University of Michigan

Brian D. Noble, University of Michigan

pp. 0133

PDF

Virtualization Considered Harmful: OS Design Directions for Well-Conditioned Services (Abstract)

Matt Welsh, University of California, Berkeley

David Culler, University of California, Berkeley

pp. 0139

PDF

Networking and OS: Chair: Jeff Mogul

Systems Directions for Pervasive Computing (Abstract)

Robert Grimm, University of Washington

Janet Davis, University of Washington

Ben Hendrickson, University of Washington

Eric Lemar, University of Washington

Adam MacBeth, University of Washington

Steven Swanson, University of Washington

Tom Anderson, University of Washington

Brian Bershad, University of Washington

Gaetano Borriello, University of Washington

Steven Gribble, University of Washington

David Wetherall, University of Washington

pp. 0147

PDF

The Case for Resilient Overlay Networks (Abstract)

David G. Andersen, MIT Laboratory for Computer Science

Hari Balakrishnan, MIT Laboratory for Computer Science

M. Frans Kaashoek, MIT Laboratory for Computer Science

Robert Morris, MIT Laboratory for Computer Science

pp. 0152

PDF

Position Summaries

Bossa: A DSL Framework for Application-Specific Scheduling Policies (PDF)

pp. 0161

Supporting Coordinated Adaption in Networked Systems (PDF)

pp. 0162

Active Streams-An Approach to Adaptive Distributed Systems (PDF)

C. Pu

pp. 0163

Middleware for Mobile Computing: Awareness vs. Transparency (PDF)

pp. 0164

Energy Management for Server Clusters (PDF)

pp. 0165

Aspect-Oriented System Structure (PDF)

pp. 0166

Architectures for Adaption Systems (PDF)

pp. 0167

Secure OS Extensibility Needn't Cost an Arm and a Leg (PDF)

pp. 0168

Authentication Confidences (PDF)

G.R. Ganger

pp. 0169

Supporting Hot-Swappable Components for System Software (PDF)

K. Hui

pp. 0170

A Backup Appliance Composed of High-Capacity Disk Drives (PDF)

pp. 0171

Towards Zero-Code Service Composition (PDF)

E. Kõcõman

L. Melloul

A. Fox

pp. 0172

Separating Mobility from Mobile Agents (PDF)

pp. 0173

A Streaming Interface for Real-Time Interprocess Communication (Abstract)

pp. 0174

PDF

DiPS: A Unifying Approach for Developing System Software (PDF)

pp. 0175

Toward a Rigorous Data Type Model for HTTP (PDF)

J.C. Mogul

pp. 0176

Smart Messages: A System Architecture for Large Networks of Embedded Systems (PDF)

Hinting for Goodness' Sake (PDF)

pp. 0177

Applying the VVM Kernel to Flexible Web Caches (PDF)

F. Ogel

pp. 0178

Supporting Disconnected Operation in DOORS (PDF)

pp. 0179

The Lana Aproach to Wireless Computing (PDF)

pp. 180

pp. 0181

Transport Layer Support for Highly-Available Network Services (PDF)

pp. 0182

Mansion, A Distributed Multi-Agent System (PDF)

pp. 0183

Towards Global Storage Management and Data Placement (PDF)

pp. 0184

Censorship Resistant Publishing Through Document Entanglements (PDF)

pp. 0185

The Conquest File System's Life after Disks (PDF)

pp. 186

The Importance of Good Plumbing-Reconsidering Infrastructure in Distributed Systems (PDF)

pp. 0187

EOS-The Dawn of the Resource Economy (PDF)

pp. 0188

Anypoint Communication Protocol (PDF)

pp. 0189

Author Index (PDF)

pp. 191