Hello, I’m Huaien Zhang, a Research Associate at The University of Hong Kong, working under the supervision of Prof. Ho Chen (IEEE Fellow). My research interest lies in compiler and program analyzer, software security/reliability, and AI4SE/SE4AI. My research focuses on applying techniques such as program analysis, automated testing, and deep learning to enhance the security and reliability of system software.

I earned my Ph.D. in Computer Science from The Hong Kong Polytechnic University, where my research was supervised by Prof. Yu Pei and co-supervised by Prof. Shin Hwei Tan. Prior to my PhD, I completed my M.Eng. in Software Engineering at Fudan University under the supervision of Prof. Min Yang.

📝 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

🔦 Academic Services

Journal Reviewer: Comm of ACM (CACM), TSE, TOSEM, IoT-J, ACM TDRAP
Organization Committee Member: FSE 2026
Program Committee Member: ISSTA 2026, MSR 2026
Artifact Evaluation Committee Member: ICSE 2026, NDSS 2026, ICSE 2025, ACM CCS 2025, ACM CCS 2024, ICSME 2024
External Reviewer: IEEE S&P 2026, ICSE 2026, ICSE 2025, ASE 2025, ICSE 2024, ISSTA 2024, FSE 2023, ASE 2023, ISSTA 2023, ICSE 2022, ASE 2022

💬 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
2024.10, Xidian University: Improving the Reliability of Program Analyzers via Automated Testing
2024.10, Northeastern University: Improving the Reliability of Static Analyzers via Automated Testing

🧑‍🎓 (Co-)Supervised Students

Shenglan Pan, Ph.D. Student, co-supervised with Prof. Minxue Pan.
Zhengjie Zhao, Master Student, co-supervised with Prof. Minxue Pan.
Shuyun Liang, Master Student, co-supervised with Prof. Shin Hwei Tan.
Zezhong Chen, Master Student, co-supervised with Prof. Shin Hwei Tan.

💻 Working Experience

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