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 joint supervision of Prof. Min Yang and Prof. Zhemin 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: TSE, TOSEM, IoT-J, ACM TDRAP
- Organization Committee Member: FSE 2026
- Program Committee Member: MSR 2026, NDSS 2026 AE, ICSE 2025 AE, ACM CCS 2025 AE, ACM CCS 2024 AE, ICSME 2024 AE
- External Reviewer: 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
💻 Internships
- 2024.08 - 2025.01, Research Intern, Quality Assurance Team @ ByteDance