Homepage中文版

Students

In Software Engineering Institute, Peking University, students are usually co-adviced by a group of professors. Here I list the students where I am the principle supervisor of at least one research project.

Current Students

Ph.D. Students

  1. Jingjing Liang, Enrolled at 2016, Worked with me since 2014

  2. Guancheng Wang, Enrolled at 2018, Worked with me since 2017

  3. Yifan Chen, Enrolled at 2019, Worked with me since 2017

  4. Zeyu Sun, Enrolled at 2019, Worked with me since 2017

  5. Qihao Zhu, Enrolled at 2019, Worked with me since 2017

  6. Ruyi Ji, Enrolled at 2020, Worked with me since 2017

  7. Yunfan Zhang, Enrolled at 2020, Worked with me since 2019

  8. Yican Sun, Enrolled at 2021, Worked with me since 2018

  9. Yiqian Wu, Enrolled at 2021, Worked with me since 2019

  10. Zhentao Ye, Enrolled at 2021, Worked with me since 2019

Master Students

Undergraduates

  1. Yuchen Gu, Enrolled at 2018, Worked with me since 2020

  2. Siyuan Li, Enrolled at 2018, Worked with me since 2021

  3. Yuanfeng Shi, Enrolled at 2018, Worked with me since 2020

  4. Jingtao Xia, Enrolled at 2018, Worked with me since 2020

  5. Yuanan Xiao, Enrolled at 2018, Worked with me since 2020

  6. Xuanyu Peng, Enrolled at 2019, Worked with me since 2021

  7. Ruidong Zhu, Enrolled at 2019, Worked with me since 2020

  8. Tianran Zhu, Enrolled at 2019, Worked with me since 2021

Alumni

Ph.D.

  1. Jun Li, Enrolled at 2009, Worked with me since 2012, Graduated at 2015

    • Publications: [ICWS13][PEPM15][SciChina16][ECOOP16]
    • Thesis Title: API-Oriented Program Migration
    • First job after graduation: Architect, Founder Group
  2. Qing Gao, Enrolled at 2011, Worked with me since 2012, Graduated at 2016

    • Publications: [ICSE15a][ASE15][SciChina16][ISSTA18a]
    • Thesis Title: Research on Pattern-Based Automatic Bug-Fixing Techniques
    • Awards: Qualcomm Fellowship (One of the highest fellowships in EECS)
    • First job after graduation: Postdoctoral Researcher, Beida Software
  3. Hao Tang, Enrolled at 2013, Worked with me since 2014, Graduated at 2019

    • Publications: [ESOP17][SAS21]
    • Thesis Title: Summary-Based Acceleration of Static Program Analysis
    • Awards: Microsoft Fellowship (One of the highest fellowships in EECS)
    • First job after graduation: Software Engineer, Alibaba
  4. Junjie Chen, Enrolled at 2014, Worked with me since 2013, Graduated at 2019

  5. Ruru Yue, Enrolled at 2014, Worked with me since 2016

    • Publications: [ICSME18]
    • First job after graduation: Gaosi Education
  6. Jiajun Jiang, Enrolled at 2015, Worked with me since 2015, Graduated at 2020

  7. Bo Wang, Enrolled at 2015, Worked with me since 2014, Graduated at 2021

  8. Daming Zou, Enrolled at 2015, Worked with me since 2013, Graduated at 2020

