I am currently a tenured Associate Professor in the School of Computer Science and Technology at Beijing Jiaotong University (BJTU). Before joining BJTU, I received my Ph.D. degree in Computer Science from Peking University in 2021, under the supervision of Prof. Yingfei Xiong. I received my M.S. degree from the University of Science and Technology of China and my B.S. degree from Central South University. I was a visiting Ph.D. student at the National University of Singapore, supervised by Prof. Abhik Roychoudhury, and a visiting scholar at Prof. Jun Sun's group at Singapore Management University.

My research lies at the intersection of Software Engineering and Programming Languages, with a focus on compiler testing, software analysis, fuzzing, mutation analysis, and AI for software engineering. My goal is to improve the reliability, safety, and trustworthiness of critical software infrastructure.

My recent research projects are mainly focused on:
(1) Compiler Testing and Tuning (OOPSLA'25, TSE'25);
(2) Mutation Analysis (FSE'26, TOSEM'26, ASE'21, ISSTA'17);
(3) Automated Program Repair (ICSEM'25, TSE'24, TOSEM'22, TOSEM'20);
(4) Test Generation (ISSTA'26, ASE'24).

News

• I am serving on the Program Committee of ICSE'27, ASE'26 and ISSTA'26.
• [2026.04] Our papers on PTMware license compatibility analysis and LLM-based test generation have been accepted by ISSTA'26.
• [2026.03] Our paper Boosting LLMs for Mutation Generation has been accepted by FSE'26.
• [2026.02] Our paper A Comprehensive Study on Large Language Models for Mutation Testing has been accepted by TOSEM'26.
• [2025.09] Our ICSME'25 paper on program repair is awarded the IEEE TCSE Distinguished Paper Award.
• [2025.08] Our paper on type-driven mutation fuzzing for C++ compilers has been accepted by OOPSLA'25.

Selected Honors and Awards

• ACM SIGSOFT Distinguished Paper Award, ISSTA'17 (Faster Mutation Analysis via Equivalence Modulo States)
• IEEE TCSE Distinguished Paper Award, ICSME'25 (Boosting Redundancy-based Automated Program Repair by Fine-grained Pattern Mining)

Open-Source Contribution

Our research group develops automated techniques for compiler testing, fuzzing, and software reliability analysis. Through our research, we aim to improve the reliability and safety of critical software infrastructure. Several discovered bugs affected real-world software systems and were discussed by compiler and open-source developers.

• Reported more than 200 bugs to C++ compilers GCC and Clang, among which more than 80 bugs were confirmed as previously unknown bugs by compiler developers.
• Reported more than 60 bugs to Rust compilers rustc and gccrs, among which more than 40 bugs were confirmed as previously unknown bugs by compiler developers.
• Reported 60 license-conflict issues in PTMware software supply chains, among which 11 issues were confirmed by open-source developers.

Selected Recent Publications (Full List)

1) Compiler Testing

---

• [OOPSLA'25] Fuzzing C++ Compilers via Type-Driven Mutation
  Bo Wang, Chong Chen, Ming Deng, Junjie Chen, Xing Zhang, Youfang Lin, Dan Hao, Jun Sun.
  OOPSLA'25 PAPER
  

• [TSE'25] A Comprehensive Study of OOP-Related Bugs in C++ Compilers
  Bo Wang, Chong Chen, Junjie Chen, Bowen Xu, Chen Ye, Youfang Lin, Guoliang Dong, Jun Sun.
  IEEE Transactions on Software Engineering (TSE'25) PAPER
  




2) Mutation Analysis

---

• [FSE'26] Boosting LLMs for Mutation Generation
  Bo Wang, Ming Deng, Mingda Chen, Chengran Yang, Youfang Lin, Mark Harman, Mike Papadakis, Jie M. Zhang. PAPER
  

• [TOSEM'26] A Comprehensive Study on Large Language Models for Mutation Testing
  Bo Wang, Mingda Chen, Ming Deng, Youfang Lin, Mark Harman, Mike Papadakis, Jie M. Zhang. PAPER
  

• [ASE'21] Faster Mutation Analysis with Fewer Processes and Smaller Overheads
  Bo Wang^#, Sirui Lu^#, Yingfei Xiong, Feng Liu. PAPER
  

• [ISSTA'17] Faster Mutation Analysis via Equivalence Modulo States
  Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao. PAPER ACM SIGSOFT DISTINGUISHED PAPER AWARD




3) Automated Program Repair

---

• [ICSME'25] Boosting Redundancy-based Automated Program Repair by Fine-grained Pattern Mining
  Jiajun Jiang, Fengjie Li, Zijie Zhao, Zhirui Ye, Mengjiao Liu, Bo Wang, Hongyu Zhang, Junjie Chen. PAPER IEEE TCSE DISTINGUISHED PAPER AWARD
  

• [TSE'24] Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
  Yuan-An Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong. PAPER
  

• [TOSEM'22] L2S: A Framework for Synthesizing the Most Probable Program under a Specification
  Yingfei Xiong, Bo Wang. PAPER
  

• [TOSEM'21] Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction
  Xiang Gao, Bo Wang^*, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury. PAPER
  




4) Test Generation

---

• [ISSTA'26] From Greedy Steps to Global Optimization: Learning Sequential Test Suite Generation
  Guoqing Wang, Chengran Yang, Xiaoxuan Zhou, Zeyu Sun, Bo Wang, David Lo, Dan Hao. PAPER
  

• [ASE'24] On the Evaluation of Large Language Models in Unit Test Generation
  Lin Yang, Chen Yang, Shutao Gao, Weijing Wang, Bo Wang, Qihao Zhu, Xiao Chu, Jianyi Zhou, Guangtai Liang, Qianxiang Wang, Junjie Chen. PAPER
  

Academic Service

• ICSE, FSE, ASE, ISSTA, ICST, APR Workshop.

• ACM Computing Surveys
• IEEE Transactions on Software Engineering
• ACM Transactions on Software Engineering and Methodology
• IEEE Transactions on Dependable and Secure Computing
• ACM Formal Aspects of Computing
• Empirical Software Engineering
• The Journal of Systems & Software
• Automated Software Engineering Journal
• Journal of Software Evolution and Process

Teaching

• Introduction to Computer Systems (Course Leader)
• Compiler Principles (Instructor)
• Parallel and Distributed Computing (Instructor)