About Us

We are a research lab of ANTS (Advanced NeTworked Systems) group, led by Prof. Peng Zhang.

Our lab focuses on the verification, simulation, and synthesis of large-scale computer networks.

We have proposed the data plane verifiers, APKeep (NSDI'20) and MNV (CoNEXT'23), and control plane verifiers, DNA (NSDI'22), SRE (SIGCOMM'22), and Expresso (SIGCOMM'24). Some of them are already open sourced.

Undergraduate students who are highly self-motivated, and interested in this research direction, are welcome to join our NetVerify lab (contact: p-zhang@xjtu.edu.cn)

News
Oct 13, 2026
Ning Kang Joined the Lab as a Faculty Member
Welcome Dr. Ning Kang, who joined the NetVerify Lab as an Assistant Professor after completing a Ph.D. at Xi'an Jiaotong University.
Sep 24, 2026
Understanding Generalization through Decision Pattern Shift is Accepted by NeurIPS 2026
Authors: Huiqi Deng, Yibo Li, Quanshi Zhang, Peng Zhang, Hongbin Pei, Xia Hu
Sep 18, 2026
Two Papers (Astragalus and Clockwork) are Accepted by ATC 2026
Astragalus — Authors: Zhenrong Gu, Peng Zhang, Xing Feng, Xu Liu; Clockwork — Authors: Hao Li, Yihan Dang, Danfeng Shan, Peng Zhang
Jul 23, 2026
Revisiting Network Support for Packet-level Load-balancing in RoCE is Accepted by NSDI 2027 (Spring)
Authors: Jinchao Ma, Ran Shu, Danfeng Shan, Wenxue Cheng, Jinnuo Du, Zhixiong Niu, Peng Zhang, Yongqiang Xiong
May 12, 2026
Two Papers (Nvwa and SpecLens) are Accepted by SIGCOMM 2026
Nvwa — Authors: Wenkai Li, Ran Shu, Peng Zhang, Yiren Zhao, Danfeng Shan, Yongqiang Xiong; SpecLens — Authors: Yongzheng Zhang, Yaxuan Lin, Haoxian Chen, Ruize Ma, Amirmohammad Nazari, Mukund Raghothaman, Peng Zhang
Feb 07, 2026
VeriBoost Is Accepted by FM 2026
Authors: Ning Kang, Peng Zhang, Hao Li, Jianyuan Zhang
Dec 26, 2025
AccessRefinery Is Accepted by FSE 2026
Authors: Ning Kang, Peng Zhang, Jianyuan Zhang, Hao Li, Dan Wang, Zhenrong Gu, Weibo Lin, Shibiao Jiang, Zhu He, Xu Du, Longfei Chen, Jun Li, Xiaohong Guan
Dec 21, 2025
Two Papers (REAL and NanoPL) are Accepted by NSDI 2026, REAL Wins the Community Award
REAL — Authors: Ze Xia, Hao Li, Jinyu Fu, Xin Wan, Yihan Dang, Danfeng Shan, Li Chen, Peng Zhang; NanoPL — Authors: Yihan Dang, Hao Li, Ze Xia, Jiajun Luan, Peng Zhang
Sep 25, 2025
Relia is Accepted by ASE 2025
Authors: Dan Wang, Peng Zhang, Zhenrong Gu, Weibo Lin, Shibiao Jiang, Zhu He, Xu Du, Longfei Chen, Jun Li, Xiaohong Guan
Sep 24, 2025
NetMiner is Accepted by TON 2025
Authors: Ning Kang, Peng Zhang, Hao Li, Sisi Wen, Chaoyang Ji, Yongqiang Yang