Shaohua Li
Ph.D. candidate
Department of Computer Science
ETH Zurich
Email: shaohua.li@inf.ethz.ch
Google Scholar | GitHub | Twitter
I will be joining the Department of Computer Science and Engineering , The Chinese University of Hong Kong (CUHK) in Spring 2025 as a tenure-track Assistant Professor. I am looking for Ph.D./M.Phil./RA students to join my group. See Openings for more details.
I’m currently a final-year Ph.D. candidate at the AST Lab at ETH Zurich, advised by Zhendong Su. Previously, I got both my Master’s and Bachelor’s degrees from the University of Science and Technology of China (USTC).
Research Interests
I’m broadly interested in compilers, programming languages, systems, software engineering, and security. In particular, I’m interested in the reliability and security of critical software systems such as compilers, databases, static/dynamic analysis tools, etc. For example, my research has led to the discovery of hundreds of bugs in modern compilers such as GCC(BUGS) and LLVM(BUGS). Some of my recent research topics include
- Compiler validation: Validating compilers’ behaviors via random testing or verification. Recently, I’m gaining more and more interests into the Rust compiler and deep learning compilers.
- Sanitization: Improve the reliability and efficiency of sanitization techniques, such as AddressSanitizer and MTE.
- Fuzzing: Detecting security vulnerabilities via dynamic testing.
- Deep learning systems: Reliability and efficiency of heterougeous DL systems such as TVM, PyTorch, Tensorflow, XLA, etc.
News
- [Mar, 2024] Our paper is accepted to PLDI 2024.
- [Mar, 2024] I received the Student Travel Grant in ASPLOS 2024.
- [Jan, 2024] I was invited to join the PLDI 2024 Artifact Evaluation Committee.
- [Nov, 2023] Our paper UBFuzz received the Distinguished Artifact Award at ASPLOS 2024.
- [Oct, 2023] Our paper PGE received the Distinguished Paper Award at OOPSLA 2023.
Awards and Grants
Selected Publications
- PLDI 2024Boosting Compiler Testing by Injecting Real-World CodeACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2024