Join Us
Zulip

4th P4 Workshop

A joint presentation by Stanford University and P4 Language Consortium.

 

Held at Arrillaga Alumni Center, Stanford University on Wednesday, May 17, 2017.

Agenda

8:00 – 9:00

  • Registration and Breakfast

9:00 – 9:15

  • Welcome and Introductions
    • Professor Nick McKeown (Stanford) (slides) and Professor Nate Foster (Cornell) (slides)

9:15 – 9:45

  • Updates from the P4.org Working Groups

9:45 – 10:05

  • P4 Program-dependent Controller Interface for SDN Applications
    • Samar Abdi, Waqar Mohsin, Yavuz Yetim (Google) (slides)

10:05 – 10:20

  • Demo Lightning Talks
    • High-Fidelity Validation of P4 Networks with SONiC-P4 Software Switch and CrystalNet (slide)
    • Tool release: P4 to Wireshark packet dissector (slide)
    • SAI behavioral model soft switch (slide)
    • DAIET: Data Aggregation In nETwork (slide)
    • Language-Directed Hardware Design for Network Performance Monitoring (slide)
    • P4-NetFPGA Toolchain: Writing Stateful P4 Programs (slide)

10:20 – 10:55

  • Break and Demo Visits

10:55 – 11:15

  • Making the Switch: Coast to Coast Production P4 White Box Trial
    • Ken Duell (AT&T)

11:15 – 11:35

  • High-Fidelity Validation of P4 Networks with SONiC-P4 Software Switch and CrystalNet
    • Hongqiang Liu, Yibo Zhu (Microsoft Research); Jiaxin Cao, Jitendra Padhye, Guohan Lu, Lihua Yuan (Microsoft) (slides)

11:35 – 11:55

  • dRMT: Disaggregated Programmable Switching
    • Sharad Chole, Andrew Fingerhut, Sha Ma (Cisco Systems);Anirudh Sivaraman (Massachusetts Institute of Technology); Shay Vargaftik (Technion);Alon Berger, Gal Mendelson (Technion); Mohammad Alizadeh (Massachusetts Institute of Technology);  Shang-Tse Chuang, Isaac Keslassy (Technion/VMware); Ariel Orda (Technion); Tom Edsall (Cisco Systems); (slides)

11:55 – 12:15

  • NetCache: Fast In-Network Caching for Key-Value Stores
    • Xin Jin (UC Berkeley and JHU); Xiaozhou Li (Barefoot Networks); Haoyu Zhang (Princeton University); Robert Soulé (Barefoot Networks and Università della Svizzera italiana); Jeongkeun Lee (Barefoot Networks); Nate Foster (Barefoot Networks and Cornell University); Changhoon Kim (Barefoot Networks); Ion Stoica (UC Berkeley) (slides)

12:15 – 12:30

  • Demo Lightning Talks
    • Piggybacking Network Functions on SDN with P4 support (slide)
    • 100G In-Band Network Telemetry with P4 and FPGA (slide)
    • Proposal for a PPPoE Demo (slide)
    • T4P4S: A P4 compiler for a wide variety of targets (slide)
    • Uniform Timestamping in P4 (slide)
    • Track every congestion at any queue in your network (slide)
    • Performant Stateful Security Functions in P4 and C (slide)

12:30 – 2:00

  • Lunch and Demo Visits

2:00 – 2:20

  • The Software Architecture of the P4-16 Reference Compiler
    • Mihai Budiu (VMware Research); Chris Dodd (Barefoot Networks) (slides)

2:20 – 2:40

  • Language-Directed Hardware Design for Network Performance Monitoring
    • Srinivas Narayana, Anirudh Sivaraman, Vikram Nathan, Prateesh Goyal (MIT); Venkat Arun (IIT Guwahati); Mohammad Alizadeh (MIT);  Vimalkumar Jeyakumar (Cisco Tetration analytics); Changhoon Kim (Barefoot networks) (slides)

2:40 – 3:00

  • Executable Formal Semantics of P4 and Applications
    • Ali Kheradmand, Grigore Rosu (University of Illinois at Urbana Champaign) (slides)

