Ted Wobber, Peter Druschel
Proceedings of the 23rd ACM Symposium on Operating Systems Principles
SOSP, 2011.

@proceedings{SOSP-2011,
	address       = "Cascais, Portugal",
	doi           = "10.1145/2043556",
	editor        = "Ted Wobber and Peter Druschel",
	isbn          = "978-1-4503-0977-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 23rd ACM Symposium on Operating Systems Principles}",
	year          = 2011,
}

Contents (28 items)

9 ×#named
4 ×#multi
3 ×#consistency
3 ×#detection
3 ×#performance
2 ×#architecture
2 ×#distributed
2 ×#fault
2 ×#network
2 ×#scalability

SOSP-2011-LimFAK #named

SILT: a memory-efficient, high-performance key-value store (HL, BF, DGA, MK), pp. 1–13.

SOSP-2011-GlendenningBKA #consistency #scalability

Scalable consistency in Scatter (LG, IB, AK, TEA), pp. 15–28.

SOSP-2011-OngaroRSOR #performance

Fast crash recovery in RAMCloud (DO, SMR, RS, JKO, MR), pp. 29–41.

SOSP-2011-ChenSGK #analysis #design #enterprise #multi

Design implications for enterprise storage systems via multi-dimensional trace analysis (YC, KS, GRG, RHK), pp. 43–56.

SOSP-2011-MesnierCLA

Differentiated storage services (MPM, FC, TL, JBA), pp. 57–70.

SOSP-2011-HarterDVAA #behaviour #comprehension

A file is not a file: understanding the I/O behavior of Apple desktop applications (TH, CD, MV, ACAD, RHAD), pp. 71–83.

SOSP-2011-PopaRZB #named #query

CryptDB: protecting confidentiality with encrypted query processing (RAP, CMSR, NZ, HB), pp. 85–100.

SOSP-2011-ChandraKSNZ #web

Intrusion recovery for database-backed web applications (RC, TK, MS, NN, NZ), pp. 101–114.

SOSP-2011-MaoCZWZK #api #fault #multi

Software fault isolation with API integrity and multi-principal modules (YM, HC, DZ, XW, NZ, MFK), pp. 115–128.

SOSP-2011-AdyaCMP #named

Thialfi: a client notification service for internet-scale applications (AA, GC, DM, MP), pp. 129–142.

SOSP-2011-CalderWONSMXSWSHUKEBMAAHHBDAMSMR #consistency

Windows Azure Storage: a highly available cloud storage service with strong consistency (BC, JW, AO, NN, AS, SM, YX, SS, JW, HS, JH, CU, HK, AE, VB, SM, RA, AA, MFuH, MIuH, DB, SD, AA, MM, SS, KM, LR), pp. 143–157.

SOSP-2011-YinMZZBP #empirical #fault #open source

An empirical study on configuration errors in commercial and open source systems (ZY, XM, JZ, YZ, LNB, SP), pp. 159–172.

SOSP-2011-AndrusDHLN #architecture #mobile #named #smarttech

Cells: a virtual mobile smartphone architecture (JA, CD, AVH, OL, JN), pp. 173–187.

SOSP-2011-ColpNZACDLW #security

Breaking up is hard to do: security and functionality in a commodity hypervisor (PC, MN, JZ, WA, GC, TD, PL, AW), pp. 189–202.

SOSP-2011-ZhangCCZ #multitenancy #named #virtual machine

CloudVisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization (FZ, JC, HC, BZ), pp. 203–216.

SOSP-2011-MickensD #execution #named #robust #web

Atlantis: robust, extensible execution environments for web applications (JWM, MD), pp. 217–231.

SOSP-2011-RossbachCSRW #abstraction #named #operating system

PTask: operating system abstractions to manage GPUs as compute devices (CJR, JC, MS, BR, EW), pp. 233–248.

SOSP-2011-SirerBRSWWS #architecture #logic

Logical attestation: an authorization architecture for trustworthy computing (EGS, WdB, PR, AS, KW, DW, FBS), pp. 249–264.

SOSP-2011-GuoWZHYZ #interface #model checking #reduction

Practical software model checking via dynamic interface reduction (HG, MW, LZ, GH, JY, LZ), pp. 265–278.

SOSP-2011-LenersWHAW #detection #distributed #network

Detecting failures in distributed systems with the Falcon spy network (JBL, HW, WLH, MKA, MW), pp. 279–294.

SOSP-2011-ZhouFNHLS #network

Secure network provenance (WZ, QF, AN, AH, BTL, MS), pp. 295–310.

SOSP-2011-ErlingssonPPB #clustering #distributed #kernel #named

Fay: extensible distributed tracing from kernels to clusters (ÚE, MP, SP, MB), pp. 311–326.

SOSP-2011-LiuCB #multi #named #performance #thread

Dthreads: efficient deterministic multithreading (TL, CC, EDB), pp. 327–336.

SOSP-2011-CuiWGGY #multi #performance #thread

Efficient deterministic multithreading through schedule relaxation (HC, JW, JG, HG, JY), pp. 337–351.

SOSP-2011-LaadanVTBYN #detection #pervasive #process

Pervasive detection of process races in deployed systems (OL, NV, CcT, CB, JY, JN), pp. 353–367.

SOSP-2011-VeeraraghavanCFN #detection #using

Detecting and surviving data races using complementary schedules (KV, PMC, JF, SN), pp. 369–384.

SOSP-2011-SovranPAL #transaction

Transactional storage for geo-replicated systems (YS, RP, MKA, JL), pp. 385–400.

SOSP-2011-LloydFKA #consistency #scalability

Don’t settle for eventual: scalable causal consistency for wide-area storage with COPS (WL, MJF, MK, DGA), pp. 401–416.