王博

博士、讲师、硕士生导师

基本信息

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

教育背景

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

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

博士导师：熊英飞。

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

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

工作后赴新加坡管理大学公派访问，与Jun Sun、David Lo（ACM Fellow）等教授合作。


研究方向：

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

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

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


我们的工作已经累计为 GCC/LLVM 提交30+ bug，为国产语言仓颉编译器提交100+ bug。测试相关成果应用于龙芯、华为等企业。


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

工业界与微软亚洲研究院、华为（代码大模型组、毕昇编译器组、仓颉语言组）等相关团队合作，稳定推荐学生实习就业。

推荐并支持硕士生3-6个月实习。

欢迎喜欢编译器等底层技术和智能化软件开发的同学加入！


详情请见个人主页：https://wangbo15.github.io/

工作经历

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

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

论文/期刊

[谷歌学术|个人主页]

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

  1. [JOS'25] 王博, 陈冲, 邓明, 董震, 林友芳, 郝丹. 移动应用GUI测试自动生成技术综述. 软件学报 2025 (CCF-A类中文期刊).
  2. [STVR'24] 王博, 韦金康, 陈明达, 陈冲, 林友芳, 张洁. A Systematic Exploration of Mutation-Based Fault Localization Formulae. STVR'24 (软工方向CCF-B类期刊, SCI).
  3. [ASE'24] 杨林, 杨晨, 高树韬, 王维靖, 王博, 朱琪豪, 储啸, 周建祎, 梁广泰, 王千祥, 陈俊洁. On the Evaluation of Large Language Models in Unit Test Generation. ASE'24 (软工方向CCF-A类会议).
  4. [SCIS'24] 陈湘萍*, ..., 王博*, ..., 张路*. Deep Learning-based Software Engineering: Progress, Challenges, and Opportunities. SCIENCE CHINA Information Sciences 2024 (CCF-A类期刊, SCI).
  5. [JOS'24] 张路*, 刘辉*, 姜佳君*, 王博*. 面向复杂软件的缺陷检测与修复技术专题前言. 软件学报 2024 (CCF-A类中文期刊).
  6. [TSE'24] 肖云安, 杨晨阳, 王博, 熊英飞. Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling. TSE'24 (软工方向CCF-A类期刊, SCI).
  7. [LLM4Code'24] 江盛贝, 张家宝, 陈蔚, 王博*, 周建祎, 张洁. Evaluating Fault Localization and Program Repair Capabilities of Existing Closed-Source General-Purpose LLMs. LLM4Code@ICSE'24.
  8. [JSEP'23] 王博, 刘桂壮, 林友芳, 任爽, 李红辉, 张大林. Enhanced Evolutionary Automated Program Repair by Finer-Granularity Ingredients and Better Search Algorithms. JSEP'23 (软工方向CCF-B类期刊, SCI).
  9. [ASE'23] 肖云安, 杨晨阳, 王博, 熊英飞. ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems. ASE'23 Tool Demo Track (软工方向CCF-A类会议).
  10. [Internetware'22] 王博, 刘桂壮, 林友芳, 任爽, 李红辉, 张大林. Enhanced Evolutionary Automated Program Repair by Finer-Granularity Ingredients and Better Search Algorithms. Internetware'22 (软工方向CCF-C类会议).
  11. [TOSEM'22] 熊英飞, 王博. L2S: A Framework for Synthesizing the Most Probable Program under a Specification. TOSEM'22 (软工方向CCF-A类期刊, SCI).
  12. [ASE'21] 王博, 卢思睿, 熊英飞, 刘峰. Faster Mutation Analysis with Fewer Processes and Smaller Overheads. ASE'21 (软工方向CCF-A类会议，北交首篇软工顶会).
  13. [TOSEM'21] 高祥, 王博*, Gregory J. Duck, 吉如一, 熊英飞, Abhik Roychoudhury. Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction. TOSEM'21 (软工方向CCF-A类期刊, SCI, 并作为Journal First在CCF-A类会议FSE 21上宣讲).
  14. [JOS'20] 王博, 卢思睿, 姜佳君, 熊英飞. 基于动态分析的软件不变量综合技术综述. 软件学报 2020 (CCF-A类中文期刊).
  15. [GI'18] 熊英飞, 王博, 伏贵荣, 臧琳飞. Learning to Synthesize. GI@ICSE'18.
  16. [ISSTA'17] 王博, 熊英飞, 史杨勍惟, 张路, 郝丹. Faster Mutation Analysis via Equivalence Modulo States. ISSTA’17 (软工方向CCF-A类会议, 获得 ACM SIGSOFT 杰出论文奖, 此文为中国第一篇 ISSTA 获奖文章).
  17. [SPLC'16] 王博. Dynamic Analysis of Shared Execution in Software Product Line Testing. SPLC'16.

科研项目

  • 国家自然科学基金“青年基金”：动静结合的变异分析加速方法研究，2023-2025，主持
  • 校科技基金人才基金：变异测试加速方法研究，2022-2024，主持
  • 中科龙芯合作科研项目：LoongArch编译器自动测试方法研究，2022-2023，主持
  • 国家重点研发计划课题：数据驱动的软件自动构造与演进方法研究，参与

学术服务

学术任职

  • 中国软件大会'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
  • ICST (软工CCF-C，国际软件测试会议)：2022, 2023, 2024
  • Internetware (软工CCF-C)：2022, 2024

期刊审稿人

  • 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)
  • 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)
  • 软件学报 (CCF-A中文期刊)
  • 计算机学报 (CCF-A中文期刊)

指导学生

本科生竞赛

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

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

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

本科生毕设

    1. 舒航：《基于栈哈希的漏洞根因自动定位方法研究》2023校级优秀毕设

本科生大创

    1. 张家宝、江盛贝、陈蔚：《现有大语言模型对Java代码缺陷定位和修复能力的实证研究》2024北京市级项目


硕士研究生

  • 2024级：邓明、陈岳阳、李明慧
  • 2023级：陈明达、李博诺、叶晨
  • 2022级：陈冲（华为2012编译组实习）
已毕业硕士研究生：
  • 2022级：韦金康（华为代码大模型组实习，去向：中国结算）
  • 2021级：蒋志文（百度文库实习，去向：百度）
  • 2020级：刘桂壮（去向：考公）、王文浩（去向：航天二院）

教学工作

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

获奖与荣誉

  1. ACM SIGSOFT 杰出论文奖（2017），软工顶会 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“软件研究成果原型系统竞赛”优胜奖