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
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
Clockwork is Accepted by ATC 2026
Authors: Hao Li, Yihan Dang, Danfeng Shan, Peng Zhang
Sep 18, 2026
Astragalus is Accepted by ATC 2026
Authors: Zhenrong Gu, Peng Zhang, Xing Feng, Xu Liu
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
Nvwa is Accepted by SIGCOMM 2026
Authors: Wenkai Li, Ran Shu, Peng Zhang, Yiren Zhao, Danfeng Shan, Yongqiang Xiong
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
REAL Is Accepted by NSDI 2026 (Community Award)
Authors: Ze Xia, Hao Li, Jinyu Fu, Xin Wan, Yihan Dang, Danfeng Shan, Li Chen, 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
Apr 27, 2025
S2 is Accepted by SIGCOMM 2025
Authors: Dan Wang, Peng Zhang, Wenbing Sun, Wenkai Li, Xing Feng, Hao Li, Jiawei Chen, Weirong Jiang, Yongping Tang
Apr 23, 2025
Nvwa is Accepted by APNet 2025
Authors: Wenkai Li, Ran Shu, Peng Zhang, Yongqiang Xiong
Mar 06, 2025
NDD is Accepted by NSDI 2025 (Outstanding Paper Award)
Authors: Zechun Li, Peng Zhang, Yichi Zhang, Hongkun Yang
Oct 31, 2024
Automatic Configuration Repair is Accepted by HotNets 2024
Authors: Xu Liu, Peng Zhang, Anubhavnidhi Abhashkumar, Jiawei Chen, Weirong Jiang
May 04, 2024
Expresso is Accepted by SIGCOMM 2024 (Best Paper Honorable Mention)
Authors: Dan Wang, Peng Zhang, Aaron Gember-Jacobson
May 01, 2024
Website Release
Website for NetVerify lab in ANTS group has been released. Supported by Hugo with a modified version of Blist theme. Get access to it on GitHub Augists/blist-hugo-theme
