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
Relia is Accepted by ASE 2025
September 25, 2025
Author: Dan Wang, Peng Zhang, Zhenrong Gu, Weibo Lin, Shibiao Jiang, Zhu He, Xu Du, Longfei Chen, Jun Li, and Xiaohong Guan
NetMiner is Accepted by TON 2025
September 24, 2025
Author: Ning Kang, Peng Zhang, Hao Li, Sisi Wen, Chaoyang Ji, Yong qiang Yang
S2 is Accepted by SIGCOMM 2025
April 27, 2025
Author: Dan Wang, Peng Zhang, Wenbing Sun, Wenkai Li, Xing Feng, Hao Li, Jiawei Chen, Weirong Jiang, and Yongping Tang
Nvwa is Accepted by APNet 2025
April 23, 2025
Author: Li Wenkai, Ran Shu, Peng Zhang, Yongqiang Xiong
NDD is Accepted by NSDI 2025 (Outstanding Paper Award)
March 6, 2025
Author: Zechun Li, Peng Zhang and Yichi Zhang
Automatic Configuration Repair is Accepted by HotNets 2024
October 31, 2024
Author: Xu Liu, Peng Zhang, Anubhavnidhi Abhashkumar, Jiawei Chen, and Weirong Jiang
Expresso is Accepted by SIGCOMM 2024 (Best Paper Honorable Mention)
May 4, 2024
Author: Dan Wang, Peng Zhang and Aaron Gember-Jacobson
Website Release
May 1, 2024
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