Group

Current Students

• 

  Haoxiang Jia

  PhD Student, Peking University, 2024–present

  Thesis topic: Information Management for LLM-Based Software Engineering

  Google Scholar
• 

  Dimitrios Stamatios Bouras

  PhD Student, Peking University, 2025–present

  Research Assistant, Peking University, 2024–2025

  Thesis topic: Augmenting Classical Program Analysis with Large Language Models

  NSFC Research Fund for Excellent International PhD Students

  Homepage Google Scholar
• 

  Yihan Dai

  PhD Student, Peking University, 2025–present

  Thesis topic: Addressing the Oracle Problem in AI-Generated Code

  Homepage Google Scholar
• 

  Haotian Xu

  PhD Student, Peking University, 2026–present

  Thesis topic: Harnesses and Interaction Protocols for Coding Agents

  Homepage
• 

  Sijie Liang

  Master's Student, Peking University, 2026–present

  Thesis topic: Agentic Generation of Verified Programs in Lean

  Homepage Google Scholar

Alumni

• Yu Liu

  PhD Student, National University of Singapore, 2020–2025

  Thesis: Program Repair Using Datalog-Based Static Analysis

  Co-advisor with Abhik Roychoudhury

• Nikhil Parasaram

  PhD Student, University College London, 2019–2024

  Thesis: Synergising Program Analysis and Machine Learning for Program Repair

  First supervisor. Second supervisor is Earl T. Barr

  First position: Uber (Programming Systems Team)