David E. Culler, Peter Druschel
Proceedings of the Fifth Symposium on Operating Systems Design and Implementation
OSDI, 2002.

@proceedings{OSDI-2002,
	address       = "Boston, Massachusetts, USA",
	editor        = "David E. Culler and Peter Druschel",
	ee            = "https://www.usenix.org/publications/proceedings/?f[0]=im_group_audience%3A190",
	isbn          = "978-1-4503-0111-4",
	publisher     = "{USENIX Association}",
	title         = "{Proceedings of the Fifth Symposium on Operating Systems Design and Implementation}",
	volume        = "Operating Systems Review 36, Special Issue, Winter 2002",
	year          = 2002,
}

Contents (27 items)

8 ×#named
5 ×#network
3 ×#using
2 ×#analysis
2 ×#file system
2 ×#internet
2 ×#migration
2 ×#model checking
2 ×#peer-to-peer
2 ×#resource management

OSDI-2002-AdyaBCCCDHLTW #named #reliability

FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment (AA, WJB, MC, GC, RC, JRD, JH, JRL, MT, RW), pp. 1–14.

OSDI-2002-SaitoKKM #file system #replication

Taming Aggressive Replication in the Pangaea Wide-Area File System (YS, CTK, MK, MM), pp. 15–30.

OSDI-2002-MuthitacharoenMGC #file system #named #peer-to-peer

Ivy: A Read/Write Peer-to-Peer File System (AM, RM, TMG, BC), pp. 31–44.

OSDI-2002-QiePP #programming #tool support #using

Defensive Programming: Using an Annotation Toolkit to Build DoS-Resistant Software (XQ, RP, LLP), pp. 45–60.

OSDI-2002-KumarL #debugging #model checking #using

Using Model Checking to Debug Device Firmware (SK, KL), pp. 61–74.

OSDI-2002-MusuvathiPCED #approach #model checking #named

CMC: A Pragmatic Approach to Model Checking Real Code (MM, DYWP, AC, DRE, DLD), pp. 75–88.

OSDI-2002-NavarroIDC #operating system

Practical, Transparent Operating System Support for Superpages (JN, SI, PD, ALC), pp. 89–104.

OSDI-2002-FlautnerM #automation #linux #named

Vertigo: Automatic Performance-Setting for Linux (KF, TNM), pp. 105–116.

OSDI-2002-WeisselBB #energy #novel #semantics

Cooperative I/O: A Novel I/O Semantics for Energy-Aware Applications (AW, BB, FB), pp. 117–129.

OSDI-2002-MaddenFHH #ad hoc #named #network

TAG: A Tiny AGgregation Service for Ad-Hoc Sensor Networks (SM, MJF, JMH, WH), pp. 131–146.

OSDI-2002-ElsonGE #fine-grained #network #using

Fine-Grained Network Time Synchronization Using Reference Broadcasts (JE, LG, DE), pp. 147–163.

OSDI-2002-GoelAKSW

Supporting Time-Sensitive Applications on a Commodity OS (AG, LA, CK, JS, JW), pp. 165–180.

OSDI-2002-Waldspurger #memory management #resource management

Memory Resource Management in VMware ESX Server (CAW), pp. 181–194.

OSDI-2002-WhitakerSG #kernel #performance

Scale and Performance in the Denali Isolation Kernel (AW, MS, SDG), pp. 195–209.

OSDI-2002-DunlapKCBC #analysis #named

ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay (GWD, STK, SC, MAB, PMC), pp. 211–224.

OSDI-2002-ShenTYC #clustering #internet #resource management

Integrated Resource Management for Cluster-based Internet Services (KS, HT, TY, LC), pp. 225–238.

OSDI-2002-UrgaonkarSR #platform #profiling

Resource Overbooking and Application Profiling in Shared Hosting Platforms (BU, PJS, TR), pp. 239–254.

OSDI-2002-WhiteLSRGNHBJ #distributed #network

An Integrated Experimental Environment for Distributed Systems and Networks (BW, JL, LS, RR, SG, MN, MH, CB, AJ), pp. 255–270.

OSDI-2002-VahdatYWMKCB #network #scalability

Scalability and Accuracy in a Large-Scale Network Emulator (AV, KY, KW, PM, DK, JSC, DB), pp. 271–284.

OSDI-2002-CoxMN #named

Pastiche: Making Backup Cheap and Easy (LPC, CDM, BDN), pp. 285–298.

OSDI-2002-CastroDGRW #network #peer-to-peer

Secure Routing for Structured Peer-to-Peer Overlay Networks (MC, PD, AJG, AITR, DSW), pp. 299–314.

OSDI-2002-SaroiuGDGL #analysis #delivery #internet

An Analysis of Internet Content Delivery Systems (SS, PKG, RJD, SDG, HML), pp. 315–327.

OSDI-2002-VenkataramaniKD

TCP Nice: A Mechanism for Background Transfers (AV, RK, MD), pp. 329–343.

OSDI-2002-WangPP #effectiveness #robust

The Effectiveness of Request Redirection on CDN Robustness (LW, VSP, LLP), pp. 345–360.

OSDI-2002-OsmanSSN #design #implementation #migration

The Design and Implementation of Zap: A System for Migrating Computing Environments (SO, DS, GS, JN), pp. 361–376.

OSDI-2002-SapuntzakisCPCLR #migration #optimisation

Optimizing the Migration of Virtual Computers (CPS, RC, BP, JC, MSL, MR), pp. 377–390.

OSDI-2002-HawblitzelE #flexibility #java #named

Luna: A Flexible Java Protection System (CH, TvE), pp. 391–401.