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.

You can register to attend this event here.

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
- Language Design (slides)
- Architecture (slides)
- API (slides)

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)

Parking:

Free parking available at the Galvez Lot across the street from the Arrillaga Alumni Center at the intersection of Galvez St and Campus Dr.

Here are instructions on how the code entry works at the pay machines:

a. First park, remember your stall number and walk up to a pay machine.
b. Touch any key to wake the machine if asleep
c. Enter your stall number and Press [OK] to Continue
d. Select #1 to Purchase a Ticket
e. On the next screen, select (#2) All Day Parking Option
f. Select “Yes” when it asks if you have an event code
g. Enter the event code (3256) and press OK
h. You’ll receive a series of messages that say “Completing Payment Please Wait” then “Free Parking” message appears briefly. “Completing Payment” appears again
i. Printing Receipt appears and the transaction is complete. No need to display receipt on dashboard

Once parked, please keep an eye out for P4.org sandwich boards, which will lead you from the lot to the entrance of Arrillaga Alumni Center.