Proceedings of the 23rd 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

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

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

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

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.