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. Bo Wang, Enrolled at 2015, Worked with me since 2014

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

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

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

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

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

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

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

Master Students

  1. Xinyuan Liu, Enrolled at 2018, Worked with me since 2016

  2. Muhan Zeng, Enrolled at 2018, Worked with me since 2016

Undergraduates

  1. Ruobing Shen, Enrolled at 2017, Worked with me since 2019

  2. Yican Sun, Enrolled at 2017, Worked with me since 2018

  3. Yiqian Wu, Enrolled at 2017, Worked with me since 2019

  4. Chenyang Yang, Enrolled at 2017, Worked with me since 2019

  5. Zhentao Ye, Enrolled at 2017, Worked with me since 2019

  6. Shiran Zhang, Enrolled at 2017, Worked with me since 2019

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

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

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

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]
    • 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

    • Publications: [ASE14][ICST16b][ICSE16][ICSE17b][TSE18][CSUR19][SCIS19c][ISSRE19][ASE19b][FSE20-ITb]
    • Thesis Title: Data-Driven Compiler Testing and Debugging
    • Awards: CCF Outstanding Doctorial Dissertation Award, Presidential Fellowship, Qualcomm Fellowship (Two of the highest fellowships in EECS)
    • First job after graduation: Associate Professor, Tianjin University
  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

  7. Daming Zou, Enrolled at 2015, Worked with me since 2013

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

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. Zhaoping Zhou, Enrolled at 2011, Worked with me since 2014, Graduated at 2015

    • Publications: [ICSE15a]
    • Thesis Title: Experimental Analysis and Debugging of a Memory-Leak Fixing Tool
    • First job after graduation: Master Student, Peking Univeristy
  11. 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
  12. Xinrui He, Enrolled at 2012, Worked with me since 2014, Graduated at 2016

    • Publications: [FSE16]
    • First job after graduation: Master Student, CMU
  13. 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
  14. 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
  15. 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
  16. 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++
  17. 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
  18. Tiancheng Jin, Enrolled at 2013, Worked with me since 2015

    • First job after graduation: Master Student, Michigan University
  19. 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
  20. Runfa Yan(UESTC), Enrolled at 2013, Worked with me since 2016

    • Publications: [ICSE17a]
    • First job after graduation: Yonyou Software
  21. 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
  22. 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
  23. Zexuan Zhong, Enrolled at 2013, Worked with me since 2015

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

    • Publications: [GI18]
    • First job after graduation: Master Student, ETH Zurich
  25. 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
  26. 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
  27. 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
  28. Zhengnan Zhu(Beihang University), Enrolled at 2014, Worked with me since 2017

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

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

    • Thesis Title: APR Patch Assessment via Mutation Testing
  31. 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
  32. Qihao Zhu, Enrolled at 2015, Worked with me since 2017, Graduated at 2019

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

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

    • Publications: [JOS20]
    • Thesis Title: Acceleration of Fork­based Mutation Analysis
    • First job after graduation: Ph.D. Student, University of Washington
  35. 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
  36. Ziyi Yang, Enrolled at 2016, Worked with me since 2018

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

  38. 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