Dong Guo, Jian Luo, Kai Gao 0001, Y. Richard Yang. Poster: Scaling Data Plane Verification with Throughput-Optimized Atomic Predicates. In Henning Schulzrinne, Vishal Misra, Eddie Kohler, David A. Maltz, editors, Proceedings of the ACM SIGCOMM 2023 Conference, ACM SIGCOMM 2023, New York, NY, USA, 10-14 September 2023. pages 1141-1143, ACM, 2023. [doi]
Abstract is missing.