Yuan-an Xiao
Joined the group: 2020
Publications: TOSEM26aFSE26ICSE26aarXiv25APR-C24TSE24ASE23DemoFSE21b
Students
Current students
PhD students
Jian Fang
Joined the group: 2023
Zhao Zhang
Joined the group: 2022
Yuwei Zhao
Joined the group: 2022
Zhechong Huang
Joined the group: 2022
Publications: FSE24DEMO
Shuhao Zhang
Joined the group: 2024
Publications: OOPSLA25
Guanlin Chen
Joined the group: 2024
Publications: OOPSLA25
Hangzhou Lv
Joined the group: 2024
Master's students
Undergraduate students
Yixun Yao
Joined the group: 2025
Publications: ASE26
Kelvin Yu
Joined the group: 2026
Oxford University
Chengwei Shi
Joined the group: 2024
Qihao Kong
Joined the group: 2024
Laiheng Song
Joined the group: 2026
Yihan Chen
Joined the group: 2025
Jinrui Li
Joined the group: 2026
Hongling Su
Joined the group: 2026
Jingkang Yu
Joined the group: 2026
Zihan Xie
Joined the group: 2026
Yongqiao Gong
Joined the group: 2026
Alumni
PhD students
Jun Li
Joined the group: 2012
Thesis: API-Oriented Program Migration
Next: Architect, Founder Group
Publications: ECOOP16SciChina16PEPM15ICWS13
Qing Gao
Joined the group: 2012
Qualcomm Fellowship (One of the highest fellowships in EECS)
Thesis: Research on Pattern-Based Automatic Bug-Fixing Techniques
Next: Postdoctoral Researcher, Beida Software
Publications: ISSTA18aSciChina16ASE15ICSE15a
Hao Tang
Joined the group: 2014
Microsoft Fellowship (One of the highest fellowships in EECS)
Thesis: Summary-Based Acceleration of Static Program Analysis
Next: Software Engineer, Alibaba
Ruru Yue
Joined the group: 2016
Next: Gaosi Education
Publications: ICSME18
Junjie Chen
Joined the group: 2013
CCF Outstanding Doctorial Dissertation Award, Presidential Fellowship, Qualcomm Fellowship (Two of the highest fellowships in EECS)
Thesis: Data-Driven Compiler Testing and Debugging
Next: Associate Professor, Tianjin University
Publications: TOSEM26barXiv25ASE23FSE21aJOS20bFSE20-ITbASE19bISSRE19SCIS19cCSUR19TSE18ICSE17bICSE16ICST16bASE14
Daming Zou
Joined the group: 2013
Outstanding Ph.D. Thesis in Peking University; Presidental Fellowship (One of the highest fellowships in EECS)
Thesis: Search-Based Methods for Testing and Analyzing Floating-Point Errors
Next: Postdoctoral Researcher, ETH Zurich
Jiajun Jiang
Joined the group: 2015
National Scholarship, Ministry of Education; Merit Student Pacesetter Awards, Peking University; Outstanding Graduate Students, Peking University
Thesis: Research on Automatic Program Repair Technology for Infrequent Defects
Next: Associate Research Professor, Tianjin University (Three-year Tenure-Track Position)
Publications: TSE26TOSEM26bICSME21ICST21JOS20bFSE20-ITbJOS20ASE19cASE19aSCIS19bISSTA18aECOOP16
Bo Wang
Joined the group: 2014
Thesis: Approaches for Automated Program Repair Based on Program Estimation
Next: Lecturer, Beijing Jiaotong University
Publications: TSE24ASE23DemoTOSEM22ASE21TOSEM20JOS20GI18ISSTA17
Jingjing Liang
Joined the group: 2014
Thesis: Improving the Review Process of Automatically Generated Patches
Next: Software Engineer, Huawei
Guancheng Wang
Joined the group: 2017
Thesis: Research on Probabilistic Delta Debugging
Next: Postdoctoral Researcher, Queen's University, Canada
Zeyu Sun
Joined the group: 2017
Presidental Scholarship
Thesis: Research on Key-Constraints-Aware Program Generation Based on Deep Learning
Next: Assistant Researcher, Zhongguancun Lab->Assistant Researcher, Institute of Software, Chinese Academy of Science
Publications: ISSTA26ACL-Fnd25ICSE24CJC23ICSE23aSCIS22bIJCAI22bIJCAI22aICSE22bAAAI22FSE21bASE20IJCAI20AAAI20AAAI19
Qihao Zhu
Joined the group: 2017
Distinguished Ph.D. Thesis, CCF TCSE, Distinguished Ph.D. Thesis of School of Computer Science, Presidental Scholarship, National Scholarship, ByteDance Scholarship
Thesis: Deep Learning for Code with Language Definition Awareness: Techniques and Applications
Next: Founding Team Member, DeepSeek
Publications: ICSE24APR-C24arXiv24ISSRE23ICSE23aSCIS22bIJCAI22bIJCAI22aAAAI22FSE21bASE20IJCAI20AAAI20AAAI19
Yunfan Zhang
Joined the group: 2019
Thesis: Research on Automatic Program Synthesis Techniques for Relational Specifications
Next: Engineer, Huawei
Publications: ASE22
Ruyi Ji
Joined the group: 2017
Distinguished Ph.D. Thesis by TCFM, CCF; Distinguished Ph.D. Thesis of Peking University; Excellent Graduate in Beijing; Microsoft Research Asia Fellowship; Presidental Scholarship; National Scholarship; Top 10 in Research at School of Computer Science, Peking University
Thesis: Program Synthesis Guided by Algorithmic Paradigms
Next: Postdoc, University of Michgan
Publications: POPL26OOPSLA25FSE24DEMOFM24PLDI24TOPLAS24OOPSLA23aOOPSLA21ICSME21OOPSLA20TOSEM20PLDI20
Yiqian Wu
Joined the group: 2019
Thesis: Research on Program Trace Guided Fault Localization
Next: Engineer, Huawei
Yican Sun
Joined the group: 2018
Presidental Scholarship, National Scholarship
Thesis: Synthesizing dynamic programming with correctness guarantee
Next: Engineer, Citadel Securities
Qingyuan Liang
Joined the group: 2021
Excellent Graduate in Peking University, National Scholarship
Next: Engineer, Wizard Quant
Master's students
Hansheng Zhang
Joined the group: 2012
Thesis: Techniques for Fixing Class-specific Software Defects
Next: Engineer, Hulu.com
Yaqing Mi
Joined the group: 2013
Thesis: Design and Implementation of an Automatic Memory-Leak Fixing Tool for C Programs
Next: Software Engineer, Agricultural Bank of China
Publications: ICSE15a
Xiaodong Yang
Joined the group: 2014
Thesis: Code Normalization for Statistics
Next: Software Engineer, Advertising Department, Tencent
Linfei Zang
Joined the group: 2014
Thesis: The Design and Implementation of an Automatic Condition Generator Based on Machine Learning
Next: State Information Center
Publications: GI18
Jie Wang
Joined the group: 2012
Thesis: Design and Implementation of a Precise Condition Synthesis Tool for Program Repair
Next: Software Engineer, Gaming Department, Tencent
Ran Wang
Joined the group: 2013
Thesis: The Design and Implementation of a Fault Localization Tool Based on Predicate Spectrum
Next: Google
Zhaoping Zhou
Joined the group: 2014
Thesis: Improving Defect Prediction Data Sets
Next: Software Engineer, Sohu
Publications: ICSE15a
Zhe Gao
Joined the group: 2016
Thesis: Design and Implementation of API Migration Tool Supporting Type Mapping
Next: Google, Software Engineer
Publications: ICSME18
Jiachen Zhang
Joined the group: 2016
Thesis: Probabilistic Reasoning-Based Patch Correctness Identification Technique
Next: Biren Technology, Engineer
Publications: ICSE17a
Xinyuan Liu
Joined the group: 2016
Thesis: Automatic Domain-Specific Language Adjustment in Program Synthesis
Next: Software Engineer, Amazon
Publications: ICSE18a
Muhan Zeng
Joined the group: 2016
Thesis: Fault Localization Based on Probabilistic Graph Models
Next: Software Engineer, Huawei
Yifan Chen
Joined the group: 2017
Presidental Scholarship
Next: Engineer, ByteDance
Zhentao Ye
Joined the group: 2019
Next: Software Engineer, T-Head Semiconductor
Undergraduate students
Cong Du
Joined the group: 2014
Thesis: An Empirical Study on the Stability of Multi-Process BrowserArchitecture Based on Bug Reports
Next: Joined a startup
Kai Zhao
Joined the group: 2014
Thesis: Implementaion of a Unit Test Tool on Internal States Checking for Eclipse Platform
Next: Alibaba
Chu-Pan Wong
Joined the group: 2013
Next: Ph.D. Student, CMU
Publications: ICSME14
Jie Wang
Joined the group: 2012
Thesis: Data Retrieval and Pattern Extraction in Bug-Fixing
Next: Master Student, Peking University
Daming Zou
Joined the group: 2013
Rising Star in EECS (Highest academic honor for undergraduate students in EECS), Top 10 Graduate Thesis in EECS
Thesis: A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies
Next: Master Student, Peking Univeristy
Ran Wang
Joined the group: 2013
Thesis: An Empirical Study on Precision-Specific Operations
Next: Master Student, Peking Univeristy
Weikun Yang
Joined the group: 2014
Thesis: Integrating a String Constraint Solver into Symbolic Execution Engine
Next: Ph.D. Student, Princeton
Publications: ICSE15a
Yangyi Wu
Joined the group: 2013
Thesis: String Transformation Model based on Context-free Grammars
Next: Engineer, Netease Games
Yiming Wu
Joined the group: 2013
Thesis: A Bidirectional C Preprocessor: Design and Implementation
Next: Master Student, CMU
Chenglong Wang
Joined the group: 2014
Excellent Bachelor Thesis in Peking University
Thesis: PATL: a Transformation Language for Code Adaptation between APIs
Next: Ph.D. Student, University of Washington
Zhengkai Wu
Joined the group: 2014
Thesis: Analysis and Implementation of Statistical Multi-Execution Model
Next: Ph.D. Student, UIUC
Publications: Interwa17
Xiangyu Luo
Joined the group: 2015
Thesis: A control flow analysis algorithm for Hindley-Milner type system
Next: Engineer, Google, USA
Publications: ECOOP16
Yangqingwei Shi
Joined the group: 2014
Thesis: Design and Implementation of Dynamic Mutation Analysis
Next: Master Student, CMU
Publications: ISSTA17
Xinrui He
Joined the group: 2014
Next: Master Student, CMU
Publications: FSE16
Zhixuan Yang
Joined the group: 2017
Thesis: A Flow-sensitive and Context-sensitive Points-to Analysis Algorithm
Next: Ph.D. Student, NII
Runfa Yan
Joined the group: 2016
UESTC
Next: Yonyou Software
Publications: ICSE17a
Zhe Gao
Joined the group: 2016
Thesis: A Realization of Sorting for Refactoring Clones
Next: Master Student, Peking University
Publications: ICSME18
Jiachen Zhang
Joined the group: 2016
Thesis: An Implementation of API Search Engine based on Signature
Next: Master Student, Peking University
Publications: ICSE17a
Yufeng Cheng
Joined the group: 2014
Thesis: Theoretical Proof and Tool Implementation of Bidirectional C Preprocessor
Next: Face++
Tiancheng Jin
Joined the group: 2015
Next: Master Student, Michigan University
Zexuan Zhong
Joined the group: 2015
Next: Master Student, UIUC
Di Wang
Joined the group: 2015
Thesis: Accelerating Program Analyses by Conditional Summarization with Datalog
Next: Ph.D. Student, CMU
Xianghao Tang
Joined the group: 2018
Thesis: Cost Reduction Techniques for Mutation Analysis under Semi-interpreting Framework
Next: Software Engineer, Microsoft
Zhengnan Zhu
Joined the group: 2017
Beihang University
Next: Master Student, University of Southern California
Guirong Fu
Joined the group: 2017
Next: Master Student, ETH Zurich
Publications: GI18
Xinyuan Liu
Joined the group: 2016
Excellent Bachelor Thesis in Peking University
Thesis: An Implementation of API Search Engine based on Signature
Next: Master Student, Peking University
Publications: ICSE18a
Muhan Zeng
Joined the group: 2016
Thesis: Identifying Patch Correctness in Automatic Program Repair
Next: Master Student, Peking University
Xiaotao Liu
Joined the group: 2019
Thesis: APR Patch Assessment via Mutation Testing
Qihao Zhu
Joined the group: 2017
Thesis: A Grammar-Based Structural CNN Decoder for Code Generation
Next: Ph.D. Student, Peking University
Publications: ICSE24APR-C24arXiv24ISSRE23ICSE23aSCIS22bIJCAI22bIJCAI22aAAAI22FSE21bASE20IJCAI20AAAI20AAAI19
Yuhao Zhang
Joined the group: 2017
Top 10 Graduation Thesis, EECS, Peking University
Thesis: Detection and Repair for Numerical Bugs in Deep Learning Programs
Next: Ph.D. Student, University of Wisconsin-Madison
Yifan Chen
Joined the group: 2017
Thesis: Design of merging-based heuristic summary of Datalog program analysis
Next: Ph.D. Student, Peking University
Yunfan Zhang
Joined the group: 2019
Thesis: Test Generation for Complex Heap Inputs Based on Syntax-Guided Synthesis
Next: Ph.D. Student, Peking University
Publications: ASE22
Hanliang Zhang
Joined the group: 2018
Luyao Ren
Joined the group: 2018
Thesis: Systematic Editing via Learning from Singular Examples: Approach and Tool Implementation
Next: Ph.D. Student, Peking University
Ziyi Yang
Joined the group: 2018
Sirui Lu
Joined the group: 2018
Thesis: Acceleration of Forkbased Mutation Analysis
Next: Ph.D. Student, University of Washington
Ruyi Ji
Joined the group: 2017
Top 10 Graduate Thesis, EECS, Peking University; Excellent Graduate Thesis in Beijing
Thesis: Question Selection for Interactive Program Synthesis
Next: Ph.D. Student, Peking University
Publications: POPL26OOPSLA25FSE24DEMOFM24PLDI24TOPLAS24OOPSLA23aOOPSLA21ICSME21OOPSLA20TOSEM20PLDI20
Zhentao Ye
Joined the group: 2019
Thesis: Test generation based on probability inference and abstract interpretation
Next: Ph.D. Student, Peking University
Chenyang Yang
Joined the group: 2019
Thesis: Generating Documentation for Data Wrangling Code
Next: Ph.D. Student, Carnegie Mellon University
Yiqian Wu
Joined the group: 2019
Thesis: The Design and Implementation of Probabilistic Fault Localization
Next: Ph.D. Student, Peking University
Shiran Zhang
Joined the group: 2019
Thesis: Bug Detection and Repair Based on Single Example: Interactive Language Design and Tool Implementation
Next: Master Student, New York University
Ruobing Shen
Joined the group: 2019
Thesis: Probabilistic Delta Debugging
Next: Software Engineerer, Hudson River Trade, Singapore
Publications: FSE21a
Yican Sun
Joined the group: 2018
Top 10 Graduate Thesis, EECS, Peking University
Thesis: Quantitative Analysis of Assertion Violations in Probabilistic Programs
Next: Ph.D. Student, Peking University
Jingtao Xia
Joined the group: 2020
Thesis: A new approach to recursive program synthesis based on STUN
Next: Ph.D. Student, UCSB
Publications: OOPSLA21
Siyuan Li
Joined the group: 2021
Thesis: ICPM: A Competitive Programming Dataset Based on a Constraint Modelling Language
Next: Ph.D. Student, Peking University
Publications: FSE24DEMO
Yuchen Gu
Joined the group: 2020
Thesis: Multiple Precision Targeting for Numerical Programs
Next: Ph.D. Student, ETH Zurich
Publications: OOPSLA22
Yuan-an Xiao
Joined the group: 2020
Thesis: Accelerating Patch Validation in Program Repair with Mutation Testing Techniques
Next: Ph.D. Student, Peking University
Publications: TOSEM26aFSE26ICSE26aarXiv25APR-C24TSE24ASE23DemoFSE21b
Yuanfeng Shi
Joined the group: 2020
Zhao Zhang
Joined the group: 2022
Thesis: Improvement and Application of Algorithm Synthesis Datasets
Next: Ph.D. Student, Peking University
Chaozhe Kong
Joined the group: 2022
Thesis: Pruning grammar using input-output examples for accelerating oracle-guided inductive synthesis
Next: Software Engineering, Metabit
Publications: OOPSLA23a
Xuanyu Peng
Joined the group: 2021
Next: Ph.D. Student, Univeristy of Wisconsin-Madison
Tianran Zhu
Joined the group: 2021
Thesis: Automated Proof of a Class of Program Equivalence Problems
Publications: FSE24DEMO
Ruidong Zhu
Joined the group: 2020
Publications: ASE22
Kaiwen Zhou
Joined the group: 2023
Thesis: Proving properties of list functions by switching representation
Yicheng Qian
Joined the group: 2022
Thesis: A practical monomorphization procedure for dependent type theory
Next: Ph.D. Student, Stanford University
Yuwei Zhao
Joined the group: 2022
Thesis: Automatically Synthesis Dynamic Programming Algorithms -- A Perspective from Abstract Interpretation
Next: Ph.D. Student, Peking University
Yi Yin
Joined the group: 2022
Publications: TSE25
Yujie Liu
Joined the group: 2022
Publications: TSE25
Zhechong Huang
Joined the group: 2022
Thesis: Automatic code synthesis with proof for type correctness
Next: Ph.D. Student, Peking University
Publications: FSE24DEMO
Shuhao Zhang
Joined the group: 2024
Beijing Institute of Technology
Thesis: Program Synthesis Based on Bottom-up Version Space Algebra Intersection
Next: Ph.D. Student, Peking University
Publications: OOPSLA25
Guanlin Chen
Joined the group: 2024
Thesis: Program synthesis based on multi-way VSA intersection
Next: Ph.D. Student, Peking University
Publications: OOPSLA25
Xuanlin Jiang
Joined the group: 2023
Publications: FM24
Weixuan Wang
Joined the group: 2023
Publications: ICSE26a
Junqi Xu
Joined the group: 2024
Qianyu Xiao
Joined the group: 2024
Next: Engineer, ZenX Quant
Publications: TOSEM26a
Tingxuan Xia
Joined the group: 2024
Hangzhou Lv
Joined the group: 2024
Thesis: Probe-Guided Tool Integration Configuration for LLM-Based Automated Theorem Proving
Next: Ph.D. student, Peking University
Haotian Xu
Joined the group: 2024
Wentao Peng
Joined the group: 2024
Zihang Sheng
Joined the group: 2025
Zirui Chen
Joined the group: 2024