OSDI '16 Program

All sessions will be held in Chatham Ballroom BC unless otherwise noted.

The full Proceedings published by USENIX for the conference are available for download below. Individual papers can also be downloaded from the presentation page. Copyright to the individual works is retained by the author[s].

Proceedings Front Matter
Proceedings Cover | Title Page and List of Organizers | Table of Contents | Message from the Program Co-Chairs

Full Proceedings PDFs
 OSDI '16 Full Proceedings (PDF)
 OSDI '16 Proceedings Interior (PDF, best for mobile devices)
 OSDI '16 Proceedings Errata Slip (PDF)

Full Proceedings ePub (for iPad and most eReaders)
 OSDI '16 Full Proceedings (ePub)

Full Proceedings Mobi (for Kindle)
 OSDI '16 Full Proceedings (Mobi)

Downloads for Registered Attendees
(Sign in to your USENIX account to download these files.)

Attendee Files 
OSDI '16 Attendee List (PDF)
OSDI '16 Proceedings Archive (40MB 7z)
OSDI '16 Proceedings Archive (80MB ZIP)

Tuesday, November 1, 2016

7:30 am–5:00 pm

On-site Registration 

Grand Ballroom Prefunction

7:30 am–9:00 am

Continental Breakfast

Grand Ballroom Prefunction

9:00 am–5:30 pm

6:00 pm–7:00 pm

Welcome Happy Hour

Georgia International Gallery

Wednesday, November 2, 2016

7:30 am–5:00 pm

On-site Registration

Georgia International Gallery

7:30 am–9:00 am

Continental Breakfast

Georgia International Gallery

8:45 am–9:00 am

Opening Remarks and Jay Lepreau Best Paper Awards

Program Co-Chairs: Kimberly Keeton, Hewlett Packard Labs, and Timothy Roscoe, ETH Zurich

9:00 am–10:20 am

Operating Systems I

Session Chair: Margo Seltzer, Harvard School of Engineeringand Applied Sciences and Oracle

Push-Button Verification of File Systems via Crash Refinement

Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, and Xi Wang, University of Washington

Awarded Best Paper

Available Media

Intermittent Computation without Hardware Support or Programmer Intervention

Joel Van Der Woude, Sandia National Laboratories; Matthew Hicks, University of Michigan

Available Media

Machine-Aware Atomic Broadcast Trees for Multicores

Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, and Timothy Roscoe, ETH Zurich

Available Media

Light-Weight Contexts: An OS Abstraction for Safety and Performance

James Litton, University of Maryland and Max Planck Institute for Software Systems (MPI-SWS); Anjo Vahldiek-Oberwagner, Eslam Elnikety, and Deepak Garg, Max Planck Institute for Software Systems (MPI-SWS); Bobby Bhattacharjee, University of Maryland; Peter Druschel, Max Planck Institute for Software Systems (MPI-SWS)

Available Media

10:20 am–10:50 am

Break with Refreshments

Georgia International Gallery

10:50 am–12:10 pm

Cloud Systems I

Session Chair: Michael Kaminsky, Intel Labs

Altruistic Scheduling in Multi-Resource Clusters

Robert Grandl, University of Wisconsin—Madison; Mosharaf Chowdhury, University of Michigan; Aditya Akella, University of Wisconsin—Madison; Ganesh Ananthanarayanan, Microsoft

Available Media

GRAPHENE: Packing and Dependency-Aware Scheduling for Data-Parallel Clusters

Robert Grandl, Microsoft and University of Wisconsin—Madison; Srikanth Kandula and Sriram Rao, Microsoft; Aditya Akella, Microsoft and University of Wisconsin—Madison; Janardhan Kulkarni, Microsoft

Available Media

Firmament: Fast, Centralized Cluster Scheduling at Scale

Ionel Gog, University of Cambridge; Malte Schwarzkopf, MIT CSAIL; Adam Gleave and Robert N. M. Watson, University of Cambridge; Steven Hand, Google, Inc.

Available Media

Morpheus: Towards Automated SLOs for Enterprise Clusters

Sangeetha Abdu Jyothi, Microsoft and University of Illinois at Urbana–Champaign; Carlo Curino, Ishai Menache, and Shravan Matthur Narayanamurthy, Microsoft; Alexey Tumanov, Microsoft and Carnegie Mellon University; Jonathan Yaniv, Technion—Israel Institute of Technology; Ruslan Mavlyutov, Microsoft and University of Fribourg; Íñigo Goiri, Subru Krishnan, Janardhan Kulkarni, and Sriram Rao, Microsoft

Available Media

12:10 pm–2:00 pm

Symposium Luncheon

Grand Ballroom

The ACM SIGOPS Awards Presentation will take place during the Symposium Luncheon.

