肖元安
加入课题组：2020
我指导的学生
在读生
博士生
硕士生
本科生
姚懿迅
加入课题组：2025
论文：ASE26
Kelvin Yu
加入课题组：2026
英国牛津大学
石城玮
加入课题组：2024
孔启皓
加入课题组：2024
宋来恒
加入课题组：2026
陈易涵
加入课题组：2025
李锦瑞
加入课题组：2026
苏洪令
加入课题组：2026
于景康
加入课题组：2026
谢梓涵
加入课题组：2026
龚咏乔
加入课题组：2026
毕业生与离组学生
博士生
李军
加入课题组：2012
论文：面向API的程序迁移研究
去向：方正集团，架构师
高庆
加入课题组：2012
高通奖学金（信息学院最高奖学金之一）
论文：基于模式的程序缺陷自动修复技术
去向：博士后，北京大学软件工程中心
唐浩
加入课题组：2014
微软奖学金（信息学院最高奖学金之一）
论文：基于摘要的程序静态分析加速研究
去向：软件工程师，阿里巴巴
悦茹茹
加入课题组：2016
去向：高思教育
论文：ICSME18
陈俊洁
加入课题组：2013
中国计算机学会优秀博士学位论文奖、北京大学优秀博士论文，校长奖学金、高通奖学金（均为信息学院最高奖学金之一）
论文：数据驱动的编译器测试与调试若干技术研究
去向：天津大学副教授
论文：TOSEM26barXiv25ASE23FSE21aJOS20bFSE20-ITbASE19bISSRE19SCIS19cCSUR19TSE18ICSE17bICSE16ICST16bASE14
邹达明
加入课题组：2013
北京大学优秀博士论文，校长奖学金（信息学院最高奖学金之一）
去向：苏黎世联邦理工学院博士后
姜佳君
加入课题组：2015
国家奖学金、北京大学三好学生标兵、北京大学优秀毕业生
去向：天津大学副研究员
论文：TSE26TOSEM26bICSME21ICST21JOS20bFSE20-ITbJOS20ASE19cASE19aSCIS19bISSTA18aECOOP16
王博
加入课题组：2014
去向：北京交通大学讲师
梁晶晶
加入课题组：2014
去向：华为公司软件工程师
王冠成
加入课题组：2017
论文：概率化差异调试技术研究
去向：加拿大女王大学博士后
孙泽宇
加入课题组：2017
校长奖学金
去向：中关村实验室助理研究员->中科院软件所助理研究员
论文：ISSTA26ACL-Fnd25ICSE24CJC23ICSE23aSCIS22bIJCAI22bIJCAI22aICSE22bAAAI22FSE21bASE20IJCAI20AAAI20AAAI19
朱琪豪
加入课题组：2017
中国计算机学会软件工程专委博士学位论文激励计划、北京大学计算机学院优秀博士论文、北京大学校长奖学金、国家奖学金、字节跳动奖学金
去向：深度求索公司创始团队成员
论文：ICSE24APR-C24arXiv24ISSRE23ICSE23aSCIS22bIJCAI22bIJCAI22aAAAI22FSE21bASE20IJCAI20AAAI20AAAI19
张云帆
加入课题组：2019
论文：面向关系式规约的程序自动合成技术研究
去向：华为公司工程师
论文：ASE22
吉如一
加入课题组：2017
CCF形式化专委博士论文激励计划、北京大学优秀博士论文、北京市优秀毕业生、“微软学者”奖学金、北京大学校长奖学金、国家奖学金、北京大学计算机学院“学术十杰”
去向：密西根大学博士后
论文：POPL26OOPSLA25FSE24DEMOFM24PLDI24TOPLAS24OOPSLA23aOOPSLA21ICSME21OOPSLA20TOSEM20PLDI20
吴宜谦
加入课题组：2019
论文：程序执行轨迹制导的缺陷定位技术研究
去向：华为工程师
孙奕灿
加入课题组：2018
北京大学校长奖学金，国家奖学金
论文：带有正确性保证的动态规划算法合成技术
去向：城堡投资工程师
梁清源
加入课题组：2021
北京大学优秀毕业生、国家奖学金
去向：宽德投资工程师
硕士生
张汉生
加入课题组：2012
论文：类型特定软件缺陷修复技术的设计与实现
去向：Hulu.com
米亚晴
加入课题组：2013
论文：C语言内存泄漏自动修复工具的设计与实现
去向：中国农业银行软件开发工程师
论文：ICSE15a
杨小东
加入课题组：2014
论文：面向统计的代码正规化
去向：腾讯广告部门软件开发工程师
臧琳飞
加入课题组：2014
论文：基于机器学习的条件表达式自动生成工具的设计与实现
去向：国家信息中心
论文：GI18
王杰
加入课题组：2012
论文：条件语句缺陷自动修复工具的设计与实现
去向：腾讯游戏软件开发工程师
王然
加入课题组：2013
论文：基于谓词频谱的缺陷定位工具的设计与实现
去向：谷歌
周钊平
加入课题组：2014
论文：对缺陷预测数据集的研究与改进
去向：搜狐公司软件开发工程师
论文：ICSE15a
郜哲
加入课题组：2016
论文：支持类型映射的API迁移工具的设计与实现
去向：谷歌公司软件开发工程师
论文：ICSME18
章嘉晨
加入课题组：2016
论文：基于概率推理的补丁正确性识别技术
去向：壁仞科技工程师
论文：ICSE17a
刘鑫远
加入课题组：2016
论文：面向程序合成的领域特定语言调整技术
去向：亚马逊公司软件开发工程师
论文：ICSE18a
曾沐焓
加入课题组：2016
论文：基于概率图模型的缺陷定位
去向：华为公司软件开发工程师
陈逸凡
加入课题组：2017
北京大学校长奖学金
去向：字节跳动工程师
叶振涛
加入课题组：2019
去向：软件工程师，平头哥半导体
本科生
杜聪
加入课题组：2014
论文：基于缺陷报告的浏览器多进程架构稳定性实证实验
去向：加盟创业公司
赵恺
加入课题组：2014
论文：基于Eclipse的内部状态测试工具的实现
去向：阿里巴巴集团
黄柱彬
加入课题组：2013
去向：美国卡内基梅隆大学博士生
论文：ICSME14
王杰
加入课题组：2012
论文：软件缺陷修复中数据检索和模式提取的实现
去向：北京大学硕士生
邹达明
加入课题组：2013
北京大学信息科学技术学院“学术新星”（信息学院本科生最高学术荣誉）、“十佳”毕业设计
论文：一种检测显著浮点数误差的遗传算法
去向：北京大学硕士生
王然
加入课题组：2013
论文：精度特定运算的实证研究和处理方法
去向：北京大学硕士生
杨纬坤
加入课题组：2014
论文：符号执行与字符串约束求解器的整合与实证
去向：美国普林斯顿大学博士生
论文：ICSE15a
吴阳怿
加入课题组：2013
论文：基于上下文无关文法的字符串变换模型
去向：网易游戏
吴逸鸣
加入课题组：2013
论文：一个双向C预处理器的设计与实践
去向：美国卡内基梅隆大学硕士生
汪成龙
加入课题组：2014
北京大学优秀毕业论文
论文：PATL: API迁移问题上的程序变换语言设计与实现
去向：美国华盛顿大学博士生
吴争锴
加入课题组：2014
论文：基于统计的多路执行模型的分析与实现
去向：美国伊利诺伊大学香槟分校博士生
论文：Interwa17
罗翔宇
加入课题组：2015
论文：面向Hindley-Milner类型系统的控制流分析算法
去向：美国谷歌公司
论文：ECOOP16
史杨勍惟
加入课题组：2014
论文：动态变异测试的设计与实现
去向：美国卡内基梅隆大学硕士生
论文：ISSTA17
贺心蕊
加入课题组：2014
去向：美国卡内基梅隆大学硕士生
论文：FSE16
杨至轩
加入课题组：2017
论文：流敏感及上下文敏感的指针分析算法
去向：日本国立情报研究所博士研究生
严润发
加入课题组：2016
电子科技大学
去向：用友软件公司
论文：ICSE17a
郜哲
加入课题组：2016
论文：一种需重构克隆的排序方法的实现
去向：北京大学硕士生
论文：ICSME18
章嘉晨
加入课题组：2016
论文：一个基于签名的API搜索引擎的实现
去向：北京大学硕士生
论文：ICSE17a
成羽丰
加入课题组：2014
论文：双向化C预处理器的理论证明和工具实现
去向：旷视Face++
金天成
加入课题组：2015
去向：美国密西根大学硕士生
钟泽轩
加入课题组：2015
去向：美国伊利诺伊大学香槟分校硕士生
王迪
加入课题组：2015
论文：基于Datalog条件摘要的程序分析加速技术
去向：美国卡内基梅隆大学博士生
唐翔昊
加入课题组：2018
论文：半解释执行框架下的变异分析加速技术
去向：微软公司软件工程师
朱正楠
加入课题组：2017
北京航空航天大学
去向：南加州大学硕士生
伏贵荣
加入课题组：2017
去向：苏黎世理工硕士研究生
论文：GI18
刘鑫远
加入课题组：2016
北京大学优秀本科毕业论文
论文：一个基于签名的API搜索引擎的实现
去向：北京大学硕士生
论文：ICSE18a
曾沐焓
加入课题组：2016
论文：自动缺陷修复中的补丁正确性的别方法
去向：北京大学硕士生
刘晓涛
加入课题组：2019
论文：基于变异测试的缺陷补丁正确性评估算法的设计
朱琪豪
加入课题组：2017
论文：基于结构化语义和卷积神经网络的代码自动生成模型
去向：北京大学博士研究生
论文：ICSE24APR-C24arXiv24ISSRE23ICSE23aSCIS22bIJCAI22bIJCAI22aAAAI22FSE21bASE20IJCAI20AAAI20AAAI19
张煜皓
加入课题组：2017
北京大学信息学院十佳优秀毕业设计
论文：深度学习程序中数值缺陷的检测与修复
去向：美国威斯康星大学博士生
陈逸凡
加入课题组：2017
论文：基于合并的Datalog程序分析中的函数库启发式摘要的设计
去向：北京大学博士生
张云帆
加入课题组：2019
论文：基于语法制导程序综合的复杂输入测试生成
去向：北京大学博士研究生
论文：ASE22
张汉梁
加入课题组：2018
任路遥
加入课题组：2018
论文：基于单样本学习的系统性编辑：方法和工具实现
去向：北京大学博士生
杨子毅
加入课题组：2018
卢思睿
加入课题组：2018
论文：基于分流执行的变异分析加速技术优化
去向：美国华盛顿大学博士研究生
吉如一
加入课题组：2017
北京大学信息学院十佳优秀毕业设计；北京市优秀毕业设计
论文：交互式程序综合中的询问选择
去向：北京大学博士研究生
论文：POPL26OOPSLA25FSE24DEMOFM24PLDI24TOPLAS24OOPSLA23aOOPSLA21ICSME21OOPSLA20TOSEM20PLDI20
叶振涛
加入课题组：2019
论文：基于概率推断和抽象解释的测试生成
去向：北京大学博士生
杨晨阳
加入课题组：2019
论文：数据处理代码的文档生成
去向：卡内基梅隆大学博士生
吴宜谦
加入课题组：2019
论文：概率错误定位中的模型设计与实现
去向：北京大学博士生
张石然
加入课题组：2019
论文：基于单样例的缺陷检测和修复：可交互语言设计与工具实现
去向：纽约大学硕士生
沈若冰
加入课题组：2019
论文：概率差异化调试
去向：HRT公司新加坡分部软件工程师
论文：FSE21a
孙奕灿
加入课题组：2018
北京大学信息学院十佳优秀毕业设计
论文：概率程序的断言违反量化分析
去向：北京大学博士生
夏景涛
加入课题组：2020
论文：基于STUN的递归程序合成方法
去向：美国加州大学圣芭芭拉分校博士生
论文：OOPSLA21
李思源
加入课题组：2021
论文：ICPM: 基于约束建模语言的信息学竞赛数据集
去向：北京大学博士生
论文：FSE24DEMO
顾宇晨
加入课题组：2020
论文：多精度目标的数值程序编写框架
去向：苏黎世联邦理工大学博士生
论文：OOPSLA22
肖元安
加入课题组：2020
论文：缺陷修复中的快速补丁验证方法：变异测试技术适配的实证研究
去向：北京大学博士生
石元峰
加入课题组：2020
张钊
加入课题组：2022
论文：算法合成数据集的完善与应用研究
去向：北京大学博士生
孔朝哲
加入课题组：2022
论文：基于输入输出样例的用于加速程序合成的文法裁剪方法
去向：乾象投资软件工程师
论文：OOPSLA23a
彭轩宇
加入课题组：2021
去向：美国威斯康辛大学博士生
祝天然
加入课题组：2021
论文：一类程序等价性问题的自动证明方法研究
论文：FSE24DEMO
朱睿冬
加入课题组：2020
论文：ASE22
周楷文
加入课题组：2023
论文：一种基于变换表示的列表函数性质证明方法
钱一程
加入课题组：2022
论文：依赖类型论的一种单态化方法
去向：斯坦福大学博士生
赵雨薇
加入课题组：2022
论文：自动合成动态规划算法——以抽象解释的视角
去向：北京大学博士生
尹轶
加入课题组：2022
论文：TSE25
刘雨节
加入课题组：2022
论文：TSE25
黄柘铳
加入课题组：2022
论文：带类型正确性证明的自动代码生成
去向：北京大学博士生
论文：FSE24DEMO
张书豪
加入课题组：2024
北京理工大学
论文：基于自底向上版本空间代数合并的程序合成算法
去向：北京大学博士生
论文：OOPSLA25
陈冠霖
加入课题组：2024
论文：基于VSA多路合并的程序合成
去向：北京大学博士生
论文：OOPSLA25
蒋轩林
加入课题组：2023
论文：FM24
王韦煊
加入课题组：2023
论文：ICSE26a
许俊岐
加入课题组：2024
肖千与
加入课题组：2024
去向：知行通达工程师
论文：TOSEM26a
夏廷轩
加入课题组：2024
吕杭州
加入课题组：2024
去向：北京大学博士生
徐皓天
加入课题组：2024
彭文韬
加入课题组：2024
盛梓航
加入课题组：2025
陈子睿
加入课题组：2024