王博

基本信息

教育背景

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

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

博士导师：熊英飞。

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

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

研究方向：

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

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

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

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

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

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

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

工作经历

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

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

论文/期刊

[谷歌学术|个人主页]

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

1. 张路*, 刘辉*, 姜佳君*, 王博*. 面向复杂软件的缺陷检测与修复技术专题前言. 软件学报专刊 (CCF-A类中文期刊), 2024.
   
2. 肖云安, 杨晨阳, 王博, 熊英飞. Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling. TSE'24 (软工方向CCF-A类期刊, SCI).
   
3. 江盛贝, 张家宝, 陈蔚, 王博*, 周建祎, 张洁. Evaluating Fault Localization and Program Repair Capabilities of Existing Closed-Source General-Purpose LLMs. LLM4Code@ICSE'24.
   
4. 王博, 刘桂壮, 林友芳, 任爽, 李红辉, 张大林. Enhanced Evolutionary Automated Program Repair by Finer-Granularity Ingredients and Better Search Algorithms. JSME'23 (软工方向CCF-B类期刊, SCI).
   
5. 肖云安, 杨晨阳, 王博, 熊英飞. ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems. ASE'23 Tool Demo Track (软工方向CCF-A类会议).
6. 王博, 刘桂壮, 林友芳, 任爽, 李红辉, 张大林. Enhanced Evolutionary Automated Program Repair by Finer-Granularity Ingredients and Better Search Algorithms. Internetware'22 (软工方向CCF-C类会议).
   
7. 熊英飞, 王博. L2S: A Framework for Synthesizing the Most Probable Program under a Specification. TOSEM'22 (软工方向CCF-A类期刊, SCI).
   
8. 王博, 卢思睿, 熊英飞, 刘峰. Faster Mutation Analysis with Fewer Processes and Smaller Overheads. ASE'21 (软工方向CCF-A类会议，北交首篇软工顶会).
   
9. 高祥, 王博*, 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上宣讲).
10. 王博, 卢思睿, 姜佳君, 熊英飞. 基于动态分析的软件不变量综合技术综述. 软件学报 (CCF-A类中文期刊), 2020.
11. 熊英飞, 王博, 伏贵荣, 臧琳飞. Learning to Synthesize. GI@ICSE'18.
12. 王博, 熊英飞, 史杨勍惟, 张路, 郝丹. Faster Mutation Analysis via Equivalence Modulo States. ISSTA’17 (软工方向CCF-A类会议, 获得 ACM SIGSOFT 杰出论文奖, 此文为中国第一篇 ISSTA 获奖文章).
13. 王博. Dynamic Analysis of Shared Execution in Software Product Line Testing. SPLC'16.
    

科研项目

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

学术服务

学术任职

• 中国软件大会'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
  
• 中国计算机学会系统软件专委会执行委员
• 中国计算机学会开源发展委员会执行委员

会议审稿人

• ICST 2024 (国际软件测试大会，软工CCF-C)
  
• 中国计算机学会人工智能会议 2023
  
• ASE 2023 (软工CCF-A)
• ASE New Idea 2023 (软工CCF-A)
  
• ICST 2022 (国际软件测试大会，软工CCF-C)
• ASE Artifacts 2022 (软工CCF-A)
• Internetware 2022 (软工CCF-C)

指导学生

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

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

本科生大创

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

• 2023级：陈明达、李博诺、叶晨
  
• 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. 北京交通大学握奇奖教金