NSDI ’15: 12th USENIX Symposium on Networked Systems Design and Implementation May 4–6, 2015 Oakland, CA

Message from the Program Co-Chairs...... vii Monday, May 4, 2015 Datacenters Queues Don’t Matter When You Can JUMP Them! ...... 1 Matthew P. Grosvenor, Malte Schwarzkopf, Ionel Gog, Robert N. M. Watson, Andrew W. Moore, Steven Hand, and Jon Crowcroft, University of Cambridge Explicit Path Control in Commodity Data Centers: Design and Applications...... 15 Shuihai Hu and Kai Chen, The Hong Kong University of Science and Technology; Haitao Wu, Microsoft; Wei Bai, The Hong Kong University of Science and Technology; Chang Lan, University of California, Berkeley; Hao Wang, The Hong Kong University of Science and Technology; Hongze Zhao, Duke University; Chuanxiong Guo, Microsoft Increasing Datacenter Network Utilisation with GRIN ...... 29 Alexandru Agache, Razvan Deaconescu, and Costin Raiciu, University Politehnica of Bucharest Designing Distributed Systems Using Approximate Synchrony in Data Center Networks...... 43 Dan R. K. Ports, Jialin Li, Vincent Liu, Naveen Kr. Sharma, and Arvind Krishnamurthy, University of Washington

SDN Kinetic: Verifiable Dynamic Network Control ...... 59 Hyojoon Kim, Georgia Institute of Technology; Joshua Reich, AT&T Labs–Research; Arpit Gupta, Muhammad Shahbaz, and Nick Feamster, Princeton University; Russ Clark, Georgia Institute of Technology Enforcing Customizable Consistency Properties in Software-Defined Networks ...... 73 Wenxuan Zhou, University of Illinois at Urbana-Champaign; Dong Jin, Illinois Institute of Technology; Jason Croft, Matthew Caesar, and P. Brighten Godfrey, University of Illinois at Urbana-Champaign CoVisor: A Compositional Hypervisor for Software-Defined Networks...... 87 Xin Jin, Jennifer Gossels, Jennifer Rexford, and David Walker, Princeton University Compiling Packet Programs to Reconfigurable Switches...... 103 Lavanya Jose and Lisa Yan, Stanford University; George Varghese, Microsoft Research; Nick McKeown, Stanford University

Operational Systems Track 1 The Design and Implementation of Open vSwitch ...... 117 Ben Pfaff, Justin Pettit, Teemu Koponen, Ethan Jackson, Andy Zhou, Jarno Rajahalme, Jesse Gross, Alex Wang, Joe Stringer, and Pravin Shelar, VMware, Inc.; Keith Amidon, Awake Networks; Martín Casado, VMware, Inc. C3: Internet-Scale Control Plane for Video Quality Optimization...... 131 Aditya Ganjam, Conviva; Junchen Jiang, Carnegie Mellon University; Xi Liu, Conviva; Vyas Sekar, Carnegie Mellon University; Faisal Siddiqui, Conviva; Ion Stoica, University of California, Berkeley, Conviva, and Databricks; Jibin Zhan, Conviva; Hui Zhang, Carnegie Mellon University and Conviva Attaining the Promise and Avoiding the Pitfalls of TCP in the Datacenter ...... 145 Glenn Judd, Morgan Stanley

