Publications

2024

  1. arXiv 2024
    SAND: Decoupling Sanitization from Fuzzing for Low Overhead
    Ziqiao Kong* , Shaohua Li*, Heqing Huang , and Zhendong Su
    Under Review, 2024
    (*Equal contribution)
    PDF
  2. 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
    PDF
  3. 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