Publications

2025

  1. OOPSLA 2025
    Interleaving Large Language Models for Compiler Testing
    Yunbo Ni, and Shaohua Li
    ACM on Programming Languages, OOPSLA, 2025
    PDF Code
  2. OOPSLA 2025
    An Empirical Study of Rust-Specific Bugs in the rustc Compiler
    Zixi Liu, Yang Feng, Yunbo Ni, Shaohua Li, Xizhe Yin, Qingkai Shi, Baowen Xu, and Zhendong Su
    ACM on Programming Languages, OOPSLA, 2025
    PDF
  3. USENIX ATC 2025
    Optimizing Input Minimization in Kernel Fuzzing
    Hui Guo, Hao Sun, Shan Huang, Ting Su, Geguang Pu, and Shaohua Li
    USENIX Annual Technical Conference (ATC), 2025
    PDF Code
  4. arXiv 2025
    Is Your Benchmark (Still) Useful? Dynamic Benchmarking for Code Language Models
    Batu Guan, Xiao Wu, Yuanyuan Yuan, and Shaohua Li
    ArXiv, 2025
    PDF
  5. ICSE 2025
    SAND: Decoupling Sanitization from Fuzzing for Low Overhead
    Ziqiao Kong*, Shaohua Li*, Heqing Huang, and Zhendong Su
    IEEE/ACM International Conference on Software Engineering (ICSE), 2025
    (*Equal contribution). This work has been upsteamed to AFL++🎉 (Checkout [Code] for details).
    PDF Code

2024

  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
    🏆 Distinguished Artifact Award
    PDF Code
  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
    PDF Code

2023

  1. OOPSLA 2023
    Accelerating Fuzzing through Prefix-guided Execution
    Shaohua Li, and Zhendong Su
    ACM on Programming Languages, OOPSLA, 2023
    🏆 Distinguished Paper Award
    PDF Code
  2. 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
    PDF Code

2022

  1. ESEC/FSE 2022
    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, and Zhendong Su
    ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2022
    PDF Code

2020

  1. CVPR 2020
    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, and Tao Wan
    IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2020
    Oral
    PDF

2019

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

2017

  1. TIFS 2017
    Two-Cloud Secure Database for Numeric-related SQL Range Queries with Privacy Preserving
    Kaiping Xue, Shaohua Li, Jianan Hong, Yingjie Xue, Nenghai Yu, and Peilin Hong
    IEEE Transactions on Information Forensics and Security, 2017