3:00 – 3:20

  • A Program Logic for Automated P4 Verification
    • Nate Foster (Barefoot Networks/Cornell University); Cole Schlesinger (Barefoot Networks); Robert Soulé (Barefoot Networks/Universita della Svizzera italiana); Han Wang (Barefoot Networks) (slides)

3:20 – 3:55

  • Break and Demo Visits

3:55 – 4:15

  • The Extensible Network – Evolution in Protocol and Data Plane Agility
    • Daniel Bernier (Bell Canada); Milad Sharif (Barefoot Networks) (slides)

4:15 – 4:35

  • Hybrid P4 Switch
    • Ashkan Aghdai, Yang Xu, H. Jonathan Chao (New York University) (slides)

4:35 – 4:55

  • Deploying P4 Applications in Server-Based Networks
    • Abhijeet Prabhbune, Bapi Vinnakota (Netronome); Huynh Tu Dang, Fernando Pedone, Robert Soulé (Università della Svizzera italiana) (slides)

4:55 – 5:15

  • Sonata: Scalable Streaming Analytics for Network Telemetry
    • Arpit Gupta (Princeton University); Ankita Pawar (Unaffiliated); Rob Harrison (Princeton University); Rüdiger Birkner (ETH Zürich); Marco Canini (KAUST); Nick Feamster, Jennifer Rexford (Princeton University); Walter Willinger (NIKSUN Inc.) (slides)

5:15 – 5:30

  • Closing Remarks

5:30 – 6:30

  • Reception

Demos:

The following demos will be running in Fischer Conference Center and can be visited during breaks.

  • Piggybacking Network Functions on SDN with P4 support
    • Chang Liu, Arun Raghuramu, Chen-Nee Chuah (University of California Davis); Balachander Krishnamurthy (AT&T Labs-Research) (slide)
  • Proposal for a PPPoE Demo
    • Shabbir Khan, Ashok Malani (XFLOW RESEARCH INC.) (slide)
  • Tool release: P4 to Wireshark packet dissector
    • Georgios Nikolaidis (Barefoot Networks) (slide)
  • SAI behavioral model soft switch
    • Yonatan Piasetzky (Mellanox); Guohan Lu (Microsoft) (slide)
  • Language-Directed Hardware Design for Network Performance Monitoring
    • Srinivas Narayana, Anirudh Sivaraman, Vikram Nathan, Prateesh Goyal (MIT); Venkat Arun (IIT Guwahati); Mohammad Alizadeh (MIT);  Vimalkumar Jeyakumar (Cisco Tetration analytics); Changhoon Kim (Barefoot networks) (slide)
  • P4-NetFPGA Toolchain: Writing Stateful P4 Programs
    • Stephen Ibanez (Stanford University); Gordon Brebner (Xilinx Labs) (slide)
  • 100G In-Band Network Telemetry with P4 and FPGA
    • Pavel Benáček, Viktor Puš (CESNET, a.l.e.); Michal Kekely, Lukáš Richter (Netcope Technologies a.s.); Pavel Minařík, Jan Pazdera (Flowmon Networks a.s.) (slide)
  • T4P4S: A P4 compiler for a wide variety of targets
    • Sandor Laki (Eötvös Loránd University) (slide)
  • Uniform Timestamping in P4
    • Hakim Weatherspoon, Dhruv Singhal, Jingbo Wang (Cornell University) (slide)
  • Track every congestion at any queue in your network
    • Jeongkeun Lee, Jithin Thomas (Barefoot Networks) (slide)
  • High-Fidelity Validation of P4 Networks with SONiC-P4 Software Switch and CrystalNet
    • Yibo Zhu, Hongqiang Liu (Microsoft Research); Jiaxin Cao, Jitendra Padhye, Guohan Lu, Lihua Yuan (Microsoft) (slide)
  • Performant Stateful Security Functions in P4 and C
    • Jaco Joubert, David George, Bapi Vinnakota (Netronome) (slide)
  • DAIET: Data Aggregation In nETwork
    • Amedeo Sapio, Ibrahim Abdelaziz, Marco Canini, Panos Kalnis (KAUST) (slide)

Sponsors:

AT&T    Barefoot Networks    Cisco    Google    Netronome    Xilinx

 

Share the Post:

Contact us

Fill out the form below, and we will be in touch shortly.