学生

在读生

博士生

1. 陈逸凡，入学年份：2019，合作起始年份：2017

   • 发表论文：[ISSTA18b][SAS21][CIE24]
   • 所获荣誉：北京大学校长奖学金

2. 吉如一，入学年份：2020，合作起始年份：2017

   • 发表论文：[PLDI20][TOSEM20][OOPSLA20][ICSME21][OOPSLA21][OOPSLA23a][TOPLAS24][PLDI24][FSE24DEMO][FM24]
   • 所获荣誉：北京大学校长奖学金、国家奖学金、“微软学者”奖学金

3. 张云帆，入学年份：2020，合作起始年份：2019

   • 发表论文：[ASE22]

4. 孙奕灿，入学年份：2021，合作起始年份：2018

   • 发表论文：[AAAI20][OOPSLA20][OOPSLA23b][FSE24DEMO][FM24]
   • 所获荣誉：北京大学校长奖学金，国家奖学金

5. 吴宜谦，入学年份：2021，合作起始年份：2019

   • 发表论文：[ICSE22a][ISSRE23][CIE24]

6. 叶振涛，入学年份：2021，合作起始年份：2019

   • 发表论文：[ICSE22a]

7. 肖元安，入学年份：2022，合作起始年份：2020

   • 发表论文：[FSE21b][ASE23Demo][TSE24][APR-C24]

8. 房建，入学年份：2023，合作起始年份：2023

   • 发表论文：[FM24]

9. 张钊，入学年份：2023，合作起始年份：2022

   • 发表论文：[FSE24DEMO]

10. 黄柘铳，入学年份：2024，合作起始年份：2022

    • 发表论文：[FSE24DEMO]

11. 赵雨薇，入学年份：2024，合作起始年份：2022

    • 发表论文：[TOPLAS24][PLDI24]

硕士生

本科生

1. 陈冠霖，入学年份：2021，合作起始年份：2024

2. 王韦煊，入学年份：2021，合作起始年份：2023

3. 张书豪，入学年份：2021，合作起始年份：2024

4. 夏廷轩，入学年份：2022，合作起始年份：2024

5. 肖千与，入学年份：2022，合作起始年份：2024

6. 许俊岐，入学年份：2022，合作起始年份：2024

7. 孔启皓，入学年份：2023，合作起始年份：2024

8. 石城玮，入学年份：2023，合作起始年份：2024

已毕业/离组

博士

1. 李军，入学年份：2009，合作起始年份：2012，毕业年份：2015

   • 发表论文：[ICWS13][PEPM15][SciChina16][ECOOP16]
   • 毕业论文：面向API的程序迁移研究
   • 毕业去向：方正集团，架构师

2. 高庆，入学年份：2011，合作起始年份：2012，毕业年份：2016

   • 发表论文：[ICSE15a][ASE15][SciChina16][ISSTA18a]
   • 毕业论文：基于模式的程序缺陷自动修复技术
   • 所获荣誉：高通奖学金（信息学院最高奖学金之一）
   • 毕业去向：博士后，北京大学软件工程中心

3. 唐浩，入学年份：2013，合作起始年份：2014，毕业年份：2019

   • 发表论文：[ESOP17][SAS21]
   • 毕业论文：基于摘要的程序静态分析加速研究
   • 所获荣誉：微软奖学金（信息学院最高奖学金之一）
   • 毕业去向：软件工程师，阿里巴巴

4. 陈俊洁，入学年份：2014，合作起始年份：2013，毕业年份：2019

   • 发表论文：[ASE14][ICST16b][ICSE16][ICSE17b][TSE18][CSUR19][SCIS19c][ISSRE19][ASE19b][FSE20-ITb][JOS20b][FSE21a][ASE23]
   • 毕业论文：数据驱动的编译器测试与调试若干技术研究
   • 所获荣誉：中国计算机学会优秀博士学位论文奖，校长奖学金、高通奖学金（均为信息学院最高奖学金之一）
   • 毕业去向：天津大学副教授

