彩票平台大全 在程序设计语言领域顶级国际会议OOPSLA 2025发表论文
发布时间:2025-09-04 阅读次数:
近日，彩票平台大全 王博老师、研究生陈冲、邓明、林友芳教授，与天津大学陈俊洁教授、北京大学张星博士和郝丹教授、新加坡管理大学（SMU）孙军教授合作完成的论文 《Fuzzing C++ Compilers via Type-Driven Mutation》 被国际顶级学术会议 OOPSLA 2025 接收。
OOPSLA（全称 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications）是中国计算机学会（CCF）推荐的程序设计语言领域三大A类国际会议之一，聚焦编程语言、编译系统与程序运行时环境的前沿研究，是推动程序设计语言与编译器技术发展的重要学术平台。
本论文是彩票平台大全 作为第一完成单位在程序设计语言方向发表的首篇CCF A类会议论文，标志着彩票平台大全 在该领域研究中取得了重要进展。
研究团队针对C++这一关键系统级编程语言提出了面向类型系统的基于变异的模糊测试方法 TyMut。该方法系统性地探索了C++类型系统相关的编译器实现漏洞，并在两个最主流的C++编译器 GCC 和 Clang 上取得了显著成果：
+ 共提交 102个新发现的bug，其中 56个已被确认；
+ 在被确认的bug中，39个潜伏超过5年，最长的隐藏达22年；
+ 其中1个长期存在的bug被开发者确认是TensorFlow在2025年1月编译错误的根因；
+ 1个bug被开发者提交至C++标准委员会进行讨论。
该研究不仅显著提升了C++编译器测试的系统性和有效性，也为保障大型软件生态的可靠性与安全性提供了有力支撑，体现了彩票平台大全 在编程语言与编译技术前沿领域的创新能力与国际影响力。