Ethan L. Miller, Steven Hand
Proceedings of the 25th Symposium on Operating Systems Principles
SOSP, 2015.

@proceedings{SOSP-2015,
	acmid         = "2815400",
	address       = "Monterey, California, USA",
	editor        = "Ethan L. Miller and Steven Hand",
	isbn          = "978-1-4503-3834-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 25th Symposium on Operating Systems Principles}",
	year          = 2015,
}

Contents (30 items)

10 ×#named
4 ×#distributed
4 ×#file system
4 ×#scalability
3 ×#consistency
3 ×#transaction
3 ×#using
2 ×#concurrent
2 ×#facebook
2 ×#graph

SOSP-2015-HawblitzelHKLPR #distributed #named #proving

IronFleet: proving practical distributed systems correct (CH, JH, MK, JRL, BP, MLR, STVS, BZ), pp. 1–17.

SOSP-2015-ChenZCCKZ #file system #hoare #logic #using

Using Crash Hoare logic for certifying the FSCQ file system (HC, DZ, TC, AC, MFK, NZ), pp. 18–37.

SOSP-2015-RidgeSTGMS #file system #named #specification #testing

SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems (TR, DS, TT, AG, AM, PS), pp. 38–53.

SOSP-2015-DragojevicNNRSB #consistency #distributed #performance #transaction

No compromises: distributed transactions with consistency, availability, and performance (AD, DN, EBN, MR, AS, AB, MC), pp. 54–70.

SOSP-2015-LeePKMO #implementation #latency #scalability

Implementing linearizability at large scale and low latency (CL, SJP, AK, SM, JKO), pp. 71–86.

SOSP-2015-WeiSCCC #in memory #performance #transaction #using

Fast in-memory transaction processing using RDMA and HTM (XW, JS, YC, RC, HC), pp. 87–104.

SOSP-2015-CuiGLCY

Paxos made transparent (HC, RG, CL, TC, JY), pp. 105–120.

SOSP-2015-PalkarLHJPRRS #framework #named

E2: a framework for NFV applications (SP, CL, SH, KJ, AP, SR, LR, SS), pp. 121–136.

SOSP-2015-HooffLZZ #analysis #named #scalability

Vuvuzela: scalable private messaging resistant to traffic analysis (JvdH, DL, MZ, NZ), pp. 137–152.

SOSP-2015-RaychevMM #execution #symbolic computation #using

Parallelizing user-defined aggregations using symbolic execution (VR, MM, TM), pp. 153–167.

SOSP-2015-MatveevSFM #concurrent #lightweight #named #programming

Read-log-update: a lightweight synchronization mechanism for concurrent programming (AM, NS, PF, PM), pp. 168–183.

SOSP-2015-CurtsingerB #named #profiling

Coz: finding code that counts with causal profiling (CC, EDB), pp. 184–197.

SOSP-2015-Hoffmann #approximate #energy #named

JouleGuard: energy guarantees for approximate applications (HH), pp. 198–214.

SOSP-2015-BadamCDFHHMMPS

Software defined batteries (AB, RC, JD, AF, SH, PH, JM, TM, BP, EDS), pp. 215–229.

SOSP-2015-LentzLB #power management

Drowsy power management (ML, JL, BB), pp. 230–244.

SOSP-2015-AguileraLW #named #scalability #sql #web

Yesquel: scalable sql storage for web applications (MKA, JBL, MW), pp. 245–262.

SOSP-2015-ZhangSSKP #consistency #replication #transaction

Building consistent transactions with inconsistent replication (IZ, NKS, AS, AK, DRKP), pp. 263–278.

SOSP-2015-XieSLAK0 #composition #concurrent

High-performance ACID via modular concurrency control (CX, CS, CL, LA, MK, YW), pp. 279–294.

SOSP-2015-LuVAHSTKL #comprehension #consistency #facebook

Existential consistency: measuring and understanding consistency at Facebook (HL, KV, PA, JH, YJS, WT, SK, WL), pp. 295–310.

SOSP-2015-AmitTSAS #cpu #validation

Virtual CPU validation (NA, DT, AS, AA, ES), pp. 311–327.

SOSP-2015-TangKVCWNDK #configuration management #facebook

Holistic configuration management at Facebook (CT, TK, PV, AC, ZW, AN, PD, RK), pp. 328–343.

SOSP-2015-KasikciSPPC #automation #sketching

Failure sketching: a technique for automated root cause diagnosis of in-production failures (BK, BS, CP, GP, GC), pp. 344–360.

SOSP-2015-MinKLSK #correctness #debugging #file system #semantics

Cross-checking semantic correctness: the case of finding file system bugs (CM, SK, BL, CS, TK), pp. 361–377.

SOSP-2015-MaceRF #distributed #monitoring

Pivot tracing: dynamic causal monitoring for distributed systems (JM, RR, RF), pp. 378–393.

SOSP-2015-FangNXDL #memory management #scalability #source code

Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs (LF, KN, G(X, BD, SL), pp. 394–409.

SOSP-2015-0002BMZ #graph #named

Chaos: scale-out graph processing from secondary storage (AR, LB, JM, WZ), pp. 410–424.

SOSP-2015-TeixeiraFSSZA #distributed #graph #mining #named

Arabesque: a system for distributed graph mining (CHCT, AJF, MS, GS, MJZ, AA), pp. 425–440.

SOSP-2015-TsaiZRJZP #file system #how

How to get more value from your file system directory cache (CcT, YZ, JR, YJ, TZ, DEP), pp. 441–456.

SOSP-2015-AmvrosiadisBG #maintenance

Opportunistic storage maintenance (GA, ADB, AG), pp. 457–473.

SOSP-2015-YangHAKKAKAA #scheduling

Split-level I/O scheduling (SY, TH, NA, SSK, AK, SAK, RTK, ACAD, RHAD), pp. 474–489.