Shaohua Li

Shaohua Li is an Assistant Professor at The Chinese University of Hong Kong (CUHK), specializing in the correctness and security of critical software systems with emphasis on compilers.

His research spans Software Engineering, Programming Languages, and Security, focusing on innovative compiler testing methodologies. Key areas include leveraging large language models for test generation, optimizing fuzzing techniques through prefix-guided execution, and decoupling sanitization mechanisms to reduce overhead in vulnerability detection. His work addresses fundamental challenges in ensuring reliability of systems programming infrastructure.

Recent publications demonstrate a cohesive trajectory toward practical compiler validation: from empirical rustc bug analysis to SAND's low-overhead sanitization framework. The research consistently bridges theoretical formal methods with real-world implementation challenges in security-critical systems, showing particular strength in adapting AI techniques for traditional software testing problems.