本人参加了在土耳其伊斯坦布尔举办的2026年IEEE/ACM国际服务质量研讨会（IEEE/ACM IWQoS 2026），并在会议期间作学术报告，与国内外学者和产业界专家开展了深入交流。 IEEE/ACM IWQoS创办于1993年，是计算机网络、通信服务质量与网络性能优化领域具有重要影响力的国际学术会议。会议重点关注网络服务质量保障、可编程网络、网络验证、智能网络管理及系统性能优化等前沿方向，每年吸引来自世界各地的专家学者和产业界代表参会，为展示创新研究成果、交流前沿技术进展和探讨实际应用问题提供了重要平台。 本人在会议上报告的论文题为《BGP-Shadow: Accelerating BGP Verification via Programmable Data Planes》（BGP-Shadow：基于可编程数据面加速的BGP配置验证方法）。BGP配置验证是保障大规模网络稳定运行和服务质量的重要技术。然而，现有控制面验证方法在自动化程度与系统可扩展性之间仍存在明显矛盾：单体式验证方法容易遭遇状态空间爆炸，而模块化验证方法通常依赖人工拆解和编写局部不变式，不仅工作量较大，也容易产生遗漏和错误。 针对上述问题，论文提出了BGP-Shadow高性能BGP配置验证框架，利用可编程交换机的高速数据包匹配与处理能力，在数据面中加速BGP路由传播过程的模拟与验证。针对可编程硬件资源有限以及大规模路由状态难以维护等问题，论文设计了两项核心机制：一是拓扑折叠机制，通过交换机内部的数据包循环处理，将复杂的全网拓扑及邻居关系映射到精简的P4流表中；二是混合式状态管理机制，由数据面寄存器与控制面软件协同维护各网络节点的最佳路径状态，从而兼顾数据面处理性能与大规模状态管理能力。 实验结果表明，BGP-Shadow无需人工编写局部不变式，能够实现较高程度的自动化验证。在包含2000个节点的大规模网络场景下，其验证速度相比先进的模块化验证工具Timepiece提升了60%，体现了可编程数据面在复杂控制协议仿真和网络配置验证方面的应用潜力。 会议期间，本人全程参加了主旨报告、技术分会、海报展示和专题研讨等活动，并围绕可编程网络、网络验证和服务质量保障等研究方向，与国内外专家学者进行了深入交流。通过此次会议，本人进一步了解了下一代可编程硬件体系结构、网络数字孪生、智能化网络验证及高速仿真等领域的最新研究进展，也更加全面地认识到可编程数据面加速技术在真实网络环境中面临的硬件资源限制、复杂状态维护、控制面与数据面一致性以及系统工程实现等问题。 在论文报告和交流过程中，多位专家学者围绕拓扑映射方式、硬件算法设计、状态一致性维护、系统可扩展性及真实网络部署等方面提出了有价值的意见和建议。这些反馈有助于进一步完善BGP-Shadow的技术方案，也为后续研究复杂网络场景下的资源优化、状态管理及软硬件协同验证提供了新的思路。同时，本人还与多位相关领域的专家和青年学者建立了学术联系，并就未来可能开展的研究合作进行了初步交流。 此次参加IEEE/ACM IWQoS 2026，是一次重要的学术交流与研究积累。通过在国际学术会议上展示研究成果，本人进一步拓展了学术视野，加深了对网络控制面与数据面协同设计、可编程数据面算法和网络验证技术发展趋势的认识。后续将充分吸收会议期间获得的意见和建议，进一步完善BGP-Shadow系统，重点研究复杂网络环境下的状态一致性、硬件资源约束和系统可扩展性问题，推动网络验证方法从理论研究和实验原型逐步向真实网络环境应用转化，为提高网络系统的稳定性、可靠性和服务质量提供技术支撑。 该团组已进行事后公示，并无异议。 （领队签字） |