2:00 pm–3:20 pm

Transactions and Storage

Session Chair: Dan Ports, University of Washington

The SNOW Theorem and Latency-Optimal Read-Only Transactions

Haonan Lu, University of Southern California; Christopher Hodsdon, University of Southern California; Khiem Ngo, University of Southern California; Shuai Mu, New York University; Wyatt Lloyd, University of Southern California

Available Media

Correlated Crash Vulnerabilities

Ramnatthan Alagappan, Aishwarya Ganesan, Yuvraj Patel, Thanumalayan Sankaranarayana Pillai, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau, University of Wisconsin—Madison

Available Media

Incremental Consistency Guarantees for Replicated Objects

Rachid Guerraoui, Matej Pavlovic, and Dragos-Adrian Seredinschi, École Polytechnique Fédérale de Lausanne (EPFL)

Available Media

FaSST: Fast, Scalable and Simple Distributed Transactions with Two-Sided (RDMA) Datagram RPCs

Anuj Kalia, Carnegie Mellon University; Michael Kaminsky, Intel Labs; David G. Andersen, Carnegie Mellon University

Available Media

3:20 pm–3:50 pm

Break with Refreshments

Georgia International Gallery

3:50 pm–5:10 pm

Networking

Session Chair: Dan Tsafrir, Technion—Israel Institute of Technology

NetBricks: Taking the V out of NFV

Aurojit Panda and Sangjin Han, University of California, Berkeley; Keon Jang, Google; Melvin Walls and Sylvia Ratnasamy, University of California, Berkeley; Scott Shenker, University of California, Berkeley, and International Computer Science Institute

Available Media

Efficient Network Reachability Analysis Using a Succinct Control Plane Representation

Seyed K. Fayaz and Tushar Sharma, Carnegie Mellon University; Ari Fogel, Intentionet; Ratul Mahajan, Microsoft Research; Todd Millstein, University of California, Los Angeles; Vyas Sekar, Carnegie Mellon University; George Varghese, University of California, Los Angeles

Available Media

Simplifying Datacenter Network Debugging with PathDump

Praveen Tammana, University of Edinburgh; Rachit Agarwal, Cornell University; Myungjin Lee, University of Edinburgh

Available Media

Network Requirements for Resource Disaggregation

Peter X. Gao, Akshay Narayan, Sagar Karandikar, Joao Carreira, and Sangjin Han, University of California, Berkeley; Rachit Agarwal, Cornell University; Sylvia Ratnasamy, University of California, Berkeley; Scott Shenker, University of California, Berkeley, and International Computer Science Institute

Available Media

6:00 pm–7:30 pm

Poster Session and Reception I

Grand Ballroom

Sponsored by Microsoft
Check out the cool new ideas and the latest preliminary research on display at the Poster Session and Reception. Take part in discussions with your colleagues over complimentary drinks and snacks. View the list of accepted posters.

Thursday, November 3, 2016

8:00 am–5:00 pm

On-site Registration

Georgia International Gallery

8:00 am–9:00 am

Continental Breakfast

Georgia International Gallery

9:00 am–10:20 am

Graph Processing and Machine Learning

Session Chair: Phil Levis, Stanford University

TensorFlow: A System for Large-Scale Machine Learning

Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek G. Murray, Benoit Steiner, Paul Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng, Google Brain

Available Media

Exploring the Hidden Dimension in Graph Processing

Mingxing Zhang, Yongwei Wu, and Kang Chen, Tsinghua University; Xuehai Qian, University of Southern California; Xue Li and Weimin Zheng, Tsinghua University

Available Media

Gemini: A Computation-Centric Distributed Graph Processing System

Xiaowei Zhu, Wenguang Chen, and Weimin Zheng, Tsinghua University; Xiaosong Ma, Hamad Bin Khalifa University

Available Media

Fast and Concurrent RDF Queries with RDMA-Based Distributed Graph Exploration

Jiaxin Shi, Youyang Yao, Rong Chen, and Haibo Chen, Shanghai Jiao Tong University; Feifei Li, University of Utah

Available Media

10:20 am–10:50 am

Break with Refreshments

Georgia International Gallery

10:50 am–12:10 pm

Languages and Software Engineering

Session Chair: Dushyanth Narayanan, Microsoft Research Cambridge

REX: A Development Platform and Online Learning Approach for Runtime Emergent Software Systems

Barry Porter, Matthew Grieves, Roberto Rodrigues Filho, and David Leslie, Lancaster University

Available Media

Yak: A High-Performance Big-Data-Friendly Garbage Collector

Khanh Nguyen, Lu Fang, Guoqing Xu, and Brian Demsky; University of California, Irvine; Shan Lu, University of Chicago; Sanazsadat Alamian, University of California, Irvine; Onur Mutlu, ETH Zurich

