Program

• All sessions in Room 203/204 (except ONS keynotes in Exhibition Hall A)
• This information is also included in the full ONS schedule (filter by SOSR and meals).

• Monday, April 3, 2017

• 7:30 - 8:45 am Registration & Breakfast (Main Lobby SCCC)

• 8:45 - 9:30 am Opening

  Dave Levin (University of Maryland), Sujata Banerjee (VMware), Minlan Yu (Yale University)

• 8:45 - 9:00 am Welcome from General Chair and PC Chairs

  Sujata Banerjee (VMware), Minlan Yu (Yale University)

  
  

  Best Paper:

  Concise Encoding of Flow Attributes in SDN Switches 
  Robert MacDavid (Princeton University); Rüdiger Birkner (ETH Zürich); Ori Rottenstreich, Arpit Gupta, Nick Feamster, Jennifer Rexford (Princeton University)

  
  

  Best Student Paper:

  Adversarial Network Forensics in Software Defined Networking
  Stefan Achleitner, Thomas La Porta, Trent Jaeger, Patrick McDaniel (Pennsylvania State University)

• 9:00 - 9:30 am SOSR Software Award Announcement and Talk

  Mininet: An Instant Virtual Network on your Laptop (or other PC)

  Bob Lantz, Brandon Heller, Nikhil Handigol, Brian O'Connor

• 9:30 - 10:30 am SOSR Keynote Session 1

• Ratul Mahajan (Intentionet)

  Network programming for the cloud ERA

  Due to their unprecedented scale and workload dynamics, engineering networks that enable cloud computing requires an extreme focus on efficiency, reliability, and agility (ERA). The traditional network programming model, which is low-level and device-oriented, no longer suffices for these networks because it results in poor ERA. In this talk, I will first provide one perspective on high-level network programming and what it means for a network to be fully programmable. I will then describe how existing research and systems, including some that my collaborators and I have developed, can be viewed through this perspective. I will conclude with speculations about where network programming may be (or should be) headed.

• 10:30 - 11:00 am Coffee Break

• 11:00 am - 12:30 pm Session 1: Performance

  Session Chair: Ben Pfaff (VMWare)

• iTAP: In-network Traffic Analysis Prevention using Software-Defined Networks 

  Long

  Roland Meier, David Gugelmann, Laurent Vanbever (ETH Zürich)

• Heavy-Hitter Detection Entirely in the Data Plane 

  Long

  Vibhaalakshmi Sivaraman (Princeton University); Srinivas Narayana (MIT CSAIL); Ori Rottenstreich (Princeton University); S. Muthukrishnan (Rutgers University); Jennifer Rexford (Princeton University)

• Dapper: Data Plane Performance Diagnosis of TCP 

  Long

  Mojgan Ghasemi (Princeton University); Theophilus Benson (Duke University); Jennifer Rexford (Princeton University)

• The Case for Making Tight Control Plane Latency Guarantees in SDN Switches 

  Short

  Huan Chen (UESTC and Duke University); Theophilus Benson (Duke University)

• 12:30 - 1:30 pm Lunch

• 1:30 - 3:00 pm ONS Keynotes (Exhibition Hall A)

  With the general ONS audience

• Jim Zemlin (The Linux Foundation); Guru Parulkar (ONF/ON.Lab); Arpit Joshipura (The Linux Foundation)

  What a Difference 5 Years Makes - The New Open World

  Albert Greenberg (Microsoft Azure Networking)

  Container Networking

  Justin Dustzadeh (Visa)

  Digital Transformation Through Open Software Defined Infrastructure

• 3:00 - 3:30 pm Break

• 3:30 - 4:40 pm Session 2: Programmable Data Planes

  Session Chair: Xin Jin (UC Berkeley and Johns Hopkins University)

• P4FPGA: A Rapid Prototyping Framework for P4 

  Long

  Han Wang (Cornell University); Robert Soulé, Huynh Tu Dang (Università della Svizzera italiana); Ki Suh Lee, Vishal Shrivastav, Nate Foster, Hakim Weatherspoon (Cornell University)

• Whippersnapper: A P4 Language Benchmark Suite 

  Short

  Huynh Tu Dang (Università della Svizzera italiana); Han Wang (Cornell University); Theo Jepsen (Università della Svizzera italiana); Gordon Brebner (Xilinx Inc.); Changhoon Kim (Barefoot Networks); Jennifer Rexford (Princeton University); Robert Soulé (Università della Svizzera italiana); Hakim Weatherspoon (Cornell University)

• Swing State: Consistent Updates for Stateful and Programmable Data Planes

  Short

  Shouxi Luo, Hongfang Yu (University of Electronic Science and Technology of China); Laurent Vanbever (ETH Zürich)

