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
NDD is Accepted by NSDI
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
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