March 26-29, 2018 - Los Angeles, CA
Click Here For Information & Registration
Back To Schedule
Wednesday, March 28 • 12:15pm - 12:45pm
SOSR Session 2: Verification

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

Feedback form is now closed.
You must be registered for SOSR to attend this session. To sign up, please add SOSR to your existing Open Networking Summit North America 2018 registration here.

  • Uncovering Bugs in P4 Programs with Assertion-based Verification - Lucas Freire, Miguel Neves, Lucas Leal, and Alberto Schaeffer-Filho (UFRGS), Kirill Levchenko (UC San Diego), Marinho Barcellos (UFRGS)
  • p4pktgen: Automated Test-Case Generation for P4 Programs - Andres Noetzli (Stanford University), Jehandad Khan (Virginia Tech), Andy Fingerhut (Cisco), Clark Barrett (Stanford University), Peter Athanas (Virginia Tech)

Wednesday March 28, 2018 12:15pm - 12:45pm PDT
Roosevelt A&B