Incremental Network Configuration Verification. - Peng Zhang 011; Yuhao Huang; Aaron Gember-Jacobson; Wenbo Shi; Xu Liu 013; Hongkun Yang; Zhiqiang Zuo 002 (HotNets, 2020)

APKeep: Realtime Verification for Real Networks. - Peng Zhang 011; Xu Liu 013; Hongkun Yang; Ning Kang 003; Zhengchang Gu; Hao Li 011 (NSDI, 2020)

Differential Network Analysis. - Peng Zhang 011; Aaron Gember-Jacobson; Yueshang Zuo; Yuhao Huang; Xu Liu 013; Hao Li 011 (NSDI, 2022)

Modular Data Plane Verification for Compositional Networks. - Xu Liu 013; Peng Zhang 011; Hao Li 011; Wenbing Sun (PACMNET, 2023)

Automatic Configuration Repair. - Xu Liu 013; Peng Zhang 011; Anubhavnidhi Abhashkumar; Jiawei Chen; Weirong Jiang (HotNets, 2024)