Zhendong Su

Huazhong University of Science and Technology

Papers

Total Citations

H-Index

About

Zhendong Su is a leading figure in software engineering and programming languages, with a particular focus on automated program analysis, testing, and verification. His research has fundamentally advanced how we ensure software reliability and security, especially through the development of techniques for detecting and fixing bugs in complex systems. Su is widely recognized for his pioneering work on symbolic execution and fuzzing, which have become cornerstones of modern software testing. His most-cited papers, including "Symbolic execution for software testing in practice" (over 1,000 citations) and "Taint-based directed whitebox fuzzing" (over 800 citations), demonstrate the profound impact of his contributions. He has also made significant strides in understanding and improving compiler correctness, with seminal works like "Finding and understanding bugs in C compilers" (over 700 citations). Su's research has earned him numerous accolades, including an ACM SIGSOFT Distinguished Paper Award and an NSF CAREER Award. His work continues to shape the landscape of software quality assurance, inspiring a generation of researchers and practitioners.