Proceedings of the 20th ACM Symposium on Operating Systems Principles
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

Full names Links ISxN
	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)

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.