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
S2 is Accepted by SIGCOMM
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
April 23, 2025
Author: Li Wenkai, Ran Shu, Peng Zhang, Yongqiang Xiong
NDD is Accepted by NSDI (Outstanding Paper Award)
March 6, 2025
Author: Zechun Li, Peng Zhang and Yichi Zhang
Automatic Configuration Repair is Accepted by HotNets
October 31, 2024
Author: Xu Liu, Peng Zhang, Anubhavnidhi Abhashkumar, Jiawei Chen, and Weirong Jiang
Expresso is Accepted by SIGCOMM (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