Master

  1. Hansheng Zhang, Enrolled at 2012, Worked with me since 2012, Graduated at 2015

    • Publications: [TSE15][ASE15]
    • Thesis Title: Techniques for Fixing Class-specific Software Defects
    • First job after graduation: Engineer, Hulu.com
  2. Yaqing Mi, Enrolled at 2013, Worked with me since 2013, Graduated at 2016

    • Publications: [ICSE15a]
    • Thesis Title: Design and Implementation of an Automatic Memory-Leak Fixing Tool for C Programs
    • First job after graduation: Software Engineer, Agricultural Bank of China
  3. Jie Wang, Enrolled at 2014, Worked with me since 2012

    • Publications: [TSE15][ASE15][ICSE17a]
    • Thesis Title: Design and Implementation of a Precise Condition Synthesis Tool for Program Repair
    • First job after graduation: Software Engineer, Gaming Department, Tencent
  4. Xiaodong Yang, Enrolled at 2014, Worked with me since 2014

    • Thesis Title: Code Normalization for Statistics
    • First job after graduation: Software Engineer, Advertising Department, Tencent
  5. Linfei Zang, Enrolled at 2014, Worked with me since 2014

    • Publications: [GI18]
    • Thesis Title: The Design and Implementation of an Automatic Condition Generator Based on Machine Learning
    • First job after graduation: State Information Center
  6. Ran Wang, Enrolled at 2015, Worked with me since 2013

    • Publications: [ICSE15b][FSE16][ASE19c]
    • Thesis Title: The Design and Implementation of a Fault Localization Tool Based on Predicate Spectrum
    • First job after graduation: Google
  7. Zhaoping Zhou, Enrolled at 2015, Worked with me since 2014

    • Publications: [ICSE15a]
    • Thesis Title: Improving Defect Prediction Data Sets
    • First job after graduation: Software Engineer, Sohu
  8. Zhe Gao, Enrolled at 2017, Worked with me since 2016

    • Publications: [ICSME18]
    • Thesis Title: Design and Implementation of API Migration Tool Supporting Type Mapping
    • First job after graduation: Google, Software Engineer
  9. Jiachen Zhang, Enrolled at 2017, Worked with me since 2016

    • Publications: [ICSE17a]
    • Thesis Title: Probabilistic Reasoning-Based Patch Correctness Identification Technique
    • First job after graduation: Biren Technology, Engineer
  10. Xinyuan Liu, Enrolled at 2018, Worked with me since 2016, Graduated at 2021

    • Publications: [ICSE18a]
    • Thesis Title: Automatic Domain-Specific Language Adjustment in Program Synthesis
    • First job after graduation: Software Engineer, Amazon
  11. Muhan Zeng, Enrolled at 2018, Worked with me since 2016, Graduated at 2021

    • Publications: [ICSE18a][POPL20]
    • Thesis Title: Fault Localization Based on Probabilistic Graph Models
    • First job after graduation: Software Engineer, Huawei

