关于我们
我们是一个由张鹏教授领导的先进网络系统（ANTS）小组研究实验室，专注于大规模计算机网络的验证、模拟和合成。
新闻
Oct 14, 2026
王丹顺利通过博士学位论文答辩
祝贺王丹博士于 2026 年 10 月 14 日顺利通过博士学位论文答辩！
Oct 13, 2026
康宁加入实验室担任教师
欢迎康宁博士在西安交通大学获得博士学位后，以助理教授身份加入 NetVerify 实验室！
Sep 24, 2026
Understanding Generalization through Decision Pattern Shift 被机器学习顶级会议 NeurIPS 接受啦
Sep 18, 2026
两篇论文（Astragalus 和 Clockwork）被系统顶级会议 ATC 接受啦
Jul 23, 2026
Revisiting Network Support for Packet-level Load-balancing in RoCE 被计算机网络顶级会议 NSDI 接收啦
Dec 26, 2025
AccessRefinery 被软件工程顶级会议 FSE 接受啦
Dec 21, 2025
两篇论文（REAL 和 NanoPL）被计算机网络顶级会议 NSDI 接收啦
Sep 25, 2025
Relia 被软件工程顶级会议 ASE 接受啦
Apr 27, 2025
S2 被计算机网络顶级会议 SIGCOMM 接收啦
Apr 23, 2025
Nvwa 被 APNet'25 接收啦
Mar 06, 2025
NDD 被计算机网络顶级会议 NSDI 接收啦
Oct 31, 2024
Automatic Configuration Repair 被计算机网络会议 HotNets 接收啦
May 04, 2024
Expresso 被计算机网络顶级会议 SIGCOMM 接收啦
May 01, 2024
NetVerify 网站正式上线
先进网络系统（ANTS）小组 NetVerify 网络验证实验室的网站正式上线。由 Hugo 静态框架魔改版 Blist 主题驱动，你可以通过 GitHub Augists/blist-hugo-theme 访问修改后的主题。
