Hello, I’m Huaien Zhang. I earned my PhD in Computer Science from The Hong Kong Polytechnic University, where I was supervised by Prof. Yu Pei and co-supervised by Prof. Shin Hwei Tan. I will soon join The University of Hong Kong as a postdoctoral researcher under the supervision of Prof. Ho Chen.

I am interested in intelligent software engineering and programming languages. My research focuses on applying techniques such as program analysis, fuzzing, and large language model to enhance the security and reliability of software systems.

🔥 News

• 2025.06:  🎉🎉 I have successfully defended my PhD thesis!

📝 Publications

(“*” indicates the corresponding author.)

• TOSEM 2025 Towards Understanding Refactoring Engine Bugs

  Haibo Wang, Zhuolin Xu, Huaien Zhang^*, Nikolaos Tsantalis, and Shin Hwei Tan

  In ACM Transactions on Software Engineering and Methodology, 2025. (CCF-A Journal) [Paper]

• ISSTA 2024 Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks

  Huaien Zhang, Yu Pei, Shuyun Liang, Zezhong Xing, and Shin Hwei Tan

  In The 33rd ACM International Symposium on Software Testing and Analysis, 2024. (CCF-A Conference)

  [Paper]

• FSE 2024 Understanding and Detecting Annotation-Induced Faults of Static Analyzers

  Huaien Zhang, Yu Pei, Shuyun Liang, and Shin Hwei Tan

  In The 32st ACM International Conference on the Foundations of Software Engineering, 2024. (CCF-A Conference)

  [Paper]

• ESEC/FSE 2023 Statfier: Automated Testing of Static Analyzers via Semantic-preserving Program Transformations

  Huaien Zhang, Yu Pei, Junjie Chen, and Shin Hwei Tan

  In The 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023. (CCF-A Conference)

  [Paper]

• NLBSE 2023 Classifying Code Comments via Pre-trained Programming Language Model

  Ying Li, Haibo Wang, Huaien Zhang, and Shin Hwei Tan

  In The IEEE/ACM 2nd International Workshop on Natural Language-Based Software Engineering, 2023.

  [Paper]

🎖 Honors and Awards

• 2024.09 ACM CAPS Grant
• 2024.07 ACM CAPS Grant
• 2024.07 The Hong Kong Polytechnic University Top Conference Travel Grant

💬 Invited Talks

• 2025.06, Dagstuhl Seminar: Effective Fault Detection for Static Analzyers via Automated Testing
• 2024.12, Beijing University of Posts and Telecommunications: Improving the Reliability of Program Analyzers via Automated Testing
• 2024.11, Shandong University: Improving the Reliability of Program Analyzers via Automated Testing

💻 Internships

• 2024.08 - 2025.01, Research Intern, Quality Assurance Team @ ByteDance