I’m on the academic job market now! 🤞👨‍🎓

I am a final year Ph.D. student in the Department of Computer Science at ETH Zurich advised by Prof. Zhendong Su and a member of AST Lab. My research interests lie in software fuzzing, security, and compilers. I received my Master’s and Bachelor’s degrees from University of Science and Technology of China (USTC) in 2019 and 2016, respectively.

My current research focuses on detecting undefined behaviors in C/C++, solidifying sanitizers (ASan, UBSan, MSan, etc.), and compiler fuzzing. My research has led to the discovery of over 100 compiler bugs 🐛 in mature compilers like GCC and LLVM.

Awards and Grants

• 🏆 2024 Distinguished Artifact Award at ASPLOS’24 (To be announced)

• 🏆 2023 Distinguished Paper Award at OOPSLA’23 Link

• 🏆 2022 Meta Security Research Award. Link

Selected Publications

(Full publications available at Google Scholar)

• Boosting Compiler Testing by Injecting Real-world Code
  Shaohua Li, Theodoros Theodoridis, Zhendong Su.
  In Under Review 2024

• UBfuzz: Finding Bugs in Sanitizer Implementations
  Shaohua Li, Zhendong Su.
  In ASPLOS 2024 (Accepted)
  [ code ]

  🏆 Distinguished Artifact Award

• Accelerating Fuzzing through Prefix-guided Execution
  Shaohua Li, Zhendong Su.
  In Proceedings of SPLASH/OOPSLA 2023, Cascais, Portugal, October 22-27, 2023.
  

  🏆 Distinguished Paper Award

  [ code ]

• Finding Unstable Code via Compiler-Driven Differential Testing
  Shaohua Li, Zhendong Su.
  In Proceedings of ASPLOS 2023, Vancouver, Canada, March 25-29, 2023.
  [code]

• Detecting Non-crashing Functional Bugs in Android Apps via Deep-State Differential Analysis
  Jue Wang, Yanyan Jiang, Ting Su, Shaohua Li, Chang Xu, Jian Lu, Zhendong Su.
  In Proceedings of ESEC/FSE 2022, Singapore, November 14-18, 2022.
  

• Falcon: A Fourier Transform based Approach for Fast and Secure Convolutional Neural Network Predictions
  Shaohua Li, Kaiping Xue, Bin Zhu, Chenkai Ding, Xindi Gao, David Wei, Tao Wan.
  In Proceedings of CVPR 2020, Oral Presentation, Virtually, June 14-19, 2020.

• SecGrid: A Secure and Efficient SGX-enabled Smart Grid System with Rich Functionalities
  Shaohua Li, Kaiping Xue, David SL Wei, Hao Yue, Nenghai Yu, Peilin Hong.
  In IEEE Transactions on Information Forensics and Security (TIFS), 2019.
  

• PPMA: Privacy-Preserving Multisubset Data Aggregation in Smart Grid
  Shaohua Li, Kaiping Xue, Qingyou Yang, Peilin Hong.
  In IEEE Transactions on Industrial Informatics (TII), 2017.

Service

• Reviewer:
  IEEE Transactions on Dependable and Secure Computing (TDSC), 2022, 2021.

• Extended Review Committee:
  ECOOP 2023

• Artifact Evaluation Committee (AEC) Member:
  PLDI 2023, ECOOP 2023

• Student volunteer:
  ESEC/FSE 2020

Teaching

• Compiler Design 2023 (Head TA), 2022 (Head TA), 2021, 2020, 2019.
• Data Modelling and Databases 2021, 2020.
• Research Topics in Software Engineering 2022, 2021, 2020.