Bachelor

  1. Cong Du, Enrolled at 2010, Worked with me since 2014, Graduated at 2014

    • Thesis Title: An Empirical Study on the Stability of Multi-Process BrowserArchitecture Based on Bug Reports
    • First job after graduation: Joined a startup
  2. Jie Wang, Enrolled at 2010, Worked with me since 2012, Graduated at 2014

    • Publications: [TSE15][ASE15][ICSE17a]
    • Thesis Title: Data Retrieval and Pattern Extraction in Bug-Fixing
    • First job after graduation: Master Student, Peking University
  3. Chu-Pan Wong, Enrolled at 2010, Worked with me since 2013, Graduated at 2014

    • Publications: [ICSME14]
    • First job after graduation: Ph.D. Student, CMU
  4. Kai Zhao, Enrolled at 2010, Worked with me since 2014, Graduated at 2014

    • Thesis Title: Implementaion of a Unit Test Tool on Internal States Checking for Eclipse Platform
    • First job after graduation: Alibaba
  5. Chenglong Wang, Enrolled at 2011, Worked with me since 2014, Graduated at 2015

    • Publications: [PEPM15][ECOOP16]
    • Thesis Title: PATL: a Transformation Language for Code Adaptation between APIs
    • Awards: Excellent Bachelor Thesis in Peking University
    • First job after graduation: Ph.D. Student, University of Washington
  6. Ran Wang, Enrolled at 2011, Worked with me since 2013, Graduated at 2015

    • Publications: [ICSE15b][FSE16][ASE19c]
    • Thesis Title: An Empirical Study on Precision-Specific Operations
    • First job after graduation: Master Student, Peking Univeristy
  7. Yangyi Wu, Enrolled at 2011, Worked with me since 2013, Graduated at 2015

    • Publications: [NASAC14][FCST14]
    • Thesis Title: String Transformation Model based on Context-free Grammars
    • First job after graduation: Engineer, Netease Games
  8. Yiming Wu, Enrolled at 2011, Worked with me since 2013, Graduated at 2015

    • Publications: [NASAC14][FCST14][Interwa17]
    • Thesis Title: A Bidirectional C Preprocessor: Design and Implementation
    • First job after graduation: Master Student, CMU
  9. Weikun Yang, Enrolled at 2011, Worked with me since 2014, Graduated at 2015

    • Publications: [ICSE15a]
    • Thesis Title: Integrating a String Constraint Solver into Symbolic Execution Engine
    • First job after graduation: Ph.D. Student, Princeton
  10. Daming Zou, Enrolled at 2011, Worked with me since 2013, Graduated at 2015

    • Publications: [ICSE15b][FSE16][TSE19][POPL20]
    • Thesis Title: A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies
    • Awards: Rising Star in EECS (Highest academic honor for undergraduate students in EECS), Top 10 Graduate Thesis in EECS
    • First job after graduation: Master Student, Peking Univeristy
  11. Xinrui He, Enrolled at 2012, Worked with me since 2014, Graduated at 2016

    • Publications: [FSE16]
    • First job after graduation: Master Student, CMU
  12. Xiangyu Luo, Enrolled at 2012, Worked with me since 2015, Graduated at 2016

    • Publications: [ECOOP16]
    • Thesis Title: A control flow analysis algorithm for Hindley-Milner type system
    • First job after graduation: Engineer, Google, USA
  13. Yangqingwei Shi, Enrolled at 2012, Worked with me since 2014, Graduated at 2016

    • Publications: [ISSTA17]
    • Thesis Title: Design and Implementation of Dynamic Mutation Analysis
    • First job after graduation: Master Student, CMU
  14. Zhengkai Wu, Enrolled at 2012, Worked with me since 2014, Graduated at 2016

    • Publications: [Interwa17]
    • Thesis Title: Analysis and Implementation of Statistical Multi-Execution Model
    • First job after graduation: Ph.D. Student, UIUC
  15. Yufeng Cheng, Enrolled at 2013, Worked with me since 2014

    • Publications: [ICST16a][Interwa17]
    • Thesis Title: Theoretical Proof and Tool Implementation of Bidirectional C Preprocessor
    • First job after graduation: Face++
  16. Zhe Gao, Enrolled at 2013, Worked with me since 2016

    • Publications: [ICSME18]
    • Thesis Title: A Realization of Sorting for Refactoring Clones
    • First job after graduation: Master Student, Peking University
  17. Tiancheng Jin, Enrolled at 2013, Worked with me since 2015

    • First job after graduation: Master Student, Michigan University
  18. Di Wang, Enrolled at 2013, Worked with me since 2015

    • Publications: [ESOP17]
    • Thesis Title: Accelerating Program Analyses by Conditional Summarization with Datalog
    • First job after graduation: Ph.D. Student, CMU
  19. Runfa Yan(UESTC), Enrolled at 2013, Worked with me since 2016

    • Publications: [ICSE17a]
    • First job after graduation: Yonyou Software
  20. Zhixuan Yang, Enrolled at 2013, Worked with me since 2017

    • Thesis Title: A Flow-sensitive and Context-sensitive Points-to Analysis Algorithm
    • First job after graduation: Ph.D. Student, NII
  21. Jiachen Zhang, Enrolled at 2013, Worked with me since 2016

    • Publications: [ICSE17a]
    • Thesis Title: An Implementation of API Search Engine based on Signature
    • First job after graduation: Master Student, Peking University
  22. Zexuan Zhong, Enrolled at 2013, Worked with me since 2015

    • First job after graduation: Master Student, UIUC
  23. Guirong Fu, Enrolled at 2014, Worked with me since 2017

    • Publications: [GI18]
    • First job after graduation: Master Student, ETH Zurich
  24. Xinyuan Liu, Enrolled at 2014, Worked with me since 2016

    • Publications: [ICSE18a]
    • Thesis Title: An Implementation of API Search Engine based on Signature
    • Awards: Excellent Bachelor Thesis in Peking University
    • First job after graduation: Master Student, Peking University
  25. Xianghao Tang, Enrolled at 2014, Worked with me since 2018

    • Thesis Title: Cost Reduction Techniques for Mutation Analysis under Semi-interpreting Framework
    • First job after graduation: Software Engineer, Microsoft
  26. Muhan Zeng, Enrolled at 2014, Worked with me since 2016

    • Publications: [ICSE18a][POPL20]
    • Thesis Title: Identifying Patch Correctness in Automatic Program Repair
    • First job after graduation: Master Student, Peking University
  27. Zhengnan Zhu(Beihang University), Enrolled at 2014, Worked with me since 2017

    • First job after graduation: Master Student, University of Southern California
  28. Yifan Chen, Enrolled at 2015, Worked with me since 2017, Graduated at 2019

    • Publications: [ISSTA18b][SAS21]
    • Thesis Title: Design of merging-based heuristic summary of Datalog program analysis
    • First job after graduation: Ph.D. Student, Peking University
  29. Xiaotao Liu, Enrolled at 2015, Worked with me since 2019, Graduated at 2019

    • Thesis Title: APR Patch Assessment via Mutation Testing
  30. Yuhao Zhang, Enrolled at 2015, Worked with me since 2017, Graduated at 2019

    • Publications: [ISSTA18b][FSE20]
    • Thesis Title: Detection and Repair for Numerical Bugs in Deep Learning Programs
    • Awards: Top 10 Graduation Thesis, EECS, Peking University
    • First job after graduation: Ph.D. Student, University of Wisconsin-Madison
  31. Qihao Zhu, Enrolled at 2015, Worked with me since 2017, Graduated at 2019

    • Publications: [AAAI19][AAAI20][IJCAI20][ASE20][FSE21b]
    • Thesis Title: A Grammar-Based Structural CNN Decoder for Code Generation
    • First job after graduation: Ph.D. Student, Peking University
  32. Ruyi Ji, Enrolled at 2016, Worked with me since 2017

    • Publications: [PLDI20][TOSEM20][OOPSLA20][ICSME21][OOPSLA21]
    • Thesis Title: Question Selection for Interactive Program Synthesis
    • Awards: Top 10 Graduate Thesis, EECS, Peking University; Excellent Graduate Thesis in Beijing
    • First job after graduation: Ph.D. Student, Peking University
  33. Sirui Lu, Enrolled at 2016, Worked with me since 2018

    • Publications: [JOS20][ASE21]
    • Thesis Title: Acceleration of Fork­based Mutation Analysis
    • First job after graduation: Ph.D. Student, University of Washington
  34. Luyao Ren, Enrolled at 2016, Worked with me since 2018

    • Publications: [ASE19a][FSE20]
    • Thesis Title: Systematic Editing via Learning from Singular Examples: Approach and Tool Implementation
    • First job after graduation: Ph.D. Student, Peking University
  35. Ziyi Yang, Enrolled at 2016, Worked with me since 2018

  36. Hanliang Zhang, Enrolled at 2016, Worked with me since 2018

  37. Yunfan Zhang, Enrolled at 2016, Worked with me since 2019

    • Thesis Title: Test Generation for Complex Heap Inputs Based on Syntax-Guided Synthesis
    • First job after graduation: Ph.D. Student, Peking University
  38. Ruobing Shen, Enrolled at 2017, Worked with me since 2019, Graduated at 2021

    • Publications: [FSE21a]
    • Thesis Title: Probabilistic Delta Debugging
    • First job after graduation: Software Engineerer, Hudson River Trade, Singapore
  39. Yican Sun, Enrolled at 2017, Worked with me since 2018, Graduated at 2021

    • Publications: [AAAI20][OOPSLA20]
    • Thesis Title: Quantitative Analysis of Assertion Violations in Probabilistic Programs
    • Awards: Top 10 Graduate Thesis, EECS, Peking University
    • First job after graduation: Ph.D. Student, Peking University
  40. Yiqian Wu, Enrolled at 2017, Worked with me since 2019, Graduated at 2021

    • Thesis Title: The Design and Implementation of Probabilistic Fault Localization
    • First job after graduation: Ph.D. Student, Peking University
  41. Chenyang Yang, Enrolled at 2017, Worked with me since 2019, Graduated at 2021

    • Publications: [SAS21]
    • Thesis Title: Generating Documentation for Data Wrangling Code
    • First job after graduation: Ph.D. Student, Carnegie Mellon University
  42. Zhentao Ye, Enrolled at 2017, Worked with me since 2019, Graduated at 2021

    • Thesis Title: Test generation based on probability inference and abstract interpretation
    • First job after graduation: Ph.D. Student, Peking University
  43. Shiran Zhang, Enrolled at 2017, Worked with me since 2019, Graduated at 2021

    • Thesis Title: Bug Detection and Repair Based on Single Example: Interactive Language Design and Tool Implementation
    • First job after graduation: Master Student, New York University