Jeanna Neefe Matthews, Thomas E. Anderson
Proceedings of the 22nd ACM Symposium on Operating Systems Principles
SOSP, 2009.

@proceedings{SOSP-2009,
	address       = "Big Sky, Montana, USA",
	doi           = "10.1145/1629575",
	editor        = "Jeanna Neefe Matthews and Thomas E. Anderson",
	isbn          = "978-1-60558-752-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 22nd ACM Symposium on Operating Systems Principles}",
	year          = 2009,
}

Contents (23 items)

9 ×#named
3 ×#distributed
3 ×#fault
3 ×#kernel
3 ×#scalability
2 ×#automation
2 ×#clustering
2 ×#debugging
2 ×#implementation
2 ×#manycore

SOSP-2009-AndersenFKPTV #array #named #performance

FAWN: a fast array of wimpy nodes (DGA, JF, MK, AP, LT, VV), pp. 1–14.

SOSP-2009-DobrescuEACFIKMR #named #parallel

RouteBricks: exploiting parallelism to scale software routers (MD, NE, KJA, BGC, KRF, GI, AK, MM, SR), pp. 15–28.

SOSP-2009-BaumannBDHIPRSS #architecture #kernel #manycore #scalability

The multikernel: a new OS architecture for scalable multicore systems (AB, PB, PÉD, TLH, RI, SP, TR, AS, AS), pp. 29–44.

SOSP-2009-CastroCMPADBB #fault #performance

Fast byte-granularity software fault isolation (MC, MC, JPM, MP, PA, AD, PB, RB), pp. 45–58.

SOSP-2009-KadavRS #hardware

Tolerating hardware device failures in software (AK, MJR, MMS), pp. 59–72.

SOSP-2009-RyzhykCKSH #automation #synthesis

Automatic device driver synthesis with termite (LR, PC, IK, ELS, GH), pp. 73–86.

SOSP-2009-PerkinsKLABCPSSSWZER #automation #fault

Automatically patching errors in deployed software (JHP, SK, SL, SPA, JB, MC, CP, FS, SS, GS, WFW, YZ, MDE, MCR), pp. 87–102.

SOSP-2009-GlerumKGAONGLH #debugging #experience #implementation #scalability

Debugging in the (very) large: ten years of implementation and experience (KG, KK, SG, GA, VO, GN, DG, GL, GCH), pp. 103–116.

SOSP-2009-XuHFPJ #detection #mining #problem #scalability

Detecting large-scale system problems by mining console logs (WX, LH, AF, DAP, MIJ), pp. 117–132.

SOSP-2009-ConditNFILBC #memory management #persistent

Better I/O through byte-addressable, persistent memory (JC, EBN, CF, EI, BCL, DB, DC), pp. 133–146.

SOSP-2009-MammarellaHK #composition

Modular data storage with Anvil (MM, SH, EK), pp. 147–160.

SOSP-2009-PorterHRBW #operating system #transaction

Operating systems transactions (DEP, OSH, CJR, AB, EW), pp. 161–176.

SOSP-2009-ParkZXYKLL #execution #multi #named #probability #sketching

PRES: probabilistic replay with execution sketching on multiprocessors (SP, YZ, WX, ZY, RK, KHL, SL), pp. 177–192.

SOSP-2009-AltekarS #debugging #manycore #named

ODR: output-deterministic replay for multicore debugging (GA, IS), pp. 193–206.

SOSP-2009-KleinEHACDEEKNSTW #kernel #named #verification

seL4: formal verification of an OS kernel (GK, KE, GH, JA, DC, PD, DE, KE, RK, MN, TS, HT, SW), pp. 207–220.

SOSP-2009-NightingaleHMHH #kernel #multi #named

Helios: heterogeneous multiprocessing with satellite kernels (EBN, OH, RM, CH, GCH), pp. 221–234.

SOSP-2009-ChenGKLR #fault #network

Surviving sensor network software faults (YC, OG, MAK, PL, JR), pp. 235–246.

SOSP-2009-YuGI #distributed #implementation #interface

Distributed aggregation for data-parallel computing: interfaces and implementations (YY, PKG, MI), pp. 247–260.

SOSP-2009-IsardPCWTG #clustering #distributed #named #scheduling

Quincy: fair scheduling for distributed computing clusters (MI, VP, JC, UW, KT, AG), pp. 261–276.

SOSP-2009-ClementKLWADR #clustering

Upright cluster services (AC, MK, SL, YW, LA, MD, TR), pp. 277–290.

SOSP-2009-YipWZK #data flow #security

Improving application security with data flow assertions (AY, XW, NZ, MFK), pp. 291–304.

SOSP-2009-DunaganZS #combinator #graph #named #optimisation #using

Heat-ray: combating identity snowball attacks using machinelearning, combinatorial optimization and attack graphs (JD, AXZ, DRS), pp. 305–320.

SOSP-2009-LiuGVQWM #distributed #framework #named #platform

Fabric: a platform for secure distributed computation and storage (JL, MDG, KV, XQ, LW, ACM), pp. 321–334.