(Monday, May 4, continues on the next page) Wireless Beyond Sensing: Multi-GHz Realtime Spectrum Analytics...... 159 Lixin Shi, Massachusetts Institute of Technology; Paramvir Bahl, Microsoft Research Redmond; Dina Katabi, Massachusetts Institute of Technology Atomix: A Framework for Deploying Signal Processing Applications on Wireless Infrastructure...... 173 Manu Bansal, Aaron Schulman, and Sachin Katti, Stanford University WiDeo: Fine-grained Device-free Motion Tracing using RF Backscatter ...... 189 Kiran Joshi, Dinesh Bharadia, Manikanta Kotaru, and Sachin Katti, Stanford University FlexRadio: Fully Flexible Radios and Networks...... 205 Bo Chen, Vivek Yenamandra, and Kannan Srinivasan, The Ohio State University Towards Wifi Mobility without Fast Handover...... 219 Andrei Croitoru, Dragoş Niculescu, and Costin Raiciu, University Politehnica of Bucharest Tuesday, May 5, 2015 PHY Layer Securing RFIDs by Randomizing the Modulation and Channel...... 235 Haitham Hassanieh, Jue Wang, and Dina Katabi, Massachusetts Institute of Technology; Tadayoshi Kohno, University of Washington Relative Localization of RFID Tags using Spatial-Temporal Phase Profiling...... 251 Longfei Shangguan, The Hong Kong University of Science and Technology and Tsinghua University; Zheng Yang, Tsinghua University; Alex X. Liu, Michigan State University; Zimu Zhou, The Hong Kong University of Science and Technology; Yunhao Liu, Tsinghua University Ripple: Communicating through Physical Vibration ...... 265 Nirupam Roy, Mahanth Gowda, and Romit Roy Choudhury, University of Illinois at Urbana-Champaign Multi-Person Localization via RF Body Reflections...... 279 Fadel Adib, Zachary Kabelac, and Dina Katabi, Massachusetts Institute of Technology

Data Analytics Making Sense of Performance in Data Analytics Frameworks...... 293 Kay Ousterhout, University of California, Berkeley; Ryan Rasti, University of California, Berkeley, International Computer Science Institute, and VMware; Sylvia Ratnasamy, University of California, Berkeley; Scott Shenker, University of California, Berkeley, and International Computer Science Institute; Byung-Gon Chun, Seoul National University CellIQ : Real-Time Cellular Network Analytics at Scale...... 309 Anand Padmanabha Iyer, University of California, Berkeley; Li Erran Li, Bell Labs; Ion Stoica, University of California, Berkeley Global Analytics in the Face of Bandwidth and Regulatory Constraints...... 323 Ashish Vulimiri, University of Illinois at Urbana-Champaign; Carlo Curino, Microsoft; P. Brighten Godfrey, University of Illinois at Urbana-Champaign; Thomas Jungblut, Microsoft; Jitu Padhye and George Varghese, Microsoft Research Succinct: Enabling Queries on Compressed Data...... 337 Rachit Agarwal, Anurag Khandelwal, and Ion Stoica, University of California, Berkeley Operational Systems Track 2 Wormhole: Reliable Pub-Sub to Support Geo-replicated Internet Services...... 351 Yogeshwer Sharma, Philippe Ajoux, Petchean Ang, David Callies, Abhishek Choudhary, Laurent Demailly, Thomas Fersch, Liat Atsmon Guz, Andrzej Kotulski, Sachin Kulkarni, Sanjeev Kumar, Harry Li, Jun Li, Evgeniy Makeev, and Kowshik Prakasam, Facebook; Robbert van Renesse, Cornell University; Sabyasachi Roy, Pratyush Seth, Yee Jiun Song, Benjamin Wester, Kaushik Veeraraghavan, and Peter Xie, Facebook Flywheel: Google’s Data Compression Proxy for the Mobile Web ...... 367 Victor Agababov, Michael Buettner, Victor Chudnovsky, Mark Cogan, Ben Greenstein, Shane McDaniel, and Michael Piatek, Google, Inc.; Colin Scott, University of California, Berkeley; Matt Welsh and Bolian Yin, Google, Inc. FastRoute: A Scalable Load-Aware Anycast Routing Architecture for Modern CDNs ...... 381 Ashley Flavel, Pradeepkumar Mani, David A. Maltz, and Nick Holt, Microsoft; Jie Liu, Microsoft Research; Yingying Chen and Oleg Surmachev, Microsoft