5. 悦茹茹，入学年份：2014，合作起始年份：2016

   • 发表论文：[ICSME18]
   • 毕业去向：高思教育

6. 姜佳君，入学年份：2015，合作起始年份：2015，毕业年份：2020

   • 发表论文：[ECOOP16][ISSTA18a][SCIS19b][ASE19a][ASE19c][JOS20][FSE20-ITb][JOS20b][ICST21][ICSME21]
   • 毕业论文：面向非频繁程序缺陷的自动修复技术研究
   • 所获荣誉：国家奖学金、北京大学三好学生标兵、北京大学优秀毕业生
   • 毕业去向：天津大学副研究员

7. 王博，入学年份：2015，合作起始年份：2014，毕业年份：2021

   • 发表论文：[ISSTA17][GI18][JOS20][TOSEM20][ASE21][TOSEM22][ASE23Demo][TSE24]
   • 毕业论文：基于程序估计的缺陷自动修复方法研究
   • 毕业去向：北京交通大学讲师

8. 邹达明，入学年份：2015，合作起始年份：2013，毕业年份：2020

   • 发表论文：[ICSE15b][FSE16][TSE19][POPL20][OOPSLA22]
   • 毕业论文：面向搜索的浮点数程序误差测试与分析方法研究
   • 所获荣誉：北京大学优秀博士论文，校长奖学金（信息学院最高奖学金之一）
   • 毕业去向：苏黎世联邦理工学院博士后

9. 梁晶晶，入学年份：2016，合作起始年份：2014，毕业年份：2022

   • 发表论文：[TSE19][ISSRE19][PLDI20][ICSME21]
   • 毕业论文：针对自动生成补丁的审阅提升技术
   • 毕业去向：华为公司软件工程师

10. 王冠成，入学年份：2018，合作起始年份：2017，毕业年份：2024

    • 发表论文：[TSE18][ASE19b][FSE21a][ISSRE23][ASE23][CIE24]
    • 毕业论文：概率化差异调试技术研究
    • 毕业去向：加拿大女王大学博士后

11. 孙泽宇，入学年份：2019，合作起始年份：2017，毕业年份：2022

    • 发表论文：[AAAI19][AAAI20][IJCAI20][ASE20][FSE21b][AAAI22][ICSE22b][IJCAI22a][IJCAI22b][SCIS22b][ICSE23a][CJC23][ICSE24]
    • 毕业论文：感知关键约束的深度学习程序生成技术研究
    • 所获荣誉：校长奖学金
    • 毕业去向：中关村实验室助理研究员->中科院软件所助理研究员

12. 朱琪豪，入学年份：2019，合作起始年份：2017，毕业年份：2024

    • 发表论文：[AAAI19][AAAI20][IJCAI20][ASE20][FSE21b][AAAI22][IJCAI22a][IJCAI22b][SCIS22b][ICSE23a][ISSRE23][arXiv24][APR-C24][ICSE24]
    • 毕业论文：语言定义感知的深度代码学习技术及应用
    • 所获荣誉：北京大学计算机学院优秀博士论文、北京大学校长奖学金、国家奖学金、字节跳动奖学金
    • 毕业去向：深度求索公司创始团队成员

硕士

1. 张汉生，入学年份：2012，合作起始年份：2012，毕业年份：2015

   • 发表论文：[TSE15][ASE15]
   • 毕业论文：类型特定软件缺陷修复技术的设计与实现
   • 毕业去向：Hulu.com

2. 米亚晴，入学年份：2013，合作起始年份：2013，毕业年份：2016

   • 发表论文：[ICSE15a]
   • 毕业论文：C语言内存泄漏自动修复工具的设计与实现
   • 毕业去向：中国农业银行软件开发工程师

3. 王杰，入学年份：2014，合作起始年份：2012

   • 发表论文：[TSE15][ASE15][ICSE17a]
   • 毕业论文：条件语句缺陷自动修复工具的设计与实现
   • 毕业去向：腾讯游戏软件开发工程师