• P5: Policy-Driven Optimization of P4 Pipeline

  Short

  Anubhavnidhi Abhashkumar (University of Wisconsin, Madison); Jeongkeun Lee (Barefoot Networks); Jean Tourrilhes (Hewlett Packard Labs); Sujata Banerjee (VMware); Joon-Myung Kang, Wenfei Wu (Hewlett Packard Labs); Aditya Akella (University of Wisconsin, Madison)

• 4:40 - 5:10 pm Session 3: Network Functions

  Session Chair: Theo Benson (Duke)

• Piggybacking Network Functions on SDN Reactive Routing: A Feasibility Study 

  Short

  Chang Liu, Arun Raghuramu, Chen-Nee Chuah (University of California, Davis); Balachander Krishnamurthy (AT&T Labs-Research)

• ParaBox: Exploiting Parallelism for Virtual Network Functions in Service Chaining 

  Short

  Yang Zhang (University of Minnesota, Twin Cities); Bo Han, Bilal Anwer, Vijay Gopalakrishnan, Joshua Reich, Aman Shaikh (AT&T Labs -- Research); Zhi-Li Zhang (University of Minnesota, Twin Cities)

• 5:10 - 6:00 pm Poster Session

  Demo and Poster Chairs: Marco Canini (KAUST) and Chang Kim (Barefoot Networks)

• MPVisor: A Modular Programmable Data Plane Hypervisor

  Cheng Zhang, Jun Bi, Yu Zhou, Abdul Basit Dogar, Jianping Wu (Tsinghua University)

  PRAM: Priority-aware Flow Migration Scheme in NFV Networks

  Zili Meng, Jun Bi, Chen Sun, Anmin Xu (Tsinghua University); Hongxin Hu (Clemson University)

  Gotthard: Network Support for Transaction Processing

  Theo Jepsen, Leandro Pacheco de Sousa, Huynh Tu Dang, Fernando Pedone, Robert Soulé (Università della Svizzera italiana)

  Meticulous Measurement of Control Packets in SDN

  Yash Sinha (Birla Institute of Technology and Science Pilani); Shikhar Vashishth (Indian Institute of Science Bangalore); K. Haribabu (Birla Institute of Technology and Science Pilani)

  Enabling Fast Hierarchical Heavy Hitter Detection using Programmable Data Planes

  Diana Andreea Popescu, Gianni Antichi, Andrew W. Moore (University of Cambridge)

  Towards an OS for the Network Data Plane

  Wei Zhang (George Washington University); Abhigyan Sharma, Kaustubh Joshi (AT&T Labs Research); Timothy Wood (George Washington University)

  PVPP: A Programmable Vector Packet Processor

  Sean Choi (Stanford University); Xiang Long (Cornell University); Muhammad Shahbaz (Princeton University); Skip Booth, Andy Keep, John Marshall (Cisco); Changhoon Kim (Barefoot Networks)

  Delorean: Using Time Travel to Avoid Bugs and Failures in SDN Applications

  Zhenyu Zhou, Theophilus Benson (Duke University); Marco Canini (KAUST); Balakrishnan Chandrasekaran (TU Berlin)

  Siren: A Platform for Deployment of VNFs in Distributed Infrastructures

  Lyndon Fawcett, Nicholas Race (Lancaster University)

  Automating SDN Composition: A Database Perspective

  Anduo Wang (Temple University); Jason Croft (University of Illinois at Urbana-Champaign)

  Magneto: Unified Fine-grained Path Control in Legacy and OpenFlow Hybrid Networks 

  Cheng Jin (University of Minnesota); Cristian Lumezanu, Qiang Xu (NEC Laboratories America); Hesham Mekky, Zhi-Li Zhang (University of Minnesota); Guofei Jiang (NEC Laboratories America)

  SDX-Based Flexibility or Internet Correctness? Pick Two!

  Rüdiger Birkner (ETH Zürich); Arpit Gupta, Nick Feamster (Princeton University); Laurent Vanbever (ETH Zürich)

  ParaBox: Exploiting Parallelism for Virtual Network Functions in Service Chaining 

  Yang Zhang (University of Minnesota, Twin Cities); Bo Han, Bilal Anwer, Vijay Gopalakrishnan, Joshua Reich, Aman Shaikh (AT&T Labs Research); Zhi-Li Zhang (University of Minnesota, Twin Cities)

• Tuesday, April 4, 2017

• 7:30 - 8:30 am Registration & Breakfast (Main Lobby SCCC)

• 8:30 - 10:00 am ONS Keynotes (Exhibition Hall A)

  With the general ONS audience

