Selected Publications: [ICSE'26] Aligning Requirement for Large Language Model's Code Generation, [ICSE'26] A Comprehensive Study of Deep Learning Model Fixing Approaches, [ICSE'26] CombCT: Compiler Testing via Combinatorial Testing, [ASE'25] Clarifying Semantics of In-Context Examples for Unit Test Generation, [ASE'25] Reflective Unit Test Generation for Precise Type Error Detection with Large Language Models, [ASE'25] Interleaved Learning and Exploration: A Self-Adaptive Fuzz Testing Framework for MLIR, [OOPSLA'25] DESIL: Detecting Silent Bugs in MLIR Compiler Infrastructure.
Research Experience
2024 January to present, Professor at Tianjin University; 2019 July to 2024 January, Associate Professor at Tianjin University.
Education
2014-2019, Ph.D. in Computer Science from Peking University, supervised by Prof. Bing Xie, Prof. Lu Zhang, Prof. Dan Hao, and Prof. Yingfei Xiong; 2016-2017, visiting Ph.D. student at the University of Texas at Dallas, supervised by Prof. Lingming Zhang; 2010-2014, Bachelor's degree in Software Engineering from Beihang University.
Background
Research Interests: Software Fuzzing, Intelligent Software Engineering, Trusted AI, Software Maintenance. Focus areas include code generation for large language models, approaches to fixing deep learning models, and compiler testing.
Miscellany
The lab has several PhD and Master positions available this year. Welcomes self-motivated students with proficient programming skills and strong interests in Software Engineering, LLMs, Security, and/or Program Analysis.