BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//P4 - Language Consortium - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://p4.org
X-WR-CALDESC:Events for P4 - Language Consortium
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20160101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20170517T080000
DTEND;TZID=UTC:20170517T183000
DTSTAMP:20260427T100405
CREATED:20250912T215924Z
LAST-MODIFIED:20250915T231611Z
UID:10000095-1495008000-1495045800@p4.org
SUMMARY:4th P4 Workshop
DESCRIPTION:A joint presentation by Stanford University and P4 Language Consortium.\n  \nHeld at Arrillaga Alumni Center\, Stanford University on Wednesday\, May 17\, 2017.\nAgenda\n\n8:00 – 9:00 \n\nRegistration and Breakfast\n\n\n9:00 – 9:15 \n\nWelcome and Introductions\n\nProfessor Nick McKeown (Stanford) (slides) and Professor Nate Foster (Cornell) (slides)\n\n\n\n9:15 – 9:45 \n\nUpdates from the P4.org Working Groups\n\nLanguage Design (slides)\nArchitecture (slides)\nAPI (slides)\n\n\n\n9:45 – 10:05 \n\nP4 Program-dependent Controller Interface for SDN Applications\n\nSamar Abdi\, Waqar Mohsin\, Yavuz Yetim (Google) (slides)\n\n\n\n10:05 – 10:20 \n\nDemo Lightning Talks\n\n\nHigh-Fidelity Validation of P4 Networks with SONiC-P4 Software Switch and CrystalNet (slide)\n\n\nTool release: P4 to Wireshark packet dissector (slide)\n\n\nSAI behavioral model soft switch (slide)\n\nDAIET: Data Aggregation In nETwork (slide)\n\nLanguage-Directed Hardware Design for Network Performance Monitoring (slide)\n\n\nP4-NetFPGA Toolchain: Writing Stateful P4 Programs (slide)\n\n\n\n\n\n10:20 – 10:55 \n\nBreak and Demo Visits\n\n\n10:55 – 11:15 \n\nMaking the Switch: Coast to Coast Production P4 White Box Trial\n\nKen Duell (AT&T)\n\n\n\n11:15 – 11:35 \n\nHigh-Fidelity Validation of P4 Networks with SONiC-P4 Software Switch and CrystalNet\n\nHongqiang Liu\, Yibo Zhu (Microsoft Research); Jiaxin Cao\, Jitendra Padhye\, Guohan Lu\, Lihua Yuan (Microsoft) (slides)\n\n\n\n11:35 – 11:55 \n\ndRMT: Disaggregated Programmable Switching\n\nSharad 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)\n\n\n\n11:55 – 12:15 \n\nNetCache: Fast In-Network Caching for Key-Value Stores\n\nXin 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)\n\n\n\n12:15 – 12:30 \n\nDemo Lightning Talks\n\n\nPiggybacking Network Functions on SDN with P4 support (slide)\n\n\n100G In-Band Network Telemetry with P4 and FPGA (slide)\n\n\nProposal for a PPPoE Demo (slide)\n\n\nT4P4S: A P4 compiler for a wide variety of targets (slide)\n\n\nUniform Timestamping in P4 (slide)\n\n\nTrack every congestion at any queue in your network (slide)\n\nPerformant Stateful Security Functions in P4 and C (slide)\n\n\n\n\n12:30 – 2:00 \n\nLunch and Demo Visits\n\n\n2:00 – 2:20 \n\nThe Software Architecture of the P4-16 Reference Compiler\n\nMihai Budiu (VMware Research); Chris Dodd (Barefoot Networks) (slides)\n\n\n\n2:20 – 2:40 \n\nLanguage-Directed Hardware Design for Network Performance Monitoring\n\nSrinivas 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)\n\n\n\n2:40 – 3:00 \n\nExecutable Formal Semantics of P4 and Applications\n\nAli Kheradmand\, Grigore Rosu (University of Illinois at Urbana Champaign) (slides)\n\n\n\n3:00 – 3:20 \n\nA Program Logic for Automated P4 Verification\n\nNate Foster (Barefoot Networks/Cornell University); Cole Schlesinger (Barefoot Networks); Robert Soulé (Barefoot Networks/Universita della Svizzera italiana); Han Wang (Barefoot Networks) (slides)\n\n\n\n\n3:20 – 3:55 \n\nBreak and Demo Visits\n\n\n3:55 – 4:15 \n\nThe Extensible Network – Evolution in Protocol and Data Plane Agility\n\nDaniel Bernier (Bell Canada); Milad Sharif (Barefoot Networks) (slides)\n\n\n\n4:15 – 4:35 \n\nHybrid P4 Switch\n\nAshkan Aghdai\, Yang Xu\, H. Jonathan Chao (New York University) (slides)\n\n\n\n4:35 – 4:55 \n\nDeploying P4 Applications in Server-Based Networks\n\nAbhijeet Prabhbune\, Bapi Vinnakota (Netronome); Huynh Tu Dang\, Fernando Pedone\, Robert Soulé (Università della Svizzera italiana) (slides)\n\n\n\n4:55 – 5:15 \n\nSonata: Scalable Streaming Analytics for Network Telemetry\n\nArpit 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)\n\n\n\n5:15 – 5:30 \n\nClosing Remarks\n\n\n5:30 – 6:30 \n\nReception\n\n\nDemos:\nThe following demos will be running in Fischer Conference Center and can be visited during breaks. \n\nPiggybacking Network Functions on SDN with P4 support\n\nChang Liu\, Arun Raghuramu\, Chen-Nee Chuah (University of California Davis); Balachander Krishnamurthy (AT&T Labs-Research) (slide)\n\n\nProposal for a PPPoE Demo\n\nShabbir Khan\, Ashok Malani (XFLOW RESEARCH INC.) (slide)\n\n\nTool release: P4 to Wireshark packet dissector\n\nGeorgios Nikolaidis (Barefoot Networks) (slide)\n\n\nSAI behavioral model soft switch\n\nYonatan Piasetzky (Mellanox); Guohan Lu (Microsoft) (slide)\n\n\nLanguage-Directed Hardware Design for Network Performance Monitoring\n\nSrinivas 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)\n\n\nP4-NetFPGA Toolchain: Writing Stateful P4 Programs\n\nStephen Ibanez (Stanford University); Gordon Brebner (Xilinx Labs) (slide)\n\n\n100G In-Band Network Telemetry with P4 and FPGA\n\nPavel 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)\n\n\nT4P4S: A P4 compiler for a wide variety of targets\n\nSandor Laki (Eötvös Loránd University) (slide)\n\n\nUniform Timestamping in P4\n\nHakim Weatherspoon\, Dhruv Singhal\, Jingbo Wang (Cornell University) (slide)\n\n\nTrack every congestion at any queue in your network\n\nJeongkeun Lee\, Jithin Thomas (Barefoot Networks) (slide)\n\n\nHigh-Fidelity Validation of P4 Networks with SONiC-P4 Software Switch and CrystalNet\n\nYibo Zhu\, Hongqiang Liu (Microsoft Research); Jiaxin Cao\, Jitendra Padhye\, Guohan Lu\, Lihua Yuan (Microsoft) (slide)\n\n\nPerformant Stateful Security Functions in P4 and C\n\nJaco Joubert\, David George\, Bapi Vinnakota (Netronome) (slide)\n\n\nDAIET: Data Aggregation In nETwork\n\nAmedeo Sapio\, Ibrahim Abdelaziz\, Marco Canini\, Panos Kalnis (KAUST) (slide)\n\n\n\nSponsors:\nAT&T    Barefoot Networks    Cisco    Google    Netronome    Xilinx\n 
URL:https://p4.org/event/4th-p4-workshop/
CATEGORIES:Events
END:VEVENT
END:VCALENDAR