4. 杨小东，入学年份：2014，合作起始年份：2014

   • 毕业论文：面向统计的代码正规化
   • 毕业去向：腾讯广告部门软件开发工程师

5. 臧琳飞，入学年份：2014，合作起始年份：2014

   • 发表论文：[GI18]
   • 毕业论文：基于机器学习的条件表达式自动生成工具的设计与实现
   • 毕业去向：国家信息中心

6. 王然，入学年份：2015，合作起始年份：2013

   • 发表论文：[ICSE15b][FSE16][ASE19c]
   • 毕业论文：基于谓词频谱的缺陷定位工具的设计与实现
   • 毕业去向：谷歌

7. 周钊平，入学年份：2015，合作起始年份：2014

   • 发表论文：[ICSE15a]
   • 毕业论文：对缺陷预测数据集的研究与改进
   • 毕业去向：搜狐公司软件开发工程师

8. 郜哲，入学年份：2017，合作起始年份：2016

   • 发表论文：[ICSME18]
   • 毕业论文：支持类型映射的API迁移工具的设计与实现
   • 毕业去向：谷歌公司软件开发工程师

9. 章嘉晨，入学年份：2017，合作起始年份：2016

   • 发表论文：[ICSE17a]
   • 毕业论文：基于概率推理的补丁正确性识别技术
   • 毕业去向：壁仞科技工程师

10. 刘鑫远，入学年份：2018，合作起始年份：2016，毕业年份：2021

    • 发表论文：[ICSE18a]
    • 毕业论文：面向程序合成的领域特定语言调整技术
    • 毕业去向：亚马逊公司软件开发工程师

11. 曾沐焓，入学年份：2018，合作起始年份：2016，毕业年份：2021

    • 发表论文：[ICSE18a][POPL20][ICSE22a]
    • 毕业论文：基于概率图模型的缺陷定位
    • 毕业去向：华为公司软件开发工程师

学士

1. 杜聪，入学年份：2010，合作起始年份：2014，毕业年份：2014

   • 毕业论文：基于缺陷报告的浏览器多进程架构稳定性实证实验
   • 毕业去向：加盟创业公司

2. 王杰，入学年份：2010，合作起始年份：2012，毕业年份：2014

   • 发表论文：[TSE15][ASE15][ICSE17a]
   • 毕业论文：软件缺陷修复中数据检索和模式提取的实现
   • 毕业去向：北京大学硕士生

3. 黄柱彬，入学年份：2010，合作起始年份：2013，毕业年份：2014

   • 发表论文：[ICSME14]
   • 毕业去向：美国卡内基梅隆大学博士生

4. 赵恺，入学年份：2010，合作起始年份：2014，毕业年份：2014

   • 毕业论文：基于Eclipse的内部状态测试工具的实现
   • 毕业去向：阿里巴巴集团

5. 汪成龙，入学年份：2011，合作起始年份：2014，毕业年份：2015

   • 发表论文：[PEPM15][ECOOP16]
   • 毕业论文：PATL: API迁移问题上的程序变换语言设计与实现
   • 所获荣誉：北京大学优秀毕业论文
   • 毕业去向：美国华盛顿大学博士生

6. 王然，入学年份：2011，合作起始年份：2013，毕业年份：2015

   • 发表论文：[ICSE15b][FSE16][ASE19c]
   • 毕业论文：精度特定运算的实证研究和处理方法
   • 毕业去向：北京大学硕士生

7. 吴阳怿，入学年份：2011，合作起始年份：2013，毕业年份：2015

   • 发表论文：[NASAC14][FCST14]
   • 毕业论文：基于上下文无关文法的字符串变换模型
   • 毕业去向：网易游戏

8. 吴逸鸣，入学年份：2011，合作起始年份：2013，毕业年份：2015

   • 发表论文：[NASAC14][FCST14][Interwa17]
   • 毕业论文：一个双向C预处理器的设计与实践
   • 毕业去向：美国卡内基梅隆大学硕士生

