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 14, 2026
Dan Wang Successfully Defended Her Ph.D. Dissertation
Congratulations to Dr. Dan Wang on successfully defending her Ph.D. dissertation on October 14, 2026!
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
Sep 18, 2026
Two Papers (Astragalus and Clockwork) are Accepted by ATC 2026
Jul 23, 2026
Revisiting Network Support for Packet-level Load-balancing in RoCE is Accepted by NSDI 2027 (Spring)
May 12, 2026
Two Papers (Nvwa and SpecLens) are Accepted by SIGCOMM 2026
Feb 07, 2026
VeriBoost Is Accepted by FM 2026
Dec 26, 2025
AccessRefinery Is Accepted by FSE 2026
Dec 21, 2025
Two Papers (REAL and NanoPL) are Accepted by NSDI 2026, REAL Wins the Community Award
Sep 25, 2025
Relia is Accepted by ASE 2025