HeTu: High-Performance Centralized Parallel Data-Plane Verification for Hyper-Scale DCNs. - Peng Peng; Xun Sun; Zhengtao Shen; Feiyang Ding; Jiawei Chen; Lizhao You; Weirong Jiang; Yongping Tang; Feng Luo (ICNP, 2025)