9. 杨纬坤，入学年份：2011，合作起始年份：2014，毕业年份：2015

   • 发表论文：[ICSE15a]
   • 毕业论文：符号执行与字符串约束求解器的整合与实证
   • 毕业去向：美国普林斯顿大学博士生

10. 邹达明，入学年份：2011，合作起始年份：2013，毕业年份：2015

    • 发表论文：[ICSE15b][FSE16][TSE19][POPL20][OOPSLA22]
    • 毕业论文：一种检测显著浮点数误差的遗传算法
    • 所获荣誉：北京大学信息科学技术学院“学术新星”（信息学院本科生最高学术荣誉）、“十佳”毕业设计
    • 毕业去向：北京大学硕士生

11. 贺心蕊，入学年份：2012，合作起始年份：2014，毕业年份：2016

    • 发表论文：[FSE16]
    • 毕业去向：美国卡内基梅隆大学硕士生

12. 罗翔宇，入学年份：2012，合作起始年份：2015，毕业年份：2016

    • 发表论文：[ECOOP16]
    • 毕业论文：面向Hindley-Milner类型系统的控制流分析算法
    • 毕业去向：美国谷歌公司

13. 史杨勍惟，入学年份：2012，合作起始年份：2014，毕业年份：2016

    • 发表论文：[ISSTA17]
    • 毕业论文：动态变异测试的设计与实现
    • 毕业去向：美国卡内基梅隆大学硕士生

14. 吴争锴，入学年份：2012，合作起始年份：2014，毕业年份：2016

    • 发表论文：[Interwa17]
    • 毕业论文：基于统计的多路执行模型的分析与实现
    • 毕业去向：美国伊利诺伊大学香槟分校博士生

15. 成羽丰，入学年份：2013，合作起始年份：2014

    • 发表论文：[ICST16a][Interwa17]
    • 毕业论文：双向化C预处理器的理论证明和工具实现
    • 毕业去向：旷视Face++

16. 郜哲，入学年份：2013，合作起始年份：2016

    • 发表论文：[ICSME18]
    • 毕业论文：一种需重构克隆的排序方法的实现
    • 毕业去向：北京大学硕士生

17. 金天成，入学年份：2013，合作起始年份：2015

    • 毕业去向：美国密西根大学硕士生

18. 王迪，入学年份：2013，合作起始年份：2015

    • 发表论文：[ESOP17][TOPLAS24]
    • 毕业论文：基于Datalog条件摘要的程序分析加速技术
    • 毕业去向：美国卡内基梅隆大学博士生

19. 严润发(电子科技大学)，入学年份：2013，合作起始年份：2016

    • 发表论文：[ICSE17a]
    • 毕业去向：用友软件公司

20. 杨至轩，入学年份：2013，合作起始年份：2017

    • 毕业论文：流敏感及上下文敏感的指针分析算法
    • 毕业去向：日本国立情报研究所博士研究生

21. 章嘉晨，入学年份：2013，合作起始年份：2016

    • 发表论文：[ICSE17a]
    • 毕业论文：一个基于签名的API搜索引擎的实现
    • 毕业去向：北京大学硕士生

22. 钟泽轩，入学年份：2013，合作起始年份：2015

    • 毕业去向：美国伊利诺伊大学香槟分校硕士生

23. 伏贵荣，入学年份：2014，合作起始年份：2017

    • 发表论文：[GI18]
    • 毕业去向：苏黎世理工硕士研究生

24. 刘鑫远，入学年份：2014，合作起始年份：2016

    • 发表论文：[ICSE18a]
    • 毕业论文：一个基于签名的API搜索引擎的实现
    • 所获荣誉：北京大学优秀本科毕业论文
    • 毕业去向：北京大学硕士生

25. 唐翔昊，入学年份：2014，合作起始年份：2018

    • 毕业论文：半解释执行框架下的变异分析加速技术
    • 毕业去向：微软公司软件工程师

