Poster for SIGCOMM'23: Scaling Data Plane Verification with Throughput-Optimized Atomic Predicates
Powerpoint rules!