Proceedings of the 11th Symposium on Operating Systems Design and Implementation
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

Jason Flinn, Hank Levy
Proceedings of the 11th Symposium on Operating Systems Design and Implementation
OSDI, 2014.

SYS
DBLP
Scholar
?EE?
Full names Links ISxN
@proceedings{OSDI-2014,
	address       = "Broomfield, Colorado, USA",
	editor        = "Jason Flinn and Hank Levy",
	ee            = "https://www.usenix.org/conference/osdi14",
	publisher     = "{USENIX Association}",
	title         = "{Proceedings of the 11th Symposium on Operating Systems Design and Implementation}",
	year          = 2014,
}

Contents (42 items)

OSDI-2014-PeterLZPWKAR #named #operating system
Arrakis: The Operating System is the Control Plane (SP, JL, IZ, DRKP, DW, AK, TEA, TR), pp. 1–16.
OSDI-2014-ZellwegerGKR #kernel #operating system
Decoupling Cores, Kernels, and Operating Systems (GZ, SG, KK, TR), pp. 17–31.
OSDI-2014-WangLZCT #framework #interpreter #kernel #named
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure (XW, DL, NZ, AC, ZT), pp. 33–47.
OSDI-2014-BelayPKGKB #latency #named #operating system #throughput
IX: A Protected Dataplane Operating System for High Throughput and Low Latency (AB, GP, AK, SG, CK, EB), pp. 49–65.
OSDI-2014-SeshadriGBBDJLS #named #programmable
Willow: A User-Programmable SSD (SS, MG, MSB, TB, AD, YJ, YL, SS), pp. 67–80.
OSDI-2014-LuZDAAA #file system #physics
Physical Disentanglement in a Container-Based File System (LL, YZ, TD, SAK, ACAD, RHAD), pp. 81–96.
OSDI-2014-ZhangSAAGKL #deployment #mobile
Customizable and Extensible Deployment for Mobile/Cloud Applications (IZ, AS, DVA, IA, SDG, AK, HML), pp. 97–112.
OSDI-2014-SpahnBLBGK #abstraction #data transformation #fine-grained #named #operating system
Pebbles: Fine-Grained Data Management Abstractions for Modern Operating Systems (RS, JB, ML, SB, RG, GEK), pp. 113–129.
OSDI-2014-StefanYMRHKM #javascript
Protecting Users by Confining JavaScript with COWL (DS, EZY, PM, AR, DH, BK, DM), pp. 131–146.
OSDI-2014-KuznetsovSPCSS
Code-Pointer Integrity (VK, LS, MP, GC, RS, DS), pp. 147–163.
OSDI-2014-HawblitzelHLNPZZ #automation #security #verification
Ironclad Apps: End-to-End Security via Automated Full-System Verification (CH, JH, JRL, AN, BP, DZ, BZ), pp. 165–181.
OSDI-2014-MooreDKC #named #scripting language
SHILL: A Secure Shell Scripting Language (SM, CD, DK, SC), pp. 183–199.
OSDI-2014-KimHZHWWS #abstraction #gpu #named #network #source code
GPUnet: Networking Abstractions for GPU Programs (SK, SH, XZ, YH, AW, EW, MS), pp. 201–216.
OSDI-2014-ChowMFPW #analysis #internet #performance #scalability
The Mystery Machine: End-to-end Performance Analysis of Large-scale Internet Services (MC, DM, JF, DP, TFW), pp. 217–231.
OSDI-2014-AngelBKOT #performance
End-to-end Performance Isolation Through Virtual Datacenters (SA, HB, TK, GO, ET), pp. 233–248.
OSDI-2014-YuanLZRZZJS #analysis #data-driven #distributed #testing
Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems (DY, YL, XZ, GRR, XZ, YZ, PJ, MS), pp. 249–265.
OSDI-2014-BaumannPH
Shielding Applications from an Untrusted Cloud with Haven (AB, MP, GCH), pp. 267–283.
OSDI-2014-BoutinELSZQWZ #coordination #named #scalability #scheduling
Apollo: Scalable and Coordinated Scheduling for Cloud-Scale Computing (EB, JE, WL, BS, JZ, ZQ, MW, LZ), pp. 285–300.
OSDI-2014-VenkataramanPAFS #clustering #power of #scheduling
The Power of Choice in Data-Aware Cluster Scheduling (SV, AP, GA, MJF, IS), pp. 301–316.
OSDI-2014-ZhaiCWF #as a service #correlation #independence
Heading Off Correlated Failures through Independence-as-a-Service (EZ, RC, DIW, BF), pp. 317–334.
OSDI-2014-WiresIDHW
Characterizing Storage Workloads with Counter Stacks (JW, SI, ZD, NJAH, AW), pp. 335–349.
OSDI-2014-BalakrishnanBDEGHLOPR #named
Pelican: A Building Block for Exascale Cold Data Storage (SB, RB, AD, PE, AG, DH, SL, AO, EP, AITR), pp. 351–365.
OSDI-2014-ArdekaniT #configuration management #self
A Self-Configurable Geo-Replicated Cloud Storage System (MSA, DBT), pp. 367–381.
OSDI-2014-SubramanianLRHLLPSVTK #facebook #named
f4: Facebook’s Warm BLOB Storage System (MS, WL, SR, CH, EL, WL, SP, SS, SV, LT, SK), pp. 383–398.
OSDI-2014-LeesatapornwongsaHJLG #debugging #model checking #named #performance #semantics
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems (TL, MH, PJ, JFL, HSG), pp. 399–414.
OSDI-2014-0001RB #concurrent #debugging #kernel #named
SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration (PF, RR, BBB), pp. 415–431.
OSDI-2014-PillaiCAAAA #complexity #file system
All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications (TSP, VC, RA, SAK, ACAD, RHAD), pp. 433–448.
OSDI-2014-ZhengTHQLYZS #database
Torturing Databases for Fun and Profit (MZ, JT, DH, FQ, ML, ESY, BWZ, SS), pp. 449–464.
OSDI-2014-ZhengTKL #database #manycore #parallel #performance
Fast Databases with Fast Durability and Recovery Through Multicore Parallelism (WZ, ST, EK, BL), pp. 465–477.
OSDI-2014-MuCZLL #concurrent #distributed #transaction
Extracting More Concurrency from Distributed Transactions (SM, YC, YZ, WL, JL), pp. 479–494.
OSDI-2014-XieSK0YAM #database #distributed #named
Salt: Combining ACID and BASE in a Distributed Database (CX, CS, MK, YW, NY, LA, PM), pp. 495–509.
OSDI-2014-NarulaCKM #in memory #transaction
Phase Reconciliation for Contended In-Memory Transactions (NN, CC, EK, RM), pp. 511–524.
OSDI-2014-DevecseryCDFC
Eidetic Systems (DD, MC, XD, JF, PMC), pp. 525–540.
OSDI-2014-ChenMXHPSZ #detection
Detecting Covert Timing Channels with Time-Deterministic Replay (AC, WBM, HX, AH, LTXP, MS, WZ), pp. 541–554.
OSDI-2014-ChenKWZK #identification #web
Identifying Information Disclosure in Web Applications with Retroactive Auditing (HC, TK, XW, NZ, MFK), pp. 555–569.
OSDI-2014-ChilimbiSAK #learning #performance #scalability
Project Adam: Building an Efficient and Scalable Deep Learning Training System (TMC, YS, JA, KK), pp. 571–582.
OSDI-2014-LiAPSAJLSS #distributed #machine learning #parametricity #scalability
Scaling Distributed Machine Learning with the Parameter Server (ML, DGA, JWP, AJS, AA, VJ, JL, EJS, BYS), pp. 583–598.
OSDI-2014-GonzalezXDCFS #data flow #distributed #framework #graph #named
GraphX: Graph Processing in a Distributed Dataflow Framework (JEG, RSX, AD, DC, MJF, IS), pp. 599–613.
OSDI-2014-BangertZ #generative #named #parsing
Nail: A Practical Tool for Parsing and Generating Data Formats (JB, NZ), pp. 615–628.
OSDI-2014-ZhaoZLULYS #distributed #named #profiling
lprof: A Non-intrusive Request Flow Profiler for Distributed Systems (XZ, YZ, DL, MFU, YL, DY, MS), pp. 629–644.
OSDI-2014-MullerAAC #automation #manycore #named #parallel
Pydron: Semi-Automatic Parallelization for Multi-Core and the Cloud (SCM, GA, AA, AC), pp. 645–659.
OSDI-2014-RyzhykWKLRSV #synthesis
User-Guided Device Driver Synthesis (LR, AW, JK, AL, AR, MS, MV), pp. 661–676.

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.