Proceedings of the 25th 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

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

SYS
DBLP
Scholar
Full names Links ISxN
@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)

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.

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.