Michael L. Scott, Larry L. Peterson
Proceedings of the 19th ACM Symposium on Operating Systems Principles
SOSP, 2003.

@proceedings{SOSP-2003,
	address       = "Bolton Landing, New York, USA",
	doi           = "10.1145/945445",
	editor        = "Michael L. Scott and Larry L. Peterson",
	isbn          = "1-58113-757-5",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 19th ACM Symposium on Operating Systems Principles}",
	year          = 2003,
}

Contents (22 items)

7 ×#named
2 ×#distributed
2 ×#execution
2 ×#file system
2 ×#internet
2 ×#mobile
2 ×#multi
2 ×#operating system
2 ×#peer-to-peer
2 ×#using

SOSP-2003-PatelWWLS #mobile #protocol #using

Upgrading transport protocols using untrusted mobile code (PP, AW, DW, JL, TS), pp. 1–14.

SOSP-2003-SekarVBBD #approach #execution

Model-carrying code: a practical approach for safe execution of untrusted applications (RS, VNV, SB, SB, DCD), pp. 15–28.

SOSP-2003-GhemawatGL #file system

The Google file system (SG, HG, STL), pp. 29–43.

SOSP-2003-ManiatisRRBGM

Preserving peer replicas by rate-limited sampled voting (PM, DSHR, MR, MB, TJG, YM), pp. 44–59.

SOSP-2003-KaminskySMK #authentication #distributed #file system

Decentralized user authentication in a global file system (MK, GS, DM, MFK), pp. 60–73.

SOSP-2003-AguileraMWRM #black box #debugging #distributed #performance

Performance debugging for distributed systems of black boxes (MKA, JCM, JLW, PR, AM), pp. 74–89.

SOSP-2003-Arpaci-DusseauABDEGNP #kernel #policy

Transforming policies into mechanisms with infokernel (ACAD, RHAD, NCB, TED, TJE, HSG, JAN, FIP), pp. 90–105.

SOSP-2003-MahajanSWA #internet

User-level internet path diagnosis (RM, NTS, DW, TEA), pp. 106–119.

SOSP-2003-CoxN #named #peer-to-peer

Samsara: honor among thieves in peer-to-peer storage (LPC, BDN), pp. 120–132.

SOSP-2003-FuCCSV #architecture #named

SHARP: an architecture for secure resource peering (YF, JSC, BNC, SS, AV), pp. 133–148.

SOSP-2003-YuanN #cpu #energy #mobile #multi #realtime #scheduling

Energy-efficient soft real-time CPU scheduling for mobile multimedia systems (WY, KN), pp. 149–163.

SOSP-2003-BarhamDFHHHN

Xen and the art of virtualization (PB, BD, KF, SH, TLH, AH, RN, IP, AW), pp. 164–177.

SOSP-2003-LieTH #hardware #implementation #operating system

Implementing an untrusted operating system on trusted hardware (DL, CAT, MH), pp. 178–192.

SOSP-2003-GarfinkelPCRB #framework #named #platform #virtual machine

Terra: a virtual machine-based platform for trusted computing (TG, BP, JC, MR, DB), pp. 193–206.

SOSP-2003-SwiftBL #operating system #reliability

Improving the reliability of commodity operating systems (MMS, BNB, HML), pp. 207–222.

SOSP-2003-KingC #backtracking

Backtracking intrusions (STK, PMC), pp. 223–236.

SOSP-2003-EnglerA #detection #effectiveness #named #static analysis

RacerX: effective, static detection of race conditions and deadlocks (DRE, KA), pp. 237–252.

SOSP-2003-YinMVAD #execution #fault tolerance

Separating agreement from execution for byzantine fault tolerant services (JY, JPM, AV, LA, MD), pp. 253–267.

SOSP-2003-BehrenCZNB #internet #named #scalability #thread

Capriccio: scalable threads for internet services (JRvB, JC, FZ, GCN, EAB), pp. 268–281.

SOSP-2003-KosticRAV #named #using

Bullet: high bandwidth data dissemination using an overlay mesh (DK, AR, JRA, AV), pp. 282–297.

SOSP-2003-CastroDKNRS #multi #named

SplitStream: high-bandwidth multicast in cooperative environments (MC, PD, AMK, AN, AITR, AS), pp. 298–313.

SOSP-2003-GummadiDSGLZ #analysis #metric #modelling #peer-to-peer

Measurement, modeling, and analysis of a peer-to-peer file-sharing workload (PKG, RJD, SS, SDG, HML, JZ), pp. 314–329.