26. 曾沐焓，入学年份：2014，合作起始年份：2016

    • 发表论文：[ICSE18a][POPL20][ICSE22a]
    • 毕业论文：自动缺陷修复中的补丁正确性的别方法
    • 毕业去向：北京大学硕士生

27. 朱正楠(北京航空航天大学)，入学年份：2014，合作起始年份：2017

    • 毕业去向：南加州大学硕士生

28. 陈逸凡，入学年份：2015，合作起始年份：2017，毕业年份：2019

    • 发表论文：[ISSTA18b][SAS21][CIE24]
    • 毕业论文：基于合并的Datalog程序分析中的函数库启发式摘要的设计
    • 毕业去向：北京大学博士生

29. 刘晓涛，入学年份：2015，合作起始年份：2019，毕业年份：2019

    • 毕业论文：基于变异测试的缺陷补丁正确性评估算法的设计

30. 张煜皓，入学年份：2015，合作起始年份：2017，毕业年份：2019

    • 发表论文：[ISSTA18b][FSE20][ICSE23b]
    • 毕业论文：深度学习程序中数值缺陷的检测与修复
    • 所获荣誉：北京大学信息学院十佳优秀毕业设计
    • 毕业去向：美国威斯康星大学博士生

31. 朱琪豪，入学年份：2015，合作起始年份：2017，毕业年份：2019

    • 发表论文：[AAAI19][AAAI20][IJCAI20][ASE20][FSE21b][AAAI22][IJCAI22a][IJCAI22b][SCIS22b][ICSE23a][ISSRE23][arXiv24][APR-C24][ICSE24]
    • 毕业论文：基于结构化语义和卷积神经网络的代码自动生成模型
    • 毕业去向：北京大学博士研究生

32. 吉如一，入学年份：2016，合作起始年份：2017

    • 发表论文：[PLDI20][TOSEM20][OOPSLA20][ICSME21][OOPSLA21][OOPSLA23a][TOPLAS24][PLDI24][FSE24DEMO][FM24]
    • 毕业论文：交互式程序综合中的询问选择
    • 所获荣誉：北京大学信息学院十佳优秀毕业设计；北京市优秀毕业设计
    • 毕业去向：北京大学博士研究生

33. 卢思睿，入学年份：2016，合作起始年份：2018

    • 发表论文：[JOS20][ASE21]
    • 毕业论文：基于分流执行的变异分析加速技术优化
    • 毕业去向：美国华盛顿大学博士研究生

34. 任路遥，入学年份：2016，合作起始年份：2018

    • 发表论文：[ASE19a][FSE20][ICSE23b]
    • 毕业论文：基于单样本学习的系统性编辑：方法和工具实现
    • 毕业去向：北京大学博士生

35. 杨子毅，入学年份：2016，合作起始年份：2018

36. 张汉梁，入学年份：2016，合作起始年份：2018

37. 张云帆，入学年份：2016，合作起始年份：2019

    • 发表论文：[ASE22]
    • 毕业论文：基于语法制导程序综合的复杂输入测试生成
    • 毕业去向：北京大学博士研究生

38. 沈若冰，入学年份：2017，合作起始年份：2019，毕业年份：2021

    • 发表论文：[FSE21a]
    • 毕业论文：概率差异化调试
    • 毕业去向：HRT公司新加坡分部软件工程师

39. 孙奕灿，入学年份：2017，合作起始年份：2018，毕业年份：2021

    • 发表论文：[AAAI20][OOPSLA20][OOPSLA23b][FSE24DEMO][FM24]
    • 毕业论文：概率程序的断言违反量化分析
    • 所获荣誉：北京大学信息学院十佳优秀毕业设计
    • 毕业去向：北京大学博士生

40. 吴宜谦，入学年份：2017，合作起始年份：2019，毕业年份：2021

    • 发表论文：[ICSE22a][ISSRE23][CIE24]
    • 毕业论文：概率错误定位中的模型设计与实现
    • 毕业去向：北京大学博士生

