Uncovering Bugs in P4 Programs with Assertion-based Verification SDPROBER: A SOFTWARE DEFINED PROBER FOR SDN Instrumenting Open vSwitch with Monitoring Capabilities: Designs and Challenges Memory and Performance Isolation for a Multi-tenant Function-based Data-plane NS4: Enabling Programmable Data Plane Simulation YATES: Rapid Prototyping for Traffic Engineering Systems Life in the Fast Lane: A Line-Rate Linear Road How to implement complex policies on existing network infrastructure Network-Wide Heavy-Hitter Detection with Commodity Switches p4pktgen: Automated Test Case Generation for P4 Programs Mutual exclusion in distributed systems virtual memory management in multi processor mach os Solutions to byzantine agreement problem 
