4月28日，第22届USENIX网络系统设计与实现大会（22nd USENIX Symposium on Networked Systems Design and Implementation）在美国费城召开。西安交通大学计算机学院先进网络系统团队（ANTS，https://ants.xjtu.edu.cn/）的论文“NDD: A Decision Diagram for Network Verification”获得USENIX NSDI 2025大会唯一杰出论文奖（Outstanding Paper Award），为国内高校第三次获得该奖项。论文提出了一种新的名为网络决策图的数据结构。网络决策图（Network Decision Digram）针对网络多域匹配决策的特点，对经典的二元决策图（Binary Decision Diagram）数据结构进行了重新设计，将网络验证的时间和空间效率提升了若干数量级。论文的第一作者为本校计算机学院的硕士生李泽春，通信作者为计算机学院张鹏教授。

去年8月，先进网络系统团队（ANTS）已获得网络领域的另一顶级会议ACM SIGCOMM 2024最佳论文提名奖（Best Paper Honorable Mention Award），这也是国内高校第2次获得或提名最佳论文奖。获奖论文提出了名为Expresso的网络配置验证方法，通过对网络配置进行全面的推理，有效识别潜在网络配置错误，为解决困扰互联网的路由泄露、路由劫持等问题提供了新的途径。论文的第一作者为本校计算机学院的博士生王丹，通信作者为计算机学院张鹏教授。

西安交通大学先进网络系统（ANTS）团队从属于智能网络与网络安全教育部重点实验室，由张鹏教授（国家级青年人才）、唐亚哲教授（计算机学院副院长）、李昊副教授（茶思屋学者）、单丹枫副教授（MSRA铸星计划学者）、邓辉琦助理教授（西安交大青年优秀人才）等骨干成员组成。近5年，团队成员承担国家级项目10余项，华为、字节跳动等企业合作项目10余项，获得中国电子学会科技进步一等奖，共计6人次获得华为公司火花奖（为国内获的火花奖最多的团队）以及2024年度华为公司优秀合作项目。根据国际计算机学术排名CSRankings近5年的统计，西安交通大学的网络方向在国内高校中名列第4。

ACM SIGCOMM和USENIX NSDI并称计算机网络领域的两大顶级学术会议，录用率极低。其中，USENIX NSDI 2025共收到666篇投稿，录用了83篇论文，录用率为12.5%，ACM SIGCOMM 2024共收到366篇投稿，录用62篇，录用率为16.9%。