pic.jpg

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 topics related to programming languages (PL), software engineering (SE) 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.
Well…finally, AI. I’m recently thinking about how to solve classic PL/SE/Security problems using AI. On the other hand, since AI models are still working as software/programs, they may also suffer from classic PL/SE/Security programs. Some of my recent research topics include not not limited to

  • 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.
  • LLM4Code: Functionality, security, and performance of LLM generated code.

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

  • 🏆 2024 Distinguished Artifact Award at ACM ASPLOS’24
  • 🏆💰 ASPLOS’24 Student Travel Grant
  • 🏆 2023 Distinguished Paper Award at ACM OOPSLA’23 Link
  • 🏆 2022 Meta Security Research Award (💰 with a grant support of $84,590) Link

Selected Publications

  1. PLDI 2024
    Boosting Compiler Testing by Injecting Real-World Code
    Shaohua Li, Theodoros Theodoridis , and Zhendong Su
    ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2024
  2. ASPLOS 2024
    UBfuzz: Finding Bugs in Sanitizer Implementations
    Shaohua Li, and Zhendong Su
    ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2024
    🏆 Distinguished Artifact Award
  3. OOPSLA 2023
    Accelerating Fuzzing through Prefix-guided Execution
    Shaohua Li, and Zhendong Su
    ACM on Programming Languages, OOPSLA, 2023
    🏆 Distinguished Paper Award
  4. ASPLOS 2023
    Finding Unstable Code via Compiler-Driven Differential Testing
    Shaohua Li, and Zhendong Su
    ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2023