41. 杨晨阳，入学年份：2017，合作起始年份：2019，毕业年份：2021

    • 发表论文：[SAS21][ASE23Demo][TSE24]
    • 毕业论文：数据处理代码的文档生成
    • 毕业去向：卡内基梅隆大学博士生

42. 叶振涛，入学年份：2017，合作起始年份：2019，毕业年份：2021

    • 发表论文：[ICSE22a]
    • 毕业论文：基于概率推断和抽象解释的测试生成
    • 毕业去向：北京大学博士生

43. 张石然，入学年份：2017，合作起始年份：2019，毕业年份：2021

    • 毕业论文：基于单样例的缺陷检测和修复：可交互语言设计与工具实现
    • 毕业去向：纽约大学硕士生

44. 顾宇晨，入学年份：2018，合作起始年份：2020，毕业年份：2022

    • 发表论文：[OOPSLA22]
    • 毕业论文：多精度目标的数值程序编写框架
    • 毕业去向：苏黎世联邦理工大学博士生

45. 李思源，入学年份：2018，合作起始年份：2021

    • 发表论文：[FSE24DEMO]
    • 毕业论文：ICPM: 基于约束建模语言的信息学竞赛数据集
    • 毕业去向：北京大学博士生

46. 石元峰，入学年份：2018，合作起始年份：2020

    • 发表论文：[OOPSLA22]

47. 夏景涛，入学年份：2018，合作起始年份：2020，毕业年份：2022

    • 发表论文：[OOPSLA21]
    • 毕业论文：基于STUN的递归程序合成方法
    • 毕业去向：美国加州大学圣芭芭拉分校博士生

48. 肖元安，入学年份：2018，合作起始年份：2020，毕业年份：2022

    • 发表论文：[FSE21b][ASE23Demo][TSE24][APR-C24]
    • 毕业论文：缺陷修复中的快速补丁验证方法：变异测试技术适配的实证研究
    • 毕业去向：北京大学博士生

49. 孔朝哲，入学年份：2019，合作起始年份：2022，毕业年份：2023

    • 发表论文：[OOPSLA23a]
    • 毕业论文：基于输入输出样例的用于加速程序合成的文法裁剪方法
    • 毕业去向：乾象投资软件工程师

50. 彭轩宇，入学年份：2019，合作起始年份：2021，毕业年份：2023

    • 发表论文：[OOPSLA23b][FSE24DEMO]
    • 毕业去向：美国威斯康辛大学博士生

51. 张钊，入学年份：2019，合作起始年份：2022，毕业年份：2023

    • 发表论文：[FSE24DEMO]
    • 毕业论文：算法合成数据集的完善与应用研究
    • 毕业去向：北京大学博士生

52. 朱睿冬，入学年份：2019，合作起始年份：2020

    • 发表论文：[ASE22]

53. 祝天然，入学年份：2019，合作起始年份：2021，毕业年份：2023

    • 发表论文：[FSE24DEMO]
    • 毕业论文：一类程序等价性问题的自动证明方法研究

54. 黄柘铳，入学年份：2020，合作起始年份：2022，毕业年份：2024

    • 发表论文：[FSE24DEMO]
    • 毕业论文：带类型正确性证明的自动代码生成
    • 毕业去向：北京大学博士生

55. 刘雨节，入学年份：2020，合作起始年份：2022

56. 钱一程，入学年份：2020，合作起始年份：2022，毕业年份：2024

    • 毕业论文：依赖类型论的一种单态化方法
    • 毕业去向：斯坦福大学博士生

57. 尹轶，入学年份：2020，合作起始年份：2022

58. 赵雨薇，入学年份：2020，合作起始年份：2022，毕业年份：2024

    • 发表论文：[TOPLAS24][PLDI24]
    • 毕业论文：自动合成动态规划算法——以抽象解释的视角
    • 毕业去向：北京大学博士生

59. 周楷文，入学年份：2020，合作起始年份：2023，毕业年份：2024

    • 毕业论文：一种基于变换表示的列表函数性质证明方法

60. 蒋轩林，入学年份：2021，合作起始年份：2023

    • 发表论文：[FM24]