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. Hao Tang, Enrolled at 2013, Worked with me since 2014

    • Publications: [ESOP17]
    • Awards: Microsoft Fellowship (One of the highest fellowships in EECS)
  2. Junjie Chen, Enrolled at 2014, Worked with me since 2013

    • Publications: [ASE14][ICST16b][ICSE16][ICSE17b]
    • Awards: Presidential Fellowship, Qualcomm Fellowship (Two of the highest fellowships in EECS)
  3. Ruru Yue, Enrolled at 2014, Worked with me since 2016

  4. Jiajun Jiang, Enrolled at 2015, Worked with me since 2015

  5. Bo Wang, Enrolled at 2015, Worked with me since 2014

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

    • Publications: [ICSE15b][FSE16]
    • Awards: Presidental Fellowship (One of the highest fellowships in EECS)
  7. Jingjing Liang, Enrolled at 2016, Worked with me since 2014

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

Master Students

  1. Zhe Gao, Enrolled at 2017, Worked with me since 2016

  2. Zeyu Sun, Enrolled at 2017, Worked with me since 2017

  3. Jiachen Zhang, Enrolled at 2017, Worked with me since 2016

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

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

Undergraduates

  1. Yifan Chen, Enrolled at 2015, Worked with me since 2017

  2. Yuhao Zhang, Enrolled at 2015, Worked with me since 2017

  3. Qihao Zhu, Enrolled at 2015, Worked with me since 2017

  4. Ruyi Ji, Enrolled at 2016, Worked with me since 2017

  5. Sirui Lu, Enrolled at 2016, Worked with me since 2018

  6. Luyao Ren, Enrolled at 2016, Worked with me since 2018

  7. Ziyi Yang, Enrolled at 2016, Worked with me since 2018

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

  9. Yaofeng Sun, Enrolled at 2017, Worked with me since 2018

  10. Yichan Sun, Enrolled at 2017, Worked with me since 2018

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

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

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