Available Media

Shuffler: Fast and Deployable Continuous Code Re-Randomization

David Williams-King and Graham Gobieski, Columbia University; Kent Williams-King, University of British Columbia; James P. Blake and Xinhao Yuan, Columbia University; Patrick Colp, University of British Columbia; Michelle Zheng, Columbia University; Vasileios P. Kemerlis, Brown University; Junfeng Yang, Columbia University; William Aiello, University of British Columbia

Available Media

Don’t Get Caught in the Cold, Warm-up Your JVM: Understand and Eliminate JVM Warm-up Overhead in Data-Parallel Systems

David Lion and Adrian Chiu, University of Toronto; Hailong Sun, Beihang University; Xin Zhuang, University of Toronto; Nikola Grcevski, Vena Solutions; Ding Yuan, University of Toronto

Available Media

12:10 pm–2:00 pm

Symposium Luncheon

Grand Ballroom

2:00 pm–3:20 pm

Potpourri

Session Chair: Sam H. Noh, UNIST (Ulsan National Institute of Science & Technology)

EC-Cache: Load-Balanced, Low-Latency Cluster Caching with Online Erasure Coding

K. V. Rashmi, University of California, Berkeley; Mosharaf Chowdhury and Jack Kosaian, University of Michigan; Ion Stoica and Kannan Ramchandran, University of California, Berkeley

Available Media

To Waffinity and Beyond: A Scalable Architecture for Incremental Parallelization of File System Code

Matthew Curtis-Maury, Vinay Devadas, Vania Fang, and Aditya Kulkarni, NetApp, Inc.

Available Media

CLARINET: WAN-Aware Optimization for Analytics Queries

Raajay Viswanathan, University of Wisconsin—Madison; Ganesh Ananthanarayanan, Microsoft; Aditya Akella, University of Wisconsin—Madison

Available Media

JetStream: Cluster-Scale Parallelization of Information Flow Queries

Andrew Quinn, David Devecsery, Peter M. Chen, and Jason Flinn, University of Michigan

Available Media

3:20 pm–3:50 pm

Break with Refreshments

Georgia International Gallery

3:50 pm–5:10 pm

Fault Tolerance and Consensus

Session Chair: Petros Maniatis, Google

Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering

Jialin Li, Ellis Michael, Naveen Kr. Sharma, Adriana Szekeres, and Dan R. K. Ports, University of Washington

Available Media

XFT: Practical Fault Tolerance beyond Crashes

Shengyun Liu, National University of Defense Technology; Paolo Viotti, EURECOM; Christian Cachin, IBM Research–Zurich; Vivien Quéma, Grenoble Institute of Technology; Marko Vukolić, IBM Research–Zurich

Available Media

Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent

Srinath Setty, Microsoft Research; Chunzhi Su, The University of Texas at Austin and Microsoft Research; Jacob R. Lorch and Lidong Zhou, Microsoft Research; Hao Chen, Shanghai Jiao Tong University and Microsoft Research; Parveen Patel and Jinglei Ren, Microsoft Research

Available Media

Consolidating Concurrency Control and Consensus for Commits under Conflicts

Shuai Mu and Lamont Nelson, New York University; Wyatt Lloyd, University of Southern California; Jinyang Li, New York University

Available Media

6:00 pm–7:30 pm

Poster Session and Reception II

Grand Ballroom

Sponsored by Google
Check out the cool new ideas and the latest preliminary research on display at the Poster Session and Reception. Take part in discussions with your colleagues over complimentary drinks and snacks. View the list of accepted posters.

Friday, November 4, 2016

8:00 am–noon

On-Site Registration

Georgia International Gallery

8:00 am–9:00 am

Continental Breakfast

Georgia International Gallery

9:00 am–10:20 am

Security

Session Chair: Gernot Heiser, NICTA and University of New South Wales

Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data

Tyler Hunt, Zhiting Zhu, Yuanzhong Xu, Simon Peter, and Emmett Witchel, The University of Texas at Austin

Awarded Best Paper

Available Media

Unobservable Communication over Fully Untrusted Infrastructure

Sebastian Angel, The University of Texas at Austin and New York University; Srinath Setty, Microsoft Research

Available Media

Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata

David Lazar and Nickolai Zeldovich, MIT CSAIL

Available Media

Big Data Analytics over Encrypted Datasets with Seabed

Antonis Papadimitriou, University of Pennsylvania and Microsoft Research India; Ranjita Bhagwan, Nishanth Chandran, and Ramachandran Ramjee, Microsoft Research India; Andreas Haeberlen, University of Pennsylvania; Harmeet Singh and Abhishek Modi, Microsoft Research India; Saikrishna Badrinarayanan, University of California, Los Angeles and Microsoft Research India

