Poster: Scaling Data Plane Verification with Throughput-Optimized Atomic Predicates.

Dong Guo, Jian Luo, Kai Gao, Y. Richard Yang

Browse the full SIGCOMM paper archive.