我们是一个由张鹏教授领导的先进网络系统（ANTS）小组研究实验室。
我们的实验室专注于大规模计算机网络的验证、模拟和合成。
我们提出了数据平面验证器 APKeep（NSDI'20）和 MNV（CoNEXT'23），以及控制平面验证器 DNA（NSDI'22）、SRE（SIGCOMM'22）和 Expresso（SIGCOMM'24）。其中一些已经开源。
欢迎自学能力强、对该研究方向感兴趣的本科生加入我们的 NetVerify 实验室（联系人：p-zhang@xjtu.edu.cn）。
新闻
S2 被计算机网络顶级会议 SIGCOMM 接收啦
April 27, 2025
作者：王丹，张鹏，孙文冰，李文凯，冯幸，李昊，陈嘉伟，蒋蔚荣，Yongping Tang
Nvwa 被 APNet'25 接收啦
April 23, 2025
作者：李文凯，舒然，张鹏，Yongqiang Xiong
NDD 被计算机网络顶级会议 NSDI 接收啦
March 6, 2025
作者：李泽春，张鹏，张亦驰，Hongkun Yang
Automatic Configuration Repair 被计算机网络会议 HotNets 接收啦
October 31, 2024
作者：刘旭，张鹏，Anubhavnidhi Abhashkumar，陈嘉伟，蒋蔚荣
Expresso 被计算机网络顶级会议 SIGCOMM 接收啦
May 4, 2024
作者：王丹，张鹏，Aaron Gember-Jacobson
NetVerify 网站正式上线
May 1, 2024
先进网络系统（ANTS）小组 NetVerify 网络验证实验室的网站正式上线。由 Hugo 静态框架魔改版 Blist 主题驱动，你可以通过 GitHub Augists/blist-hugo-theme 访问修改后的主题。