Available Media

10:20 am–10:50 am

Break with Refreshments

Georgia International Gallery

10:50 am–11:50 am

Troubleshooting

Session Chair: Jeff Chase, Duke University

Non-Intrusive Performance Profiling for Entire Software Stacks Based on the Flow Reconstruction Principle

Xu Zhao, Kirk Rodrigues, Yu Luo, Ding Yuan, and Michael Stumm, University of Toronto

Available Media

Early Detection of Configuration Errors to Reduce Failure Damage

Tianyin Xu, Xinxin Jin, Peng Huang, and Yuanyuan Zhou, University of California, San Diego; Shan Lu, University of Chicago; Long Jin, University of California, San Diego; Shankar Pasupathy, NetApp, Inc.

Awarded Best Paper

Available Media

Kraken: Leveraging Live Traffic Tests to Identify and Resolve Resource Utilization Bottlenecks in Large Scale Web Services

Kaushik Veeraraghavan, Justin Meza, David Chou, Wonho Kim, Sonia Margulis, Scott Michelson, Rajesh Nishtala, Daniel Obenshain, Dmitri Perelman, and Yee Jiun Song, Facebook Inc.

Available Media

11:50 am–2:00 pm

Lunch (on your own)

Attention! Rock 'n' Roll Marathon registration will be taking place concurrently in the Savannah Convention Center. Due to the heavy pedestrian traffic in and around the Convention Center and on the water taxi, USENIX has arranged convenient lunch options to be offered for purchase at the following locations:

  • Convention Center River Concourse - grab and go sandwiches and salads
  • Westin Starbucks - grab and go sandwiches and salads
  • Westin Aqua Star Restaurant - buffet lunch

2:00 pm–3:20 pm

Operating Systems II

Session Chair: Peter Druschel, Max Planck Institute for Software Systems (MPI-SWS)

CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels

Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjöberg, and David Costanzo; Yale University

Available Media

EbbRT: A Framework for Building Per-Application Library Operating Systems

Dan Schatzberg, James Cadden, Han Dong, Orran Krieger, and Jonathan Appavoo, Boston University

Available Media

SCONE: Secure Linux Containers with Intel SGX

Sergei Arnautov, Bohdan Trach, Franz Gregor, Thomas Knauth, and Andre Martin, Technische Universität Dresden; Christian Priebe, Joshua Lind, Divya Muthukumaran, Dan O'Keeffe, and Mark L Stillwell, Imperial College London; David Goltzsche, Technische Universität Braunschweig; Dave Eyers, University of Otago; Rüdiger Kapitza, Technische Universität Braunschweig; Peter Pietzuch, Imperial College London; Christof Fetzer, Technische Universität Dresden

Available Media

Coordinated and Efficient Huge Page Management with Ingens

Youngjin Kwon, Hangchen Yu, and Simon Peter, The University of Texas at Austin; Christopher J. Rossbach, The University of Texas at Austin and VMware; Emmett Witchel, The University of Texas at Austin

Available Media

3:20 pm–3:50 pm

Break with Refreshments

Georgia International Gallery

3:50 pm–5:10 pm

Cloud Systems II

Session Chair: Chris Rossbach, VMware Research and The University of Texas at Austin

Diamond: Automating Data Management and Storage for Wide-Area, Reactive Applications

Irene Zhang, Niel Lebeck, Pedro Fonseca, Brandon Holt, Raymond Cheng, Ariadna Norberg, Arvind Krishnamurthy, and Henry M. Levy, University of Washington

Available Media

Slicer: Auto-Sharding for Datacenter Applications

Atul Adya, Daniel Myers, Jon Howell, Jeremy Elson, Colin Meek, Vishesh Khemani, Stefan Fulger, Pan Gu, Lakshminath Bhuvanagiri, Jason Hunter, Roberto Peon, Larry Kai, Alexander Shraer, and Arif Merchant, Google; Kfir Lev-Ari, Technion—Israel Institute of Technology

Available Media

History-Based Harvesting of Spare Cycles and Storage in Large-Scale Datacenters

Yunqi Zhang, University of Michigan and Microsoft Research; George Prekas, École Polytechnique Fédérale de Lausanne (EPFL) and Microsoft Research; Giovanni Matteo Fumarola and Marcus Fontoura, Microsoft; Inigo Goiri and Ricardo Bianchini, Microsoft Research

Available Media

DQBarge: Improving Data-Quality Tradeoffs in Large-Scale Internet Services

Michael Chow, University of Michigan; Kaushik Veeraraghavan, Facebook, Inc.; Michael Cafarella and Jason Flinn, University of Michigan

Available Media