P4 - Language Consortium

4th P4 Workshop
2017-05-17 08:00 - 18:30 UTC
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

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)

Sponsors:
AT&T Barefoot Networks Cisco Google Netronome Xilinx

P4 Developer Day Spring 2017
2017-05-16 08:00 - 18:30
A joint presentation by Stanford University and P4 Language Consortium.

Held at Arrillaga Alumni Center, Stanford University on Tuesday, May 16, 2017.

Agenda

8:00 – 9:00

Registration and Breakfast

9:00 – 9:10

Welcome and Introductions

Professor Nick McKeown (Stanford) and Professor Nate Foster (Cornell)

9:10 – 10:40

P4_16 Tutorial (Part 1)

by P4.org

The full set of slides for P4_16 tutorial are available here.

10:40 – 11:00

Break

11:00 – 12:30

P4_16 Tutorial (Part 2)

by P4.org

12:30 – 1:30

Lunch

1:30 – 4:00

Hands-on Lab (Parallel Track – McCaw Hall)

P4_16 BMv2

by P4.org

Please follow the following instructions to get setup for the BMv2 Lab:

Download and install the latest version of Virtual Box, version 5.1.22, for your platform here.
Download the P4 D2 2017 virtual appliance (.ova) file here. This is a large(~3GB) file and can take a while to download depending on your download speed.
Double click the virtual appliance (.ova) file downloaded in step 1 or Import it using instructions here.
The minimum system requirements are 8GB (16GB preferred) and ~32GB free space on hard-drive.
Here are login credentials for the VM – username/password p4/p4
The presentation used for giving instructions for getting setup and an overview of the exercises is available here.

1:30 – 4:00

Hands-on Lab (Parallel Track – Fisher Room)

P4_16 NetFPGA

by NetFPGA
Slides used in this session are available here.

4:00 – 4:20

Break

4:20 – 5:20

Talk (Parallel Track – McCaw Hall)

P4 mapping to Barefoot Tofino

by Barefoot Networks
Slides used in this session are available here.

4:20 – 5:20

Talk (Parallel Track – Fisher Room)

P4 mapping to Netronome SmartNIC

by Netronome
Slides used in this session are available here.

5:20 – 5:30

Closing Remarks

5:30 – 6:30

Reception

Sponsors:

AT&T Barefoot Networks Cisco Google
