报告人：王博 讲师 北京交通大学

报告时间：2025年7月22日上午9:00-12:00

报告地点：av电影 九龙湖校区计算机楼413室

报告摘要：《如何做好科研——以编译器测试为例》旨在通过我近年来在编译器自动化测试领域的探索与实践，分享从发现问题到提出解决方案的完整科研过程。作为程序正确性与性能的基石，编译器内部往往隐藏着复杂且难以察觉的缺陷。我们小组先后对GCC、LLVM、国产仓颉编译器开展系统性测试，累计发现并报告了数百个新缺陷，部分缺陷已存在多年且长期影响下游软件。我们不仅关注如何“发现”问题，更注重问题的机制性归因、工具方法的迭代优化，以及研究成果在工业界的落地。本报告以这些编译器测试项目为例，总结系统软件方向的科研思路与方法。

报告人简介：王博，北京交通大学计算机科学与技术av电影讲师、硕士生导师，CCF高级会员、CCF系统软件专委执行委员、CCF开源发展委员会执行委员。分别于北京大学、中国科学技术大学和中南大学获得博士、硕士和学士学位。研究兴趣为软件测试与调试，已在ASE、ISSTA、TOSEM、软件学报等会议期刊发表二十余篇论文。担任TSE、TOSEM、TDSC、EMSE、JSS、ASEJ、IET Software、JSME、软件学报等多个期刊审稿人，担任FSE、ASE、ICST、Internetware等会议程序委员会成员。获得 ISSTA ACM SIGSOFT杰出论文奖，全国大学生系统能力大赛优秀指导教师，北京市高校优质教案，北京交通大学本科教学成果等奖励。