Yibiao YANG (杨已彪)
I am a Tenure-track Assistant Professor (准聘助理教授/特聘研究员/博导) at the School of Computer Science, Nanjing University. My research focuses on Software Engineering (SE), particularly leveraging AI and Large Language Models (LLMs) to build advanced, automated testing and debugging technologies for complex systems.
🚀 欢迎对软件工程、AI for SE、LLM 或系统可靠性方向感兴趣的优秀本科生和研究生联系我，参与科研实习或攻读硕士、博士学位！查看详情 →
I received my Ph.D. from Nanjing University under the supervision of Prof. Yuming Zhou and was a visiting student at the CREST centre, University College London, co-supervised by Prof. Mark Harman and Prof. Jens Krinke.
Research Interests
My research lies at the intersection of AI and Software Engineering, with a focus on advancing automated techniques for software validation and debugging.
News
- 2026-10 祝贺李清扬入选2026年中国科协青年科技人才培育工程博士生专项计划！ Congratulations to Qingyang Li for being selected into the 2026 CAST Young Talents Cultivation Project for Doctoral Candidates!
- 2026-09 我们的 OOPSLA 2026 论文获得ACM SIGPLAN 杰出论文奖！祝贺路则雨！ Our OOPSLA 2026 paper received an ACM SIGPLAN Distinguished Paper Award ! Congratulations to Zeyu Lu!
- 2026-09 我们通过扩展汇编注入的编译器测试技术被 ACM SIGOPS ATC 2026 录用！祝贺吴江昶！ Our compiler testing technique via extended assembly injection was accepted to ACM SIGOPS ATC 2026! Congratulations to Jiangchang Wu!
- 2026-09 我们的 ISSTA 2026 论文获得ACM SIGSOFT 杰出论文奖！祝贺蒋松言和孙茂林！ Our ISSTA 2026 paper received an ACM SIGSOFT Distinguished Paper Award ! Congratulations to Songyan Jiang and Maolin Sun!
- 2026-08 我们通过跨理论近似验证优化 SMT 求解器的技术被 OOPSLA 2026 录用！祝贺孙茂林！ Our technique for validating optimizing SMT solvers via cross-theory approximation was accepted to OOPSLA 2026! Congratulations to Maolin Sun!
- 2026-08 祝贺李清扬、梁晨曦、蒋松言、刘轩灵和朱玉栋获得 江苏省研究生科研实践创新计划项目！ Congratulations to Qingyang Li, Chenxi Liang, Songyan Jiang, Xuanling Liu, and Yudong Zhu for receiving the Jiangsu Provincial Graduate Research and Practice Innovation Plan!
- 2026-06 我们关于 Verilator 编译器缺陷的实证研究被 ISSTA 2026 录用！祝贺蒋松言和孙茂林！ Our empirical study on bugs in Verilator, a hardware description language compiler, was accepted to ISSTA 2026! Congratulations to Songyan Jiang and Maolin Sun (equal contribution)!
- 2026-06 祝贺高宏艳获得南京大学计算机学院优秀硕士学位论文奖，黄一凡获得提名奖！ Congratulations to Hongyan Gao for winning the Excellent Master's Thesis Award and Yifan Huang for the Nomination Award of the School of Computer Science, Nanjing University!
- 2025-12 我们基于大语言模型的测试套件增强技术被 OOPSLA 2026 录用！祝贺路则雨！ Our LLM-based test suite augmentation technique was accepted to OOPSLA 2026! Congratulations to Zeyu Lu!
- 2025-12 祝贺孙茂林入选2025年中国科协青年科技人才培育工程博士生专项计划！ Congratulations to Maolin Sun for being selected into the 2025 CAST Young Talents Cultivation Project for Doctoral Candidates!
- 2025-11 我们骨架引导的 SMT 求解器模糊测试技术被 ACM ASPLOS 2026 录用！祝贺孙茂林！ Our skeleton-guided SMT solver fuzzing technique was accepted to ACM ASPLOS 2026! Congratulations to Maolin Sun!
- 2025-11 祝贺李清扬获得 南京大学研究生栋梁特等奖学金！ Congratulations to Qingyang Li for being awarded the Pillar of Excellence Scholarship (Top Award) !
- 2025-10 我们重新审视自动化编译器故障隔离的实证研究被 IEEE/ACM ICSE 2026 录用！祝贺李清扬和孙茂林！ Our empirical study revisiting automated compiler fault isolation was accepted to IEEE/ACM ICSE 2026! Congratulations to Qingyang Li and Maolin Sun!
- 2025-08 我们通过重写空间探索验证 SMT 重写器的技术被 ACM OOPSLA 2025 录用！祝贺孙茂林！ Our technique for validating SMT rewriters via rewrite space exploration was accepted to ACM OOPSLA 2025! Congratulations to Maolin Sun!
- 2025-04 我们属性引导的编译空间探索技术（用于揭示编译器故障）被 USENIX ATC 2025 录用！祝贺吴江昶！ Our attribute-guided compilation space exploration technique for unveiling compiler faults was accepted to USENIX ATC 2025! Congratulations to Jiangchang Wu!
- 2024-12 祝贺孙茂林获得国家自然科学基金青年学生基础研究项目（博士生）！ Congratulations to Maolin Sun for being awarded the NSFC Young Student Basic Research Program (Doctoral) !
- 2024-11 我们针对 Rust 编译器的大语言模型模糊测试技术被 IEEE/ACM ICSE 2025 录用！祝贺高宏艳！ Our LLM-based fuzzing technique for the Rust compiler was accepted to IEEE/ACM ICSE 2025! Congratulations to Hongyan Gao!
- 2024-10 我们面向调试器工具链验证的跨层调试技术被 ACM ASPLOS 2025 录用！ Our cross-level debugging technique for debugger toolchain validation was accepted to ACM ASPLOS 2025!
Featured Publications [All Publications]
* Corresponding author; † Equal contribution.
|
EBFuzz: Fuzzing Hidden Structural Assumptions in Compilers with Extended Inline Assembly ContributionEBFuzz is a novel compiler testing technique that exploits GNU C extended inline assembly to systematically construct legal yet structurally unusual programs via control-flow edge injection and data-flow perturbation.
|
|
Validating Optimizing SMT Solvers via Cross-Theory Approximation ContributionIRis implements the cross-theory approximation methodology to validate optimizing SMT solvers by exploiting relationships between solution spaces of different logical theories, uncovering 24 previously unknown bugs in Z3 and OptiMathSAT (20 subsequently fixed by developers).
|
|
Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness Using Large Language Models ContributionSUNG and RAGTIME form a fully automatic LLM-based pipeline for test suite augmentation: SUNG generates semantic-level mutants for mutation testing, and RAGTIME generates test cases targeting the survived mutants, raising mutation scores by 16.04% (standalone) and 8.11% (non-standalone methods) while reducing false positives in LLM-based code generation evaluation.
|
|
Towards Understanding the Bugs in Verilator, a Hardware Description Language Compiler ContributionThis empirical study systematically characterizes the bugs in Verilator, a widely used hardware description language compiler, offering insights that guide future testing and debugging of HDL compilers.
|
|
Using a Sledgehammer to Crack a Nut? Revisiting Automated Compiler Fault Isolation ContributionThis study contributes to a deeper understanding of practical compiler fault localization by demonstrating that the simple, developer-aligned BIC-based (BASIC) strategy significantly outperforms conventional Spectrum-Based Fault Localization (SBFL) techniques.
|
|
Once4All: Skeleton-Guided SMT Solver Fuzzing with LLM-Synthesized Generators ContributionOnce4All is a novel LLM-assisted fuzzing framework for SMT solvers that synthesizes reusable term generators from documentation to efficiently ensure syntactic validity and semantic diversity, dramatically reducing computational overhead and latency.
|
|
Validating SMT Rewriters via Rewrite Space Exploration Supported by Generative Equality Saturation ContributionAries is a novel validation technique that thoroughly explores the SMT solver's rewrite space by using mimetic mutation and deductive rewriting to identify critical bugs, particularly in the rewrite systems.
|
|
Unveiling Compiler Faults via Attribute-Guided Compilation Space Exploration ContributionATLAS is a novel attribute-guided compiler testing approach that strategically inserts C/C++ attributes into test programs, enabling a more flexible and comprehensive exploration of the compilation space to uncover bugs in compilers like GCC and LLVM.
|
|
Debugger Toolchain Validation via Cross-Level Debugging ContributionDevil is a novel debugger toolchain validation framework that introduces Cross-Level Debugging (CLD) to compare execution traces from the same executable at different debugging levels, overcoming limitations of prior approaches by establishing robust consistency relations.
|
招募信息 (Recruitment)
我们研究组常年招收有志于在软件工程、AI/LLM for SE、软件测试与调试、编译技术、系统可靠性等领域深入研究的硕士生和博士生。课题组经费充足，受国家自然科学基金（面上/青年）、江苏省自然科学基金及华为软件新技术联合实验室等项目持续支持，提供完善的计算资源和自由的学术氛围。
我期待的申请者具备以下特质（满足其一或多项）：
- 对编程、软件系统可靠性研究有浓厚的兴趣；
- 具备扎实的编程能力（如 C/C++/Python/Rust）或良好的数学/算法基础；
- 具有良好的英文阅读和写作能力。
联系方式： 如果您对课题组研究方向感兴趣，欢迎将个人简历 (CV)、本科/研究生成绩单、简短的研究兴趣陈述发送至我的邮箱： yangyibiao (at) nju.edu.cn。
Contact
Office
Room 722, Computer Science Building, Nanjing University
163 Xianlin Avenue, Nanjing 210023, China