I am an Assistant Professor (equivalent to Lecturer in China) in School of Computer Science and Technology at Beijing Jiaotong University (BJTU). I received my PhD degree in Computer Science from Peking University in 2021. I was a visiting Ph.D. student at National University of Singapore (2019).

My recent research projects are mainly focused on:
1) Compiler Testing and Tuning (TSE 2025);
2) Mutation Analysis (ASE 2021, ISSTA 2017);
3) Automated Program Repair (TOSEM 2022, TOSEM 2020);
3) AI4SE.

Education & Employment

• 03/2021~Now, School of Computer Science and Technology, Beijing Jiaotong University, Tenure-Track Assistant Professor.
• 12/2023~12/2024, School of Computing and Information Systems, Singapore Management University, Visiting Scholar.
• 01/2019~09/2019, National University of Singapore, visiting Ph.D. student in School of Computing, supervised by Prof. Abhik Roychoudhury.
• 09/2015~01/2021, Peking University, Ph.D. Student, supervised by Prof. Yingfei Xiong.
• 09/2012~07/2015, University of Science and Technology of China, Master.
• 09/2008~07/2012, Central South University, Bachelor.

Selected Recent Publications (Full List)

1) Compiler Testing

---

• 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

---

• Faster Mutation Analysis via Equivalence Modulo States
  Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao.
  26th International Symposium on Software Testing and Analysis (ISSTA'17) PAPER ACM SIGSOFT DISTINGUISHED PAPER AWARD

• Faster Mutation Analysis with Fewer Processes and Smaller Overheads
  Bo Wang^#, Sirui Lu^#, Yingfei Xiong, Feng Liu.
  36th IEEE/ACM International Conference on Automated Software Engineering (ASE'21) PAPER
  




3) Automated Program Repair

---

• Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction
  Xiang Gao, Bo Wang^*, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury.
  ACM Transactions on Software Engineering and Methodology (TOSEM'20) PAPER
  

• L2S: A Framework for Synthesizing the Most Probable Program under a Specification
  Yingfei Xiong, Bo Wang.
  ACM Transactions on Software Engineering and Methodology (TOSEM'22) PAPER
  

Academic Service

• 2025: FSE 2025, ASE 2025.
• 2024: ASE 2024, ASE NIER 2024, ICST 2024, Internetware 2024, APR Workshop 2024, MADM Workshop 2024.
• 2023: ASE 2023, ASE 2023 NIER, ICST 2023, PRDC 2023, PRDC 2023 Fast Abstract.
• 2022: ASE Artifact Evaluation 2022, PRDC 2022 Fast Abstract.

• IEEE TSE, ACM TOSEM, IEEE TDSC, Empirical Software Engineering, The Journal of Systems & Software, Automated Software Engineering Journal, Journal of Software Evolution and Process.

Teaching

• Introduction to Computer Systems, Spring 2023.
• Compiler Techniques, Fall 2022.