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 2024UBfuzz: 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 2023Artifact Evaluation Committee (AEC) Member:
PLDI 2023, ECOOP 2023Student 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.