Shaohua Li

According to our database, Shaohua Li authored at least 26 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Agentic Harness for Real-World Compilers.

Yingwei Zheng, Cong Li, Shaohua Li, Yuqun Zhang, Zhendong Su

CoRR, March, 2026

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, Zhendong Su

CoRR, March, 2025

SAND: Decoupling Sanitization from Fuzzing for Low Overhead.

Ziqiao Kong, Shaohua Li, Heqing Huang, Zhendong Su

Dataset, January, 2025

Interleaving Large Language Models for Compiler Testing.

Yunbo Ni, Shaohua Li

Proc. ACM Program. Lang., 2025

An Empirical Study of Bugs in the rustc Compiler.

Zixi Liu, Yang Feng, Yunbo Ni, Shaohua Li, Xizhe Yin, Qingkai Shi, Baowen Xu, Zhendong Su

Proc. ACM Program. Lang., 2025

Optimizing Input Minimization in Kernel Fuzzing.

Hui Guo, Hao Sun, Shan Huang, Ting Su, Geguang Pu, Shaohua Li

Proceedings of the 2025 USENIX Annual Technical Conference, 2025

Sand: Decoupling Sanitization from Fuzzing for Low Overhead.

Ziqiao Kong, Shaohua Li, Heqing Huang, Zhendong Su

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

Advancing Software Reliability from Code to Compilation.

Shaohua Li

PhD thesis, 2024

Boosting Compiler Testing by Injecting Real-World Code.

Shaohua Li, Theodoros Theodoridis, Zhendong Su

Proc. ACM Program. Lang., 2024

UBFuzz: Finding Bugs in Sanitizer Implementations.

Shaohua Li, Zhendong Su

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Accelerating Fuzzing through Prefix-Guided Execution.

Shaohua Li, Zhendong Su

Proc. ACM Program. Lang., April, 2023

Finding Unstable Code via Compiler-Driven Differential Testing.

Shaohua Li, Zhendong Su

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

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, Zhendong Su

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2021

Enabling Cross-Chain Transactions: A Decentralized Cryptocurrency Exchange Protocol.

Hangyu Tian, Kaiping Xue, Xinyi Luo, Shaohua Li, Jie Xu, Jianqing Liu, Jun Zhao, David S. L. Wei

IEEE Trans. Inf. Forensics Secur., 2021

2020

SecGrid: A Secure and Efficient SGX-Enabled Smart Grid System With Rich Functionalities.

Shaohua Li, Kaiping Xue, David S. L. Wei, Hao Yue, Nenghai Yu, Peilin Hong

IEEE Trans. Inf. Forensics Secur., 2020

Enabling Cross-chain Transactions: A Decentralized Cryptocurrency Exchange Protocol.

Hangyu Tian, Kaiping Xue, Shaohua Li, Jie Xu, Jianqing Liu, Jun Zhao

CoRR, 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 S. L. Wei, Tao Wan

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

2019

PPSO: A Privacy-Preserving Service Outsourcing Scheme for Real-Time Pricing Demand Response in Smart Grid.

Kaiping Xue, Qingyou Yang, Shaohua Li, David S. L. Wei, Min Peng, Imran Memon, Peilin Hong

IEEE Internet Things J., 2019

A Secure and Efficient Access and Handover Authentication Protocol for Internet of Things in Space Information Networks.

Kaiping Xue, Wei Meng, Shaohua Li, David S. L. Wei, Huancheng Zhou, Nenghai Yu

IEEE Internet Things J., 2019

Healthchain: A Blockchain-Based Privacy Preserving Scheme for Large-Scale Health Data.

Jie Xu, Kaiping Xue, Shaohua Li, Hangyu Tian, Jianan Hong, Peilin Hong, Nenghai Yu

IEEE Internet Things J., 2019

2018

PPMA: Privacy-Preserving Multisubset Data Aggregation in Smart Grid.

Shaohua Li, Kaiping Xue, Qingyou Yang, Peilin Hong

IEEE Trans. Ind. Informatics, 2018

FALCON: A Fourier Transform Based Approach for Fast and Secure Convolutional Neural Network Predictions.

Shaohua Li, Kaiping Xue, Chenkai Ding, Xindi Gao, David S. L. Wei, Tao Wan, Feng Wu

CoRR, 2018

SecGrid: A Secure and Efficient SGX-enabled Smart Grid System with Rich Functionalities.

Shaohua Li, Kaiping Xue

CoRR, 2018

LASA: Lightweight, Auditable and Secure Access Control in ICN with Limitation of Access Times.

Peixuan He, Yinxin Wan, Qiudong Xia, Shaohua Li, Jianan Hong, Kaiping Xue

Proceedings of the 2018 IEEE International Conference on Communications, 2018

2017

Two-Cloud Secure Database for Numeric-Related SQL Range Queries With Privacy Preserving.

Kaiping Xue, Shaohua Li, Jianan Hong, Yingjie Xue, Nenghai Yu, Peilin Hong

IEEE Trans. Inf. Forensics Secur., 2017

Privacy-preserving power request and trading by prepayment in smart grid.

Xiang Zhang, Lijie Zhou, Shaohua Li, Kaiping Xue, Hao Yue

Proceedings of the 2017 IEEE/CIC International Conference on Communications in China, 2017