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.
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
Sep 24, 2025
NetMiner is Accepted by TON 2025
Apr 27, 2025
S2 is Accepted by SIGCOMM 2025
Apr 23, 2025
Nvwa is Accepted by APNet 2025
Mar 06, 2025
NDD is Accepted by NSDI 2025 (Outstanding Paper Award)
Oct 31, 2024
Automatic Configuration Repair is Accepted by HotNets 2024
May 04, 2024
Expresso is Accepted by SIGCOMM 2024 (Best Paper Honorable Mention)
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
