可解释网络验证框架SpecLens提升配置理解效率 上海科技大学
上海科技大学陈浩贤课题组提出可解释网络验证框架SpecLens，通过生成局部子规约（subspec）解释网络配置与设计意图的关联，解决现有工具难以解释验证结果的问题。该框架可生成设备级、配置行级和字段级子规约，用户研究显示准确率提升52%，完成时间缩短23%，并在真实网络和大型FatTree网络上验证了可扩展性。成果发表于ACM SIGCOMM 2026，合作单位包括南加州大学和西安交通大学。