BibSLEIGH — Proceedings of the 11th Symposium on Operating Systems Design and Implementation

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

SYS

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

Jason Flinn, Hank LevyProceedings of the 11th Symposium on Operating Systems Design and ImplementationOSDI, 2014.

Contents (42 items)

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