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

@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)

12 ×#named
3 ×#kernel
3 ×#transaction
2 ×#distributed
2 ×#graph
2 ×#latency
2 ×#manycore
2 ×#runtime
2 ×#scalability
2 ×#streaming

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.