王博

博士 、副教授 、博士生导师

基本信息

办公电话： 电子邮件： wangbo_cs@bjtu.edu.cn
通讯地址：北京市海淀区上园村3号北京交通大学 邮编：100044

教育背景

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

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

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

博士导师：熊英飞。

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

工作后赴新加坡管理大学公派访问孙军教授组。


研究方向：

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

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

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


我们致力于软件系统可靠性与智能开发技术的研究，已累计向 GCC/LLVM 提交 200+ 个 bug（目前80+已被确认）、向 Rust 编译器提交 60+ 个 bug（目前40+已被确认）。相关成果已成功应用于龙芯、华为等国内领先企业，提升编译器测试与优化。


一作文章获得中国首次 ISSTA (CCF-A类顶会) ACM SIGSOFT 杰出论文奖，Science China Information Sciences 论文 (CCF-A类期刊, 中科院1区) 入选封面文章。ICSME'25 (CCF-B) 论文获得 IEEE TCSE 杰出论文奖。

在系统软件/软件工程/程序设计语言方向的CCF-A类会议期刊中，我们团队发表了北京交大首篇 OOPSLA、ASE、FSE、ISSTA、TOSEM。前三届硕士均有 CCF-A 发表（组内40%的硕士以学生一作发表过软件、程序设计语言领域的 CCF-A）。


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

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


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

工作经历

2021-至今, 北京交通大学计算机学院, 讲师、副教授。

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

论文/期刊

[谷歌学术|个人主页]

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

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

科研项目

  • 国家自然科学基金“青年基金”：动静结合的变异分析加速方法研究，2023-2025，主持
  • 中央高校基本科研业务费：变异测试加速方法研究，2022-2024，主持
  • 中央高校基本科研业务费：基于强化学习的单元测试生成技术研究，2025-2027，主持
  • 国家重点研发计划：大模型概念学习理论及关键技术研究，项目骨干，参与

学术服务

学术任职

  • 中国计算机学会高级会员、系统软件专委会执行委员、开源发展技术委员会执行委员
  • 第四届全国计算机科学技术名词编写委员会计算机系统软件分委会编委（编程语言方向）
  • 中国软件大会'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

期刊审稿人

  • ACM Computing Survey
  • IEEE Transactions on Software Engineering (软工 CCF-A 刊，SCI)
  • ACM Transactions on Software Engineering Methodology (软工 CCF-A 刊，SCI)
  • IEEE Transactions on Dependable and Secure Computing (安全 CCF-A 刊，SCI)
  • IEEE Transactions on Reliability (可靠性 CCF-C 刊，SCI)
  • ACM Transactions on Probabilistic Machine Learning (SCI)
  • The Journal of Systems & Software (软工CCF-B 刊，SCI)
  • Empirical Software Engineering (软工CCF-B 刊，SCI)
  • Automated Software Engineering Journal (软工CCF-B刊，SCI)
  • IET Software (软工CCF-B 刊，SCI)
  • Journal of Software: Evolution and Process (软工CCF-B刊，SCI)
  • Journal of Computer Science and Technology (计算机综合 CCF-B刊，SCI)
  • 软件学报 (CCF-A中文期刊)
  • 计算机学报 (CCF-A中文期刊)

指导学生

硕士研究生

  • 2026级：卢可欣、周雨飞
  • 2025级：王芃阳、马剑、高雨晨
  • 2024级：邓明（推荐至百度昆仑芯大模型 Infra组实习）、陈岳洋（腾讯金融实习）、李明慧（百度测开实习）
  • 2023级：陈明达（推荐至蚂蚁金服实习留用）、叶晨（腾讯实习，百度大模型组工作） 、李博诺（转博）
已毕业硕士研究生：
  • 2022级（首届学生）：陈冲（推荐至华为2012编译组实习并取得留用资格，入围校级优秀硕士毕业论文评选，推荐至北理读博）、韦金康（推荐华为代码大模型组实习，去向：中国结算）

博士研究生

  • 2025级： 李博诺

本科生竞赛

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

    2. 舒航、陈晗阳、杨欢：2022全国大学生系统能力竞赛编译系统设计赛（华为毕昇杯）全国总决赛三等奖（152支队伍中前20），舒航由本人推荐至中科院计算所计算机体系结构国家重点实验室直博（国内最顶尖编译组）

    3. 李远铄、陈冲：2022全国大学生系统能力竞赛编译系统设计赛（华为毕昇杯）全国总决赛优胜奖（152支队伍中前30）

本科生毕设/大创

  • 孙齐：《Rust编译器的自动测试工具的设计与实现》校级优秀毕设，全年级400人排名第1，北京市级优秀毕设提名
  • 舒航：《基于栈哈希的漏洞根因自动定位方法研究》校级优秀毕设
  • 张家宝、江盛贝、陈蔚：《现有大语言模型对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类国际会议)
  18. 2025北京交通大学课程思政示范课特等奖（课程：编译原理）
  19. 2025-2026 北京交通大学优秀班主任
  20. 北京交通大学教师教学创新大赛三等奖（课程：计算机系统导论）