Loading…
ONE Summit 2024 has ended
In Person
April 29 - May 1, 2024
Learn more and Register to Attend

The Sched app allows you to build your schedule but is not a substitute for your event registration. You must be registered for ONE Summit 2024 to participate in the sessions. If you have not registered but would like to join us, please go to the event registration page to purchase a registration.

Please note: This schedule is automatically displayed in Pacific Daylight Time (UTC -7). To see the schedule in your preferred timezone, please select from the drop-down menu to the right, above "Filter by Date." The schedule is subject to change.
Tuesday, April 30 • 3:40pm - 4:10pm
P4-Based Automated Reasoning - Steffen Smolka, Google

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Tweet Share
Feedback form is now closed.
P4 was originally designed as a language for configuring programmable network pipelines, but is gaining momentum as a specification language for network pipelines that may or may not be programmable, including at Google.
I will discuss how we have been leveraging such machine-readable, unambiguous, vendor-agnostic specifications of our switches to:

* Increase network reliability and development velocity through high-coverage, automated validation.
* Allow our SDN controller to interoperate seamlessly with switches from different vendors, by automatically holding them accountable to the same vendor-agnostic specification.

Speakers
avatar for Steffen Smolka

Steffen Smolka

Staff Software Engineer, Google
Steffen leads the P4-Based Automated Reasoning Group (P4-BAR) at Google, a team that uses P4 as a specification language and builds and applies tools that perform automated switch validation against such a given P4 spec. He also serves as a co-chair of the P4 API Working Group and... Read More →

2024 ONE Summit P4 Based Automated Reasoning pdf
Tuesday April 30, 2024 3:40pm - 4:10pm PDT
212 AB
  Deployment Use Stories: Where Slides Meet the Real World
  • Level Any
  • Presentation Slides Attached Yes