主页English

学生

北京大学软件工程研究所采用导师集体指导制,每名研究生常常有多名老师指导。在此列出的是我在至少一个项目中为最主要指导教师的学生。

在读生

博士生

  1. 陈逸凡,入学年份:2019,合作起始年份:2017

  2. 吉如一,入学年份:2020,合作起始年份:2017

  3. 张云帆,入学年份:2020,合作起始年份:2019

  4. 孙奕灿,入学年份:2021,合作起始年份:2018

  5. 吴宜谦,入学年份:2021,合作起始年份:2019

  6. 叶振涛,入学年份:2021,合作起始年份:2019

  7. 肖元安,入学年份:2022,合作起始年份:2020

  8. 房建,入学年份:2023,合作起始年份:2023

    • 发表论文:[FM24]
  9. 张钊,入学年份:2023,合作起始年份:2022

  10. 黄柘铳,入学年份:2024,合作起始年份:2022

  11. 赵雨薇,入学年份:2024,合作起始年份:2022

硕士生

本科生

  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

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

    • 发表论文:[ICSE15a][ASE15][SciChina16][ISSTA18a]
    • 毕业论文:基于模式的程序缺陷自动修复技术
    • 所获荣誉:高通奖学金(信息学院最高奖学金之一)
    • 毕业去向:博士后,北京大学软件工程中心
  3. 唐浩,入学年份:2013,合作起始年份:2014,毕业年份:2019

    • 发表论文:[ESOP17][SAS21]
    • 毕业论文:基于摘要的程序静态分析加速研究
    • 所获荣誉:微软奖学金(信息学院最高奖学金之一)
    • 毕业去向:软件工程师,阿里巴巴
  4. 陈俊洁,入学年份:2014,合作起始年份:2013,毕业年份:2019

  5. 悦茹茹,入学年份:2014,合作起始年份:2016

    • 发表论文:[ICSME18]
    • 毕业去向:高思教育
  6. 姜佳君,入学年份:2015,合作起始年份:2015,毕业年份:2020

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

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

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

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

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

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

硕士

  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

  32. 吉如一,入学年份:2016,合作起始年份:2017

  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

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

    • 发表论文:[OOPSLA21]
    • 毕业论文:基于STUN的递归程序合成方法
    • 毕业去向:美国加州大学圣芭芭拉分校博士生
  48. 肖元安,入学年份:2018,合作起始年份:2020,毕业年份:2022

    • 发表论文:[FSE21b][ASE23Demo][TSE24][APR-C24]
    • 毕业论文:缺陷修复中的快速补丁验证方法:变异测试技术适配的实证研究
    • 毕业去向:北京大学博士生
  49. 孔朝哲,入学年份:2019,合作起始年份:2022,毕业年份:2023

    • 发表论文:[OOPSLA23a]
    • 毕业论文:基于输入输出样例的用于加速程序合成的文法裁剪方法
    • 毕业去向:乾象投资软件工程师
  50. 彭轩宇,入学年份:2019,合作起始年份:2021,毕业年份:2023

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

    • 发表论文:[FSE24DEMO]
    • 毕业论文:算法合成数据集的完善与应用研究
    • 毕业去向:北京大学博士生
  52. 朱睿冬,入学年份:2019,合作起始年份:2020

  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]