Dan Hao

Professor Dan Hao is a distinguished faculty member at the Institute of Software, School of Computer Science, Peking University, where he has established himself as a leading researcher in software engineering. His extensive service to the academic community includes membership on the Steering Committee for The International Conference on Automated Software Engineering (ASE) since 2021, The ACM SIGSOFT International Symposium on Software Testing and Analysis since 2025, and The International Systems and Software Product Line Conference (SPLC) from 2018-2022. He has served as Program Co-Chair for multiple major conferences including ISSTA 2027, ICSME 2025, ICST 2023, SANER 2022, and ASE 2021.

Professor Hao received his Bachelor's degree from Harbin Institute of Technology in 2002 and completed his Ph.D. at Peking University in 2008, followed by post-doctoral research at the same institution until 2009. His academic journey reflects a deep commitment to advancing software engineering research and education in China.

Professor Hao's research primarily focuses on software testing and debugging, program comprehension, and software maintenance. His work has significantly contributed to compiler testing, fault localization, regression testing, and automated program repair. He has pioneered approaches in compiler auto-tuning, test-case prioritization, and history-guided testing techniques. His research bridges theoretical foundations with practical applications, addressing real-world challenges in large-scale software systems, particularly in online service environments.

His publication record demonstrates a consistent trajectory of high-impact research in top-tier software engineering venues. Professor Hao's work shows increasing integration of machine learning techniques with traditional software engineering problems, particularly evident in his recent publications on LLM applications for code generation, neural theorem proving, and contrastive learning for vulnerability detection. His research maintains strong connections between theoretical rigor and practical applicability in industrial settings.

• ACM SIGSOFT Distinguished Paper Award for PDCAT: Preference-Driven Compiler Auto-Tuning at FSE 2025
• Distinguished Paper Award for Formalizing, Mechanizing, and Verifying Class-Based Refinement Types at ECOOP 2024
• ACM SIGSOFT Distinguished Paper Award for History-Guided Configuration Diversification for Compiler Test-Program Generation at ASE 2019
• ACM SIGSOFT Distinguished Paper Award for History-driven Build Failure Fixing: How Far Are We? at ISSTA 2019

As an advisor, Professor Hao has mentored numerous graduate students, currently supervising 9 Ph.D. students and 7 Master's students. His former students have gone on to prestigious positions at institutions including King's College London, Tianjin University, Fudan University, and major technology companies like Huawei and China Construction Bank. His academic leadership extends through editorial roles as Deputy Editor-in-Chief of Software Testing, Verification and Reliability (STVR) and membership on the editorial boards of several premier journals including ACM Transactions on Software Engineering and Methodology, ACM Computing Surveys, and Empirical Software Engineering.

Professor Hao leads a vibrant research group at Peking University's Institute of Software, focusing on cutting-edge problems at the intersection of traditional software engineering and artificial intelligence. His team actively collaborates with both academic institutions and industry partners to address practical challenges in software development and maintenance processes.