Skip to content
conftrace_

OSDI 2014

42 papers

User-Guided Device Driver Synthesis

Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath

Pydron: Semi-Automatic Parallelization for Multi-Core and the Cloud

Stefan C. Müller, Gustavo Alonso, Adam Amara, André Csillaghy

lprof: A Non-intrusive Request Flow Profiler for Distributed Systems

Xu Zhao, Yongle Zhang, David Lion, Muhammad Faizan Ullah, Yu Luo

GraphX: Graph Processing in a Distributed Dataflow Framework

Joseph E. Gonzalez, Reynold S. Xin, Ankur Dave, Daniel Crankshaw, Michael J. Franklin

Scaling Distributed Machine Learning with the Parameter Server

Mu Li, David G. Andersen, Jun Woo Park, Alexander J. Smola, Amr Ahmed

Project Adam: Building an Efficient and Scalable Deep Learning Training System

Trishul Chilimbi, Yutaka Suzue, Johnson Apacible, Karthik Kalyanaraman

Identifying Information Disclosure in Web Applications with Retroactive Auditing

Haogang Chen, Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek

Detecting Covert Timing Channels with Time-Deterministic Replay

Ang Chen, W. Brad Moore, Hanjun Xiao, Andreas Haeberlen, Linh Thi Xuan Phan

Eidetic Systems

David Devecsery, Michael Chow, Xianzheng Dou, Jason Flinn, Peter M. Chen

Phase Reconciliation for Contended In-Memory Transactions

Neha Narula, Cody Cutler, Eddie Kohler, Robert Morris

Salt: Combining ACID and BASE in a Distributed Database

Chao Xie, Chunzhi Su, Manos Kapritsos, Yang Wang, Navid Yaghmazadeh

Extracting More Concurrency from Distributed Transactions

Shuai Mu, Yang Cui, Yang Zhang, Wyatt Lloyd, Jinyang Li

Fast Databases with Fast Durability and Recovery Through Multicore Parallelism

Wenting Zheng, Stephen Tu, Eddie Kohler, Barbara Liskov

Torturing Databases for Fun and Profit

Mai Zheng, Joseph Tucek, Dachuan Huang, Feng Qin, Mark Lillibridge

All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications

Thanumalayan Sankaranarayana Pillai, Vijay Chidambaram, Ramnatthan Alagappan, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau

SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration

Pedro Fonseca, Rodrigo Rodrigues, Björn B. Brandenburg

SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems

Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, Haryadi S. Gunawi

f4: Facebook's Warm BLOB Storage System

Subramanian Muralidhar, Wyatt Lloyd, Sabyasachi Roy, Cory Hill, Ernest Lin

A Self-Configurable Geo-Replicated Cloud Storage System

Masoud Saeida Ardekani, Douglas B. Terry

Pelican: A Building Block for Exascale Cold Data Storage

Shobana Balakrishnan, Richard Black, Austin Donnelly, Paul England, Adam Glass

Characterizing Storage Workloads with Counter Stacks

Jake Wires, Stephen Ingram, Zachary Drudi, Nicholas J. A. Harvey, Andrew Warfield

Heading Off Correlated Failures through Independence-as-a-Service

Ennan Zhai, Ruichuan Chen, David Isaac Wolinsky, Bryan Ford

The Power of Choice in Data-Aware Cluster Scheduling

Shivaram Venkataraman, Aurojit Panda, Ganesh Ananthanarayanan, Michael J. Franklin, Ion Stoica

Apollo: Scalable and Coordinated Scheduling for Cloud-Scale Computing

Eric Boutin, Jaliya Ekanayake, Wei LIN, Bing Shi, Jingren Zhou

Shielding Applications from an Untrusted Cloud with Haven

Andrew Baumann, Marcus Peinado, Galen Hunt

End-to-end Performance Isolation Through Virtual Datacenters

Sebastian Angel, Hitesh Ballani, Thomas Karagiannis, Greg O’Shea, Eno Thereska

The Mystery Machine: End-to-end Performance Analysis of Large-scale Internet Services

Michael Chow, David Meisner, Jason Flinn, Daniel Peek, Thomas F. Wenisch

GPUnet: Networking Abstractions for GPU Programs

Sangman Kim, Seonggu Huh, Yige Hu, XINYA ZHANG, Emmett Witchel

SHILL: A Secure Shell Scripting Language

Scott Moore, Christos Dimoulas, Dan King, Stephen Chong

Ironclad Apps: End-to-End Security via Automated Full-System Verification

Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno

Code-Pointer Integrity

Volodymyr Kuznetsov, László Szekeres, Mathias Payer, George Candea, R. Sekar

Protecting Users by Confining JavaScript with COWL

Deian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, Dave Herman

Pebbles: Fine-Grained Data Management Abstractions for Modern Operating Systems

Riley Spahn, Jonathan Bell, Michael Lee, Sravan Bhamidipati, Roxana Geambasu

Customizable and Extensible Deployment for Mobile/Cloud Applications

Irene Zhang, Adriana Szekeres, Dana Van Aken, Isaac Ackerman, Steven D. Gribble

Physical Disentanglement in a Container-Based File System

Lanyue Lu, Yupu Zhang, Thanh Do, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau

Willow: A User-Programmable SSD

Sudharsan Seshadri, Mark Gahagan, Sundaram Bhaskaran, Trevor Bunker, Arup De

IX: A Protected Dataplane Operating System for High Throughput and Low Latency

Adam Belay, George Prekas, Ana Klimovic, Samuel Grossman, Christos Kozyrakis

Jitk: A Trustworthy In-Kernel Interpreter Infrastructure

Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock

Decoupling Cores, Kernels, and Operating Systems

Gerd Zellweger, Simon Gerber, Kornilios Kourtis, Timothy Roscoe

Arrakis: The Operating System is the Control Plane

Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos