智能化软件工程，基础软件质量保障

2025-10--中国科学院软件研究所   副研究员
2023-08--2025-10   中国科学院软件研究所   助理研究员
2021-09--2023-07   北京大学   全职博士后
2016-09--2021-06   北京邮电大学   工学博士
2012-09--2016-06   北京邮电大学   工学学士

   

（1） 软件所优秀青年科技人才计划, 研究所（学校）, 2024
（2） 中国开放指令生态（RISC-V）联盟生态贡献奖, 其他, 2023

   

（1） PATCH: Empowering Large Language Model with Programmer-Intent Guidance and Collaborative-Behavior Simulation for Automatic Bug Fixing, ACM Transactions on Software Engineering and Methodology (TOSEM) [CCF-A], 2026, 第 1 作者
（2） CITYWALK: Enhancing LLM-Based C++ Unit Test Generation via Project-Dependency Awareness and Language-Specific Knowledge, ACM Transactions on Software Engineering and Methodology (TOSEM) [CCF-A], 2026, 第 1 作者
（3） RISE: Rule-Driven SQL Dialect Translation via Query Reduction, Proceedings of the 48th IEEE/ACM International Conference on Software Engineering (ICSE) [CCF-A], 2026, 第 2 作者  通讯作者
（4） Toward Efficient Package Maintenance: An Empirical Study of Patch Sharing across Four Linux Distributions, Proceedings of the 48th IEEE/ACM International Conference on Software Engineering (ICSE) [CCF-A], 2026, 第 3 作者
（5） Understanding Code Similarity across Instruction Set Architectures: An Empirical Study, Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering (FSE) [CCF-A], 2026, 第 4 作者
（6） SAGA: Summarization-Guided Assert Statement Generation, Journal of Computer Science and Technology (JCST) [CCF-B], 2025, 第 1 作者
（7） 基于路径语义表示的静态警报自动确认方法, 软件学报 [中文CCF-A], 2024, 第 1 作者
（8） 基于多源域适应的缺陷类别预测方法, 软件学报 [中文CCF-A], 2024, 第 4 作者  通讯作者

（1） 软件测试教程（第 3 版）, 机械工业出版社, 2021-11, 第 5 作者