• Martin Casado (Andreessen Horowitz)

  Make SDN Real

  John Donovan (AT&T)

  Amin Vahdat (Google)

• 10:00 - 10:30 am Break, with Demos (Expo Hall)

• 10:30 - 11:30 am SOSR Keynote Session 2

• Nate Foster (Cornell University)

  The Next 700 Network Programming Languages

  Specification and verification of computer networks has become a reality in recent years, with the emergence of domain-specific programming languages and automated reasoning tools. But the design of these frameworks has been largely ad hoc, driven more by the needs of applications and the capabilities of hardware than by any foundational principles. This talk will present NetKAT, a language for programming networks based on a well-studied mathematical foundation: regular languages and finite automata. The talk will describe the design of the language, its semantic underpinnings, and discuss ongoing work extending the language with stateful and probabilistic features.

• 11:30 am - 12:20 pm Session 4: Network Management

  Session Chair: Boon Thau Loo (University of Pennsylvania)

• Concise Encoding of Flow Attributes in SDN Switches  (Best Paper)

  Long

  Robert MacDavid (Princeton University); Rüdiger Birkner (ETH Zürich); Ori Rottenstreich, Arpit Gupta, Nick Feamster, Jennifer Rexford (Princeton University)

• Magneto: Unified Fine-grained Path Control in Legacy and OpenFlow Hybrid Networks 

  Long

  Cheng Jin (University of Minnesota); Cristian Lumezanu, Qiang Xu (NEC Laboratories America); Hesham Mekky, Zhi-Li Zhang (University of Minnesota); Guofei Jiang (NEC Laboratories America)

• 12:20 - 2:00 pm Demo Session and Lunch (Expo Hall)

  Demo and Poster Chairs: Marco Canini (KAUST) and Chang Kim (Barefoot Networks)

• Adversarial Network Forensics in Software Defined Networking

  Stefan Achleitner, Thomas La Porta, Trent Jaeger, Patrick McDaniel (Pennsylvania State University)

  SDN-enabled Traffic Engineering and Advanced Blackholing at IXPs

  Christoph Dietzel (TU Berlin / DE-CIX); Gianni Antichi (University of Cambridge); Ignacio Castro, Eder L Fernandes (Queen Mary, University London); Marco Chiesa (Université catholique de Louvain); Daniel Kopp (DE-CIX)

  IPv6 Segment Routing to the End Host: A Linux Kernel Implementation

  David Lebrun (Université catholique de Louvain)

  Implementing iptables using a programmable stateful data plane abstraction

  Luca Petrucci, Marco Bonola, Salvatore Pontarelli, Giuseppe Bianchi (CNIT / University of Rome Tor Vergata); Roberto Bifulco (NEC Laboratories Europe)

  Programming Distributed Control Planes (invited)

  Ryan Beckett (Princeton University); Ratul Mahajan, Jitendra Padhye (Microsoft); Todd Millstein (UCLA); David Walker (Princeton University)

• 2:00 - 3:50 pm Session 5: Correctness

  Session Chair: Colin Dixon (Brocade)

• Decentralized Consistent Updates in SDN 

  Long

  Thanh Dang Nguyen (University of Chicago); Marco Chiesa (Université catholique de Louvain); Marco Canini (KAUST)

• Adversarial Network Forensics in Software Defined Networking (Best Student Paper)

  Long

  Stefan Achleitner, Thomas La Porta, Trent Jaeger, Patrick McDaniel (Pennsylvania State University)

• NEAt: Network Error Auto-Correct

  Short

  Wenxuan Zhou, Jason Croft, Bingzhe Liu, Matthew Caesar (University of Illinois at Urbana-Champaign)

• SDX-Based Flexibility or Internet Correctness? Pick Two!

  Short

  Rüdiger Birkner (ETH Zürich); Arpit Gupta, Nick Feamster (Princeton University); Laurent Vanbever (ETH Zürich)

• "Let me rephrase that": Transparent optimization in SDNs

  Short

  Santhosh Prabhu, Mo Dong, Tong Meng, Brighten Godfrey, Matthew Caesar (UIUC)

• BigBug: Practical Concurrency Analysis for SDN 

  Short

  Roman May, Ahmed El-Hassany, Laurent Vanbever, Martin Vechev (ETH Zürich)

• 3:50 - 4:05 pm SOSR Business Meeting

  Lead by: SOSR Steering Committee

• 4:05 - 4:20 pm Break (Main Lobby SCCC)

• 4:20 - 5:00 pm ONS Keynotes (Exhibition Hall A)

  With the general ONS audience

• Rashesh Jethi (Amadeus)

  Redefining travel industry tech: how software defined networking and data centers move millions of people every day!

  Alex Choi (SK Telecom)

  Road to 5G with Open Source