Andrew Herbert, Kenneth P. Birman
Proceedings of the 20th ACM Symposium on Operating Systems Principles
SOSP, 2005.

@proceedings{SOSP-2005,
	address       = "Brighton, United Kingdom",
	doi           = "10.1145/1095810",
	editor        = "Andrew Herbert and Kenneth P. Birman",
	isbn          = "1-59593-079-5",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 20th ACM Symposium on Operating Systems Principles}",
	year          = 2005,
}

Contents (21 items)

9 ×#named
2 ×#detection
2 ×#execution
2 ×#fault tolerance
2 ×#file system
2 ×#performance
2 ×#using

SOSP-2005-Tanenbaum #speech

Keynote speech (AST).

SOSP-2005-SeshadriLSPDK #execution #legacy #named #verification

Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems (AS, ML, ES, AP, LvD, PKK), pp. 1–16.

SOSP-2005-EfstathopoulosKVFZKMKM #operating system #process

Labels and event processes in the Asbestos operating system (PE, MNK, SV, CF, DZ, EK, DM, MFK, RM), pp. 17–30.

SOSP-2005-WitchelRA #linux #memory management #named #using

Mondrix: memory isolation for linux using mondriaan memory protection (EW, JR, KA), pp. 31–44.

SOSP-2005-AiyerACDMP #fault tolerance

BAR fault tolerance for cooperative services (ASA, LA, AC, MD, JPM, CP), pp. 45–58.

SOSP-2005-Abd-El-MalekGGRW #fault tolerance

Fault-scalable Byzantine fault-tolerant services (MAEM, GRG, GRG, MKR, JJW), pp. 59–74.

SOSP-2005-LooCHMRS #declarative #implementation

Implementing declarative overlays (BTL, TC, JMH, PM, TR, IS), pp. 75–90.

SOSP-2005-JoshiKDC #detection

Detecting past and present intrusions through vulnerability-specific predicates (AJ, STK, GWD, PMC), pp. 91–104.

SOSP-2005-CohenZGSKF #clustering

Capturing, indexing, clustering, and retrieving system history (IC, SZ, MG, JS, TK, AF), pp. 105–118.

SOSP-2005-SoulesG #named #using

Connections: using context to enhance file search (CANS, GRG), pp. 119–132.

SOSP-2005-CostaCCRZZB #internet #named

Vigilante: end-to-end containment of internet worms (MC, JC, MC, AITR, LZ, LZ, PB), pp. 133–147.

SOSP-2005-VrableMCMVSVS #scalability

Scalability, fidelity, and containment in the potemkin virtual honeyfarm (MV, JM, JC, DM, EV, ACS, GMV, SS), pp. 148–162.

SOSP-2005-GoelPFLL

The taser intrusion recovery system (AG, KP, KF, ZL, EdL), pp. 163–176.

SOSP-2005-ZhuCTZKW #array #named

Hibernator: helping disk arrays sleep through the winter (QZ, ZC, LT, YZ, KK, JW), pp. 177–190.

SOSP-2005-NightingaleCF #distributed #execution #file system

Speculative execution in a distributed file system (EBN, PMC, JF), pp. 191–205.

SOSP-2005-PrabhakaranBAGAA #file system

IRON file systems (VP, LNB, NA, HSG, ACAD, RHAD), pp. 206–220.

SOSP-2005-YuRC #adaptation #detection #named #performance

RaceTrack: efficient detection of data race conditions via adaptive tracking (YY, TR, WC), pp. 221–234.

SOSP-2005-QinTSZ #debugging #named

Rx: treating bugs as allergies — a safe method to survive software failures (FQ, JT, JS, YZ), pp. 235–248.

SOSP-2005-EggertT #scheduling

Idletime scheduling with preemption intervals (LE, JDT), pp. 249–262.

SOSP-2005-HuangHS #energy #named #performance #replication

FS2: dynamic data replication in free disk space for improving disk performance and energy consumption (HH, WH, KGS), pp. 263–276.

SOSP-2005-BarattoKN #architecture #named

THINC: a virtual display architecture for thin-client computing (RAB, LNK, JN), pp. 277–290.