# Program (Zoom, Slack)

- ### Monday, October 11, 2021, 10:30 - 15:30 (US Eastern Time)

- ### 10:30 - 10:45 Opening Remarks

- ### 10:45 - 12:00 Session I: Programmable Networking

  Session Chair: Christian Rothenberg (UNICAMP)

- ### Analyzing Traffic by Domain Name in the Data Plane

  Long

  Jason Kim, Hyojoon Kim, Jennifer Rexford (Princeton University)

- ### NanoTransport: A Low-Latency, Programmable Transport Layer for NICs

  Long

  Serhat Arslan, Stephen Ibanez, Alex Mallery, Changhoon Kim, Nick McKeown (Stanford University)

- ### Nimble: Scalable TCP-Friendly Programmable In-Network Rate-Limiting

  Long

  Vineeth Sagar Thapeta, Komal Shinde, Mojtaba Malekpourshahraki, Darius Grassi, Balajee Vamanan, Brent Stephens (University of Illinois at Chicago)

- ### 12:00 - 13:30 Session II: SDN Control and Programming

  Session Chair: Ryan Beckett (Microsoft)

- ### Performance-Driven Internet Path Selection

  Long

  Maria Apostolaki, Ankit Singla, Laurent Vanbever (ETH Zurich)

- ### P4 Weaver: Supporting Modular and Incremental Programming in P4

  Long

  Ali Fattaholmanan (Università della Svizzera italiana); Mario Baldi (Politecnico di Torino); Antonio Carzaniga (Università della Svizzera italiana); Robert Soulé (Yale University)

- ### Correct-by-Construction Network Programming for Stateful Data-Planes

  Long

  Jedidiah McClurg (Colorado School of Mines)

- ### Helix: Traffic Engineering for Multi-Controller SDN

  Short/WIP

  Nicu Florin Zaicu, Matthew Luckie, Richard Nelson, Marinho Barcellos (University of Waikato)

- ### 13:30 - 14:10 Session III: SDN Applications and Use Case

  Session Chair: Yiting Xia (Max Planck Institute for Informatics)

- ### Accelerating Distributed Deep Learning using Multi-Path RDMA in Data Center Networks

  Long

  Feng Tian, Yang Zhang, Wei Ye, Cheng Jin, Ziyan Wu, Zhi-li Zhang (University of Minnesota - Twin Cities)

- ### Clustreams: Data Plane Clustering

  Short/WIP

  Or Goaz, Roy Friedman, Ori Rottenstreich (Technion)

- ### 14:10 - 14:20 Break

- ### 14:20 - 15:30 Panel I: Advances, Opportunities, and "Non-Traditional" Software-Defined Networking Control

  Panel chair/Moderator: Ben Pfaff (VMware)
  Richard Alimi (Google), Chin Guok (ESnet), Lihua Yuan (Microsoft), Aaron Gember-Jacobson (Colgate University), James Zeng (Facebook), Ennan Zhai (Alibaba)

- ### Tuesday, October 12, 2021 10:00 - 15:00 (US Eastern Time)

- ### 10:00 - 10:50 Keynote

- ### Speaker: Nate Foster (Cornell University)

  ### Title: Toward Verified Data Planes

  Abstract: P4 is a domain-specific language for specifying the behavior of packet-processing systems. It is based on an elegant design with high-level abstractions, such as parsers and match action pipelines, which can be compiled to efficient implementations in hardware or software. Unfortunately, like many industrial languages, P4 lacks a formal foundation. The P4 specification is a 160-page document with a mixture of informal prose, graphical diagrams, and pseudocode. The reference compiler is complex, running to over 40KLoC of C++ code. Clearly neither of these artifacts is suitable for formal reasoning. This talk will introduce a new framework called Petr4 (pronounced "Petra"), that puts P4 on a solid foundation. Petr4 uses standard elements of the semantics engineering toolkit, namely type systems and operational semantics, to build a compositional semantics that assigns an unambiguous meaning to every P4 program. Petr4 is implemented as an OCaml prototype that has been validated against a suite of over 750 tests from the reference implementation. While developing Petr4, we discovered dozens of bugs in the language specification and the reference implementation, many of which have been fixed. Furthermore, we have used Petr4 to establish the soundness of P4’s type system, prove key properties such as termination, and formalize a language extension.

- ### 10:50 - 12:30 Session IV: Robust Networking Validation, Analysis, and Design

  Session Chair: Ennan Zhai (Alibaba)

- ### Tardis: A Fault-Tolerant Design for Network Control Planes

  Long

  Zhenyu Zhou (Duke University); Theophilus A. Benson (Brown University); Marco Canini (KAUST); Balakrishnan Chandrasekaran (Vrije Universiteit Amsterdam)

- ### DBVal: Validating P4 Data Plane Runtime Behavior

  Long

  K Shiv Kumar, Ranjitha K, P S Prashanth (Indian Institute of Technology Hyderabad); Mina Tahmasbi Arashloo (Cornell University); Venkanna U. (International Institute of Information Technology, Naya Raipur); Praveen Tammana (Indian Institute of Technology Hyderabad)

- ### Taproot: Resilient Diversity Routing with Bounded Latency

  Long

  Eman Ramadan, Hesham Mekky, Cheng Jin, Braulio Dumba, Zhi-Li Zhang (University of Minnesota - Twin Cities)

- ### D2R: Policy-Compliant Fast Reroute

  Long

  Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, Aditya Akella (University of Wisconsin-Madison)

- ### 12:30 - 12:50 Break

- ### 12:50 - 13:45 Session V: Data Path Design and Analysis

  Session Chair: Zhi-Li Zhang (University of Minnesota - Twin Cities)

- ### A P4-based 5G User Plane Function

  Short/WIP

  Robert MacDavid (Princeton University); Carmelo Cascone, Pingping Lin, Badhrinath Padmanabhan, Ajay Thakur, Larry Peterson (Open Networking Foundation); Jennifer Rexford (Princeton University); Oguz Sunay (Open Networking Foundation)

- ### How Much TCAM do we Need for Splitting Traffic?

  Long

  Yaniv Sadeh (Tel Aviv University); Ori Rottenstreich (Technion - Israel Institute of Technology); Haim Kaplan (Tel Aviv University)

- ### Telemetry Retrieval Inaccuracy in Programmable Switches: Analysis and Recommendations

  Short/WIP

  Hun Namkung, Daehyeok Kim (Carnegie Mellon University); Zaoxing Liu (Boston University); Vyas Sekar, Peter Steenkiste (Carnegie Mellon University)

- ### 13:45 - 14:55 Panel II: Panel: Advances, Trends, and Challenges in SDN Networking Hardware Design and
  Applications

  Panel Chair/Moderator: Robert Soule (Yale University)
  Gordon Brebner (Xilinx), Matty Kadosh (Nvidia), Mohan Kalkunte (Broadcom), John Marshall (Xsight), Minlan Yu (Harvard University), Noa Zilberman (Oxford University)

- ### 14:55 - 15:00 Close