Jiangchang Wu (吴江昶)

About Me

I am currently a Ph.D. candidate in the School of Computer Science at Nanjing University (NJU), advised by Prof. Yibiao Yang and Prof. Lei Xu. In June 2021, I obtained my M.Sc. from the School of Computer Science and Technology at Huazhong University of Science and Technology (HUST) under the supervision of Prof. Yibiao Yang and Prof. Bin Yuan. Prior to that, I received my B.Sc. from the School of Computer Science and Artificial Intelligence at Wuhan University of Technology (WUT) in June 2019.
My research focuses on the analysis and testing of system software. If you are interested in my work or would like to collaborate, please feel free to contact me!

Publications

• 📌 From Stochastic to Semantic: Advanced Attribute-Guided Compiler Testing
  Jiangchang Wu, Yibiao Yang, Maolin Sun, Qingyang Li, Kang Chen, Lei Xu, Yuming Zhou.
  ACM Transactions on Software Engineering and Methodology, 2026
  ACM TOSEM   [📄Paper]
• 📌 Oracle-Guided SMT Solver Validation via Synthesizing Diverse Formulas with Multiple Assignments
  Maolin Sun, Yibiao Yang, Jiangchang Wu, Qingyang Li, Zeyu Lu, Yuming Zhou.
  ACM Transactions on Software Engineering and Methodology, 2026
  ACM TOSEM   [📄Paper]
• 📌 Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations
  Qingyang Li, Yibiao Yang, Maolin Sun, Jiangchang Wu, Qingkai Shi, Yuming Zhou.
  ACM Transactions on Software Engineering and Methodology, 2026
  ACM TOSEM   [📄Paper]
• 📌 Using a Sledgehammer to Crack a Nut? Revisiting Automated Compiler Fault Isolation
  Yibiao Yang, Qingyang Li, Maolin Sun, Jiangchang Wu, Yuming Zhou.
  In the 48th IEEE/ACM International Conference on Software Engineering, 2026
  ICSE 2026   [📄Paper]
• 📌 Validating SMT Rewriters via Rewrite Space Exploration Supported by Generative Equality Saturation
  Maolin Sun, Yibiao Yang, Jiangchang Wu, Yuming Zhou.
  In the ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages & Applications, 2025
  OOPSLA 2025   [📄Paper]
• 📌 Isolating Compiler Faults through Differentiated Compilation Configurations
  Yibiao Yang, Qingyang Li, Maolin Sun, Jing Yang, Jiangchang Wu, Yuming Zhou.
  IEEE Transactions on Software Engineering, 2025
  IEEE TSE   [📄Paper]
• 📌 Unveiling Compiler Faults via Attribute-Guided Compilation Space Exploration
  Jiangchang Wu, Yibiao Yang, Maolin Sun, Yuming Zhou.
  In The 2025 USENIX Annual Technical Conference, 2025
  USENIX ATC 2025   [📄Paper]
• 📌 Debugger Toolchain Validation via Cross-Level Debugging
  Yibiao Yang, Maolin Sun, Jiangchang Wu, Qingyang Li, Yuming Zhou.
  In the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025
  ASPLOS 2025   [📄Paper]
• 📌 ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs
  Hongyan Gao, Yibiao Yang, Maolin Sun, Jiangchang Wu, Yuming Zhou, Baowen Xu.
  In the 47th IEEE/ACM International Conference on Software Engineering, 2025
  ICSE 2025   [📄Paper]
• 📌 Boosting Compiler Testing via Eliminating Test Programs with Long-Execution-Time
  Jiangchang Wu, Yibiao Yang, Yuming Zhou.
  In the 30th IEEE International Conference on Software Analysis, Evolution and Reengineering, 2023
  SANER 2023   [📄Paper]

Correspondence

Address: Room 712, CS Building, Xianlin Campus of Nanjing University (南京大学仙林校区, 计算机楼, 712)