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)