Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Michael Kaminsky, Mike Dahlin
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles
SOSP, 2013.

SYS
DBLP
Scholar
Full names Links ISxN
@proceedings{SOSP-2013,
	acmid         = "2517349",
	address       = "Farmington, Pennsylvania, USA",
	editor        = "Michael Kaminsky and Mike Dahlin",
	isbn          = "978-1-4503-2388-8",
	publisher     = "{ACM}",
	title         = "{Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles}",
	year          = 2013,
}

Contents (30 items)

SOSP-2013-ClementsKZMK #commutative #design #manycore #scalability
The scalable commutativity rule: designing scalable software for multicore processors (ATC, MFK, NZ, RTM, EK), pp. 1–17.
SOSP-2013-TuZKLM #database #in memory #manycore #transaction
Speedy transactions in multicore in-memory databases (ST, WZ, EK, BL, SM), pp. 18–32.
SOSP-2013-DavidGT #afraid to ask
Everything you always wanted to know about synchronization but were afraid to ask (TD, RG, VT), pp. 33–48.
SOSP-2013-RossbachYCMF #compilation #named #runtime
Dandelion: a compiler and runtime for heterogeneous systems (CJR, YY, JC, JPM, DF), pp. 49–68.
SOSP-2013-OusterhoutWZS #distributed #latency #named #scheduling
Sparrow: distributed, low latency scheduling (KO, PW, MZ, IS), pp. 69–84.
SOSP-2013-RavindranathPMB #mobile #named
Timecard: controlling user-perceived delays in server-based mobile applications (LR, JP, RM, HB), pp. 85–100.
SOSP-2013-KediaB #kernel #performance
Fast dynamic binary translation for the kernel (PK, SB), pp. 101–115.
SOSP-2013-NikolaevB #kernel #named #operating system
VirtuOS: an operating system with kernel virtualization (RN, GB), pp. 116–132.
SOSP-2013-ElphinstoneH #kernel #question #what
From L3 to seL4 what have we learnt in 20 years of L4 microkernels? (KE, GH), pp. 133–150.
SOSP-2013-MashtizadehBHM #file system #replication
Replication, history, and grafting in the Ori file system (AJM, AB, YFH, DM), pp. 151–166.
SOSP-2013-HuangBRLKL #analysis #facebook
An analysis of Facebook photo caching (QH, KB, RvR, WL, SK, HCL), pp. 167–181.
SOSP-2013-ThereskaBOKRTBZ #architecture #named
IOFlow: a software-defined storage architecture (ET, HB, GO, TK, AITR, TT, RB, TZ), pp. 182–196.
SOSP-2013-CoburnBSGS #transaction
From ARIES to MARS: transaction support for next-generation, solid-state drives (JC, TB, MS, RG, SS), pp. 197–212.
SOSP-2013-ChandraKZ #web #web service
Asynchronous intrusion recovery for interconnected web services (RC, TK, NZ), pp. 213–227.
SOSP-2013-ChidambaramPAA #consistency
Optimistic crash consistency (VC, TSP, ACAD, RHAD), pp. 228–243.
SOSP-2013-XuZHZSYZP
Do not blame users for misconfigurations (TX, JZ, PH, JZ, TS, DY, YZ, SP), pp. 244–259.
SOSP-2013-WangZKS #behaviour #towards
Towards optimization-safe systems: analyzing the impact of undefined behavior (XW, NZ, MFK, ASL), pp. 260–275.
SOSP-2013-ZhangPZSAL #latency #transaction
Transaction chains: achieving serializability with low latency in geo-distributed storage systems (YZ, RP, SZ, YS, MKA, JL), pp. 276–291.
SOSP-2013-WuBPKM #effectiveness #multi #named
SPANStore: cost-effective geo-replicated storage spanning multiple cloud services (ZW, MB, DP, EKB, HVM), pp. 292–308.
SOSP-2013-TerryPKBAA
Consistency-based service level agreements for cloud storage (DBT, VP, RK, MB, MKA, HAL), pp. 309–324.
SOSP-2013-BalakrishnanMWWPWDRZZ #data type #distributed #named
Tango: distributed data structures over a shared log (MB, DM, TW, MW, VP, MW, JDD, SR, TZ, AZ), pp. 325–340.
SOSP-2013-BraunFRSBW #verification
Verifying computations with state (BB, AJF, ZR, STVS, AJB, MW), pp. 341–357.
SOSP-2013-MoraruAK
There is more consensus in Egalitarian parliaments (IM, DGA, MK), pp. 358–372.
SOSP-2013-WeissHAA #game studies #named #parallel #thread
ROOT: replaying multithreaded traces with resource-oriented ordering (ZW, TH, ACAD, RHAD), pp. 373–387.
SOSP-2013-CuiSLLBXYGB #named #reliability #runtime #thread
Parrot: a practical runtime for deterministic, stable, and reliable threads (HC, JS, YHL, HL, BB, XX, JY, GAG, REB), pp. 388–405.
SOSP-2013-KasikciZC #concurrent #crowdsourcing #detection #named
RaceMob: crowdsourced data race detection (BK, CZ, GC), pp. 406–422.
SOSP-2013-ZahariaDLHSS #fault tolerance #scalability #streaming
Discretized streams: fault-tolerant streaming computation at scale (MZ, TD, HL, TH, SS, IS), pp. 423–438.
SOSP-2013-MurrayMIIBA #data flow #named
Naiad: a timely dataflow system (DGM, FM, RI, MI, PB, MA), pp. 439–455.
SOSP-2013-NguyenLP #framework #graph #lightweight
A lightweight infrastructure for graph analytics (DN, AL, KP), pp. 456–471.
SOSP-2013-RoyMZ #graph #named #streaming #using
X-Stream: edge-centric graph processing using streaming partitions (AR, IM, WZ), pp. 472–488.

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.