Protocol Design and Implementation PCC: Re-architecting Congestion Control for Consistent High Performance...... 395 Mo Dong and Qingxi Li, University of Illinois at Urbana-Champaign; Doron Zarchy, Hebrew University of Jerusalem; P. Brighten Godfrey, University of Illinois at Urbana-Champaign; Michael Schapira, Hebrew University of Jerusalem Raising the Bar for Using GPUs in Software Packet Processing...... 409 Anuj Kalia and Dong Zhou, Carnegie Mellon University; Michael Kaminsky, Intel Labs; David G. Andersen, Carnegie Mellon University ModNet: A Modular Approach to Network Stack Extension...... 425 Sharvanath Pathak and Vivek S. Pai, Princeton University Klotski: Reprioritizing Web Content to Improve User Experience on Mobile Devices...... 439 Michael Butkiewicz and Daimeng Wang, University of California, Riverside; Zhe Wu and Harsha V. Madhyastha, University of California, Riverside, and University of Michigan; Vyas Sekar, Carnegie Mellon University Information-Agnostic Flow Scheduling for Commodity Data Centers...... 455 Wei Bai, Li Chen, and Kai Chen, The Hong Kong University of Science and Technology; Dongsu Han, Korea Advanced Institute of Science and Technology (KAIST); Chen Tian, Nanjing University; Hao Wang, The Hong Kong University of Science and Technology Wednesday, May 6, 2015 Correctness A General Approach to Network Configuration Analysis ...... 469 Ari Fogel and Stanley Fung, University of California, Los Angeles; Luis Pedrosa, University of Southern California; Meg Walraed-Sullivan, Microsoft Research; Ramesh Govindan, University of Southern California; Ratul Mahajan, Microsoft Research; Todd Millstein, University of California, Los Angeles Analyzing Protocol Implementations for Interoperability...... 485 Luis Pedrosa, University of Southern California; Ari Fogel, University of California, Los Angeles; Nupur Kothari, Microsoft; Ramesh Govindan, University of Southern California; Ratul Mahajan, Microsoft; Todd Millstein, University of California, Los Angeles Checking Beliefs in Dynamic Networks ...... 499 Nuno P. Lopes, Nikolaj Bjørner, and Patrice Godefroid, Microsoft Research; Karthick Jayaraman, Microsoft Azure; George Varghese, Microsoft Research

(Wednesday, May 6, continues on the next page) Distributed Storage C3: Cutting Tail Latency in Cloud Data Stores via Adaptive Replica Selection ...... 513 Lalith Suresh, Technische Universität Berlin; Marco Canini, Université catholique de Louvain; Stefan Schmid, Technische Universität Berlin and Telekom Innovation Labs; Anja Feldmann, Technische Universität Berlin CubicRing: Enabling One-Hop Failure Detection and Recovery for Distributed In-Memory Storage Systems...... 529 Yiming Zhang, National University of Defense Technology; Chuanxiong Guo, Microsoft; Dongsheng Li and Rui Chu, National University of Defense Technology; Haitao Wu, Microsoft; Yongqiang Xiong, Microsoft Research CosTLO: Cost-Effective Redundancy for Lower Latency Variance on Cloud Storage Services ...... 543 Zhe Wu, University of California, Riverside, and University of Michigan; Curtis Yu, University of California, Riverside; Harsha V. Madhyastha, University of California, Riverside, and University of Michigan

Virtualization and Fault Tolerance Jitsu: Just-In-Time Summoning of Unikernels ...... 559 Anil Madhavapeddy, Thomas Leonard, Magnus Skjegstad, Thomas Gazagnaire, and David Sheets, University of Cambridge; Dave Scott, Citrix Systems UK Ltd.; Richard Mortier, Amir Chaudhry, and Balraj Singh, University of Cambridge; Jon Ludlam, Citrix Systems UK Ltd.; Jon Crowcroft and Ian Leslie, University of Cambridge Tardigrade: Leveraging Lightweight Virtual Machines to Easily and Efficiently Construct ...... 575 Fault-Tolerant Services Jacob R. Lorch and Andrew Baumann, Microsoft Research; Lisa Glendenning, University of Washington; Dutch Meyer and Andrew Warfield, University of British Columbia Retro: Targeted Resource Management in Multi-tenant Distributed Systems...... 589 Jonathan Mace, Brown University; Peter Bodik, Microsoft Research; Rodrigo Fonseca, Brown University; Madanlal Musuvathi, Microsoft Research Scalable Error Isolation for Distributed Systems ...... 605 Diogo Behrens, Technische Universität Dresden; Marco Serafini, Qatar Computing Research Institute; Sergei Arnautov, Technische Universität Dresden; Flavio P. Junqueira, Microsoft Research Cambridge; Christof Fetzer, Technische Universität Dresden