现任计算机学院硕士生导师，中国计算机学会高级会员，系统软件与开源发展委员会执行委员。第四届全国计算机科学技术名词编写委员会计算机系统软件分委会编委。

博士毕业于北京大学，硕士毕业于中国科学技术大学，本科毕业于中南大学。

博士期间由北大软件所程序设计语言研究室培养。

博士导师：熊英飞。

博士合作导师：胡振江（IEEE Fellow）、张路、郝丹。

读博期间受新加坡国立大学 (National University of Singapore) 全额资助访问，合作导师：Abhik Roychoudhury 教授（ACM Fellow）。

工作后赴新加坡管理大学公派访问。

研究方向：

1）编译器等系统软件的缺陷挖掘。

2）智能化软件测试与调试。

3）智能化代码自动生成。

我们致力于软件系统可靠性与智能开发技术的研究，已累计向 GCC/LLVM 提交 140+ 个 bug、向 Rust 编译器提交 60+ 个 bug，并向国产“仓颉”语言编译器提交 100+ 个 bug。相关成果已成功应用于龙芯、华为等国内领先企业，提升编译器测试与优化。

一作文章获得中国首次 ISSTA (CCF-A类顶会) ACM SIGSOFT 杰出论文奖，发表北京交通大学学校首篇软工方向顶会 (ASE-21，CCF-A)，学校首篇程序设计语言方向顶会(OOPSLA-25，CCF-A)，学院首篇 IEEE TSE（CCF-A，中科院1区），Science China Information Sciences 论文 (CCF-A类期刊, 中科院1区) 入选封面文章。ICSME'25 (CCF-B) 论文获得 IEEE TCSE 杰出论文奖。

学术界与北大、南大、复旦、浙大、上交、天大、北航、北理、中科院计算所、中科院软件所、UIUC、KCL、NUS、NTU、SMU等国内外顶尖院所保持良好合作的关系，能够推荐本科生保外/留学，欢迎进组科研。

工业界与多家大厂团队合作，长期推荐学生实习就业，组内中上水平的学生均有一线大厂实习经历和Offer。

欢迎喜欢编译器、系统软件、AI 赋能软件开发等方向的同学报考硕士，或本科阶段参与编译相关比赛。

2021-至今, 北京交通大学计算机学院, 讲师/硕士生导师。

2023-2024, Singapore Management University, 国家公派访问学者（国家留学基金委全额资助）。

[谷歌学术|个人主页]

注: 标记"*"的作者为通讯作者.

1. 陈明达, 王博*, 林友芳, 张洁. CAMUS: Context-Aware Neural Mutation Selection. APSEC'25 (软工方向CCF-C类会议).
2. 王博, 陈冲, 邓明, 陈俊洁, 张星, 林友芳, 郝丹, 孙军. Fuzzing C++ Compilers via Type-Driven Mutation. OOPSLA'25 (程序设计语言方向CCF-A类会议，学校首篇PL顶会).
3. 王博, 邓明, 陈明达, 林友芳, 周建祎, 张洁. Assessing the Effectiveness of Recent Closed-source Large Language Models in Fault Localization and Automated Program Repair. AUSE'25 (软工方向CCF-B类期刊, SCI).
4. 姜佳君, 李丰杰, 赵梓杰, 叶枝睿, 刘梦娇, 王博, 张洪宇, 陈俊洁. Boosting Redundancy-based Automated Program Repair by Fine-grained Pattern Mining. ICSME'25 (软工方向CCF-B类会议, IEEE TCSE杰出论文奖).
5. 王博, 陈冲, 陈俊洁, 徐博文, 叶晨, 林友芳, 董国良, 孙军. A Comprehensive Study of OOP-Related Bugs in C++ Compilers. TSE'25 (软工方向CCF-A类期刊, 中科院1区，学院首篇TSE).
   
6. 蔡雪萌, 刘佳琨, 黄希平, 俞一峻, 吴海涛, 李春淼, 王博, Imam Nur Bani Yusuf, 蒋凌霄. RustMap: Towards Project-Scale C-to-Rust Migration via LLM and Program Analysis. ICECCS'25 (软工方向CCF-C类会议).
   
7. 李博诺, 王博*, 陈明达, 林友芳, 江云松, 陈睿, 李鹏宇. 基于大语言模型的C程序单元测试方法. 空间控制技术与应用 2025 (中文核心期刊).
8. 王博, 陈冲, 邓明, 董震, 林友芳, 郝丹. 移动应用GUI测试自动生成技术综述. 软件学报 2025 (CCF-A类中文期刊).
   
9. 王博, 韦金康, 陈明达, 陈冲, 林友芳, 张洁. A Systematic Exploration of Mutation-Based Fault Localization Formulae. STVR'25 (软工方向CCF-B类期刊, SCI).
10. 陈湘萍*, 胡星*, 黄袁, 江贺*, 计卫星, 姜艳杰*, 蒋炎岩*, 刘博, 刘辉, 李晓晨, 连小利*, 孟国柱*, 彭鑫*, 孙海龙*, 石琳*, 王博*, 王翀, 王加益, 王甜甜*, 玄跻峰*, 夏鑫, 杨已彪*, 杨艺欣, 张莉, 周毓明*, 张路*. Deep Learning-based Software Engineering: Progress, Challenges, and Opportunities. SCIENCE CHINA Information Sciences 2025 (CCF-A类期刊, 中科院1区, 封面文章).
    
11. 杨林, 杨晨, 高树韬, 王维靖, 王博, 朱琪豪, 储啸, 周建祎, 梁广泰, 王千祥, 陈俊洁. On the Evaluation of Large Language Models in Unit Test Generation. ASE'24 (软工方向CCF-A类会议).
    
12. 张路*, 刘辉*, 姜佳君*, 王博*. 面向复杂软件的缺陷检测与修复技术专题前言. 软件学报 2024 (CCF-A类中文期刊).
13. 陈冲, 王博*, 林友芳. A Systematic Mapping Study of LLM Applications in Mobile Device Research. MADM'24 (EI).
14. 肖云安, 杨晨阳, 王博, 熊英飞. Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling. TSE'24 (软工方向CCF-A类期刊, 中科院1区).
    
15. 江盛贝, 张家宝, 陈蔚, 王博*, 周建祎, 张洁. Evaluating Fault Localization and Program Repair Capabilities of Existing Closed-Source General-Purpose LLMs. LLM4Code@ICSE'24 (EI).
    
16. 王博, 刘桂壮, 林友芳, 任爽, 李红辉, 张大林. Enhanced Evolutionary Automated Program Repair by Finer-Granularity Ingredients and Better Search Algorithms. JSEP'23 (软工方向CCF-B类期刊, SCI).
    
17. 肖云安, 杨晨阳, 王博, 熊英飞. ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems. ASE'23 Tool Demo Track (软工方向CCF-A类会议).
18. 王博, 刘桂壮, 林友芳, 任爽, 李红辉, 张大林. Enhanced Evolutionary Automated Program Repair by Finer-Granularity Ingredients and Better Search Algorithms. Internetware'22 (软工方向CCF-C类会议).
    
19. 熊英飞, 王博. L2S: A Framework for Synthesizing the Most Probable Program under a Specification. TOSEM'22 (软工方向CCF-A类期刊, 中科院1区).
    
20. 王博, 卢思睿, 熊英飞, 刘峰. Faster Mutation Analysis with Fewer Processes and Smaller Overheads. ASE'21 (软工方向CCF-A类会议，学校首篇软工顶会).
    
21. 高祥, 王博*, Gregory J. Duck, 吉如一, 熊英飞, Abhik Roychoudhury. Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction. TOSEM'21 (软工方向CCF-A类期刊, 中科院1区, 并作为Journal First在CCF-A类会议FSE 21上宣讲).
22. 王博, 卢思睿, 姜佳君, 熊英飞. 基于动态分析的软件不变量综合技术综述. 软件学报 2020 (CCF-A类中文期刊).
23. 熊英飞, 王博, 伏贵荣, 臧琳飞. Learning to Synthesize. GI@ICSE'18.
24. 王博, 熊英飞, 史杨勍惟, 张路, 郝丹. Faster Mutation Analysis via Equivalence Modulo States. ISSTA'17 (软工方向CCF-A类会议, 获得 ACM SIGSOFT 杰出论文奖, 国内首篇 ISSTA 获奖文章).
25. 王博. Dynamic Analysis of Shared Execution in Software Product Line Testing. SPLC'16.
    

• 国家自然科学基金“青年基金”：动静结合的变异分析加速方法研究，2023-2025，主持
  
• 校科技基金人才基金：变异测试加速方法研究，2022-2024，主持
• 中科龙芯合作科研项目：LoongArch编译器自动测试方法研究，2022-2023，主持
• 国家重点研发计划：大模型概念学习理论及关键技术研究，项目骨干，参与
  

学术任职

• 中国计算机学会高级会员、系统软件专委会执行委员、开源发展技术委员会执行委员
• 第四届全国计算机科学技术名词编写委员会计算机系统软件分委会编委（编程语言方向）
• 中国软件大会'25，软件缺陷自动修复挑战赛，论坛主席
  
• 中国软件大会'24，软件缺陷自动修复挑战赛，论坛主席
  
• 中国软件大会'23，"面向复杂软件的缺陷检测与修复"专栏，论坛主席
  
• 《软件学报》'23，特约编辑
  
• Journal of Software: Evolution and Process'22 (CCF-B刊，SCI)，特约编辑
• 中国软件大会'22，"软件缺陷的自动发现与修复"专栏，论坛主席
  
• ASE'21 (CCF-A会)，Session Chair
  
• Internetware'20 (CCF-C会)，Session Chair
  

会议审稿人

• FSE (软工CCF-A)：2025
• ASE (软工CCF-A)：2023, 2024, 2025
• ICST (软工CCF-C，国际软件测试会议)：2022, 2023, 2024
  
• Internetware (软工CCF-C)：2022, 2024

硕士研究生

• 2025级：王芃阳、马剑、高雨晨
• 2024级：邓明、陈岳洋、李明慧
  
• 2023级：陈明达（推荐至蚂蚁金服实习）、李博诺、叶晨（腾讯实习）

• 2022级（首届学生）：陈冲（推荐至华为2012编译组实习留用，入围校级优秀硕士毕业论文评选）、韦金康（推荐华为代码大模型组实习，去向：中国结算）

本科生竞赛

    1. 邓明：2023全国大学生系统能力操作系统设计赛功能赛道全国总决赛三等奖

• 孙齐：《Rust编译器的自动测试工具的设计与实现》2025校级优秀毕设，入围北京市级优秀毕设提名
  
• 舒航：《基于栈哈希的漏洞根因自动定位方法研究》2023校级优秀毕设
• 张家宝、江盛贝、陈蔚：《现有大语言模型对Java代码缺陷定位和修复能力的实证研究》2024北京市级项目

• 计算机系统导论，专业主干课，课程负责人
• 编译原理，专业主干课，主讲教师
• 全国大学生计算机系统能力大赛，国家级本科生学科竞赛，竞赛负责人

1. ACM SIGSOFT 杰出论文奖（2017），软工 CCF-A类会议 ISSTA 上的中国第一次获奖
2. APSEC 2017（CCF-C类国际会议）受邀报告
   
3. 全国应用与软件会议 2018（即中国软件大会前身）优秀博士生论坛
4. 北京大学2016学生运动会4*100冠军、4*400第5名
5. 2021北京交通大学教工运动会100米亚军、400米亚军
6. 2022全国大学生系统能力大赛优秀指导教师
7. 2022北京交通大学计算机学院青年教师基本功比赛二等奖
8. 2023北京交通大学计算机学院奖教金
   
9. 2023北京交通大学教工运动会100米第4名、400米第4名
   
10. 2023全国大学生系统能力大赛优秀指导教师
11. 2023北京高校优质本科教案
12. 北京交通大学握奇奖教金
13. 中国软件大会2024“软件研究成果原型系统竞赛”优胜奖
14. 北京交通大学本科教学成果二等奖
15. 2025北京交通大学计算机学院师德师风先进个人
16. 2025中国高校计算机教育大会“教学案例大赛”优秀奖
17. IEEE TCSE 杰出论文奖，于 ICSME'25 获得 (软工CCF-B类国际会议)