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.)
![](https://www.usenix.org/sites/all/modules/usenix/usenix_files/images/usenix-locked.png)
![application/pdf](/modules/file/icons/application-pdf.png)
![application/x-7z-compressed](/modules/file/icons/package-x-generic.png)
![application/zip](/modules/file/icons/package-x-generic.png)
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
7:30 pm–10:30 pm
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
Intermittent Computation without Hardware Support or Programmer Intervention
Joel Van Der Woude, Sandia National Laboratories; Matthew Hicks, University of Michigan
Machine-Aware Atomic Broadcast Trees for Multicores
Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, and Timothy Roscoe, ETH Zurich
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)
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
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
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.
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
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
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
Incremental Consistency Guarantees for Replicated Objects
Rachid Guerraoui, Matej Pavlovic, and Dragos-Adrian Seredinschi, École Polytechnique Fédérale de Lausanne (EPFL)
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
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
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
Simplifying Datacenter Network Debugging with PathDump
Praveen Tammana, University of Edinburgh; Rachit Agarwal, Cornell University; Myungjin Lee, University of Edinburgh
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
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.
7:30 pm–10:30 pm
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
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
Gemini: A Computation-Centric Distributed Graph Processing System
Xiaowei Zhu, Wenguang Chen, and Weimin Zheng, Tsinghua University; Xiaosong Ma, Hamad Bin Khalifa University
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
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
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
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
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
12:10 pm–2:00 pm
Symposium Luncheon
Grand Ballroom
2:00 pm–3:20 pm
Potpourri
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
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.
CLARINET: WAN-Aware Optimization for Analytics Queries
Raajay Viswanathan, University of Wisconsin—Madison; Ganesh Ananthanarayanan, Microsoft; Aditya Akella, University of Wisconsin—Madison
JetStream: Cluster-Scale Parallelization of Information Flow Queries
Andrew Quinn, David Devecsery, Peter M. Chen, and Jason Flinn, University of Michigan
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
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
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
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
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.
7:30 pm–10:30 pm
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
Unobservable Communication over Fully Untrusted Infrastructure
Sebastian Angel, The University of Texas at Austin and New York University; Srinath Setty, Microsoft Research
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
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
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
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.
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
EbbRT: A Framework for Building Per-Application Library Operating Systems
Dan Schatzberg, James Cadden, Han Dong, Orran Krieger, and Jonathan Appavoo, Boston University
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
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
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
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
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
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