王博
博士、讲师、硕士生导师
博士、讲师、硕士生导师
办公电话: | 电子邮件: wangbo_cs@bjtu.edu.cn |
通讯地址:北京市海淀区上园村3号北京交通大学 | 邮编:100044 |
博士毕业于北京大学,硕士毕业于中国科学技术大学,本科毕业于中南大学。
博士期间由北大软件所程序设计语言研究室培养。
博士导师:熊英飞。
博士合作导师:胡振江(IEEE Fellow)、张路、郝丹。
读博期间受新加坡国立大学 (National University of Singapore) 全额资助访问,合作导师:Abhik Roychoudhury 教授(ACM Fellow)。
工作后赴新加坡管理大学公派访问,与Jun Sun、David Lo(ACM Fellow)等教授合作。
研究方向:
1)编译器等系统软件的缺陷挖掘。
2)智能化软件测试与调试。
3)智能化代码自动生成。
我们的工作已经累计为 GCC/LLVM 提交90+ bug,为Rust编译器提交10+个bug,为国产语言仓颉编译器提交100+ bug。相关成果应用于龙芯、华为等企业。
一作文章获得中国首次 ISSTA (CCF-A类顶会) ACM SIGSOFT 杰出论文奖,发表北京交大首篇软工方向的 CCF-A 类顶会。
学术界与北大、南大、复旦、浙大、上交、天大、北航、北理、中科院计算所、中科院软件所、UIUC、KCL、NUS、NTU、SMU等国内外顶尖院所保持良好合作的关系,能够推荐本科生保外/留学,欢迎进组科研。
工业界与微软亚洲研究院、华为(代码大模型组、毕昇编译器组、仓颉语言组)等相关团队合作,稳定推荐学生实习就业。
推荐并支持硕士生3-6个月实习。
欢迎喜欢编译器等底层技术和智能化软件开发的同学加入!
详情请见个人主页:https://wangbo15.github.io/
2021-至今, 北京交通大学计算机学院, 讲师/硕士生导师。
2023-2024, Singapore Management University, 国家公派访问学者(国家留学基金委全额资助)。
注: 标记"*"的作者为通讯作者.
学术任职
会议审稿人
期刊审稿人
本科生竞赛
1. 邓明:2023全国大学生系统能力操作系统设计赛功能赛道全国总决赛三等奖
2. 舒航、陈晗阳、杨欢:2022全国大学生系统能力竞赛编译系统设计赛(华为毕昇杯)全国总决赛三等奖(152支队伍中前20),舒航由本人推荐至中科院计算所计算机体系结构国家重点实验室直博(国内最顶尖编译组)
3. 李远铄、陈冲:2022全国大学生系统能力竞赛编译系统设计赛(华为毕昇杯)全国总决赛优胜奖(152支队伍中前30)
本科生毕设
1. 舒航:《基于栈哈希的漏洞根因自动定位方法研究》2023校级优秀毕设
本科生大创
1. 张家宝、江盛贝、陈蔚:《现有大语言模型对Java代码缺陷定位和修复能力的实证研究》2024北京市级项目
硕士研究生