Shaohua Li

27 papers A* 2C 1Journal 18Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Agentic Harness for Real-World Compilers.
CoRR
Yingwei Zheng, Cong Li, Shaohua Li, Yuqun Zhang, Zhendong Su
2025 J jnl
An Empirical Study of Bugs in the rustc Compiler.
Proc. ACM Program. Lang.
Zixi Liu, Yang Feng, Yunbo Ni, Shaohua Li, Xizhe Yin, Qingkai Shi, Baowen Xu, Zhendong Su
2025 J jnl
An Empirical Study of Rust-Specific Bugs in the rustc Compiler.
CoRR
Zixi Liu, Yang Feng, Yunbo Ni, Shaohua Li, Xizhe Yin, Qingkai Shi, Baowen Xu, Zhendong Su
2025 J jnl
Interleaving Large Language Models for Compiler Testing.
Proc. ACM Program. Lang.
Yunbo Ni, Shaohua Li
2025 — conf
Optimizing Input Minimization in Kernel Fuzzing.
USENIX ATC
Hui Guo, Hao Sun, Shan Huang, Ting Su, Geguang Pu, Shaohua Li
2025 A* conf
Sand: Decoupling Sanitization from Fuzzing for Low Overhead.
ICSE
Ziqiao Kong, Shaohua Li, Heqing Huang, Zhendong Su
2024 — —
Advancing Software Reliability from Code to Compilation.
Shaohua Li
2024 J jnl
Boosting Compiler Testing by Injecting Real-World Code.
Proc. ACM Program. Lang.
Shaohua Li, Theodoros Theodoridis, Zhendong Su
2024 J jnl
SAND: Decoupling Sanitization from Fuzzing for Low Overhead.
CoRR
Ziqiao Kong, Shaohua Li, Heqing Huang, Zhendong Su
2024 — conf
UBFuzz: Finding Bugs in Sanitizer Implementations.
ASPLOS (1)
Shaohua Li, Zhendong Su
2024 J jnl
UBfuzz: Finding Bugs in Sanitizer Implementations.
CoRR
Shaohua Li, Zhendong Su
2023 J jnl
Accelerating Fuzzing through Prefix-Guided Execution.
Proc. ACM Program. Lang.
Shaohua Li, Zhendong Su
2023 — conf
Finding Unstable Code via Compiler-Driven Differential Testing.
ASPLOS (3)
Shaohua Li, Zhendong Su
2022 — conf
Detecting non-crashing functional bugs in Android apps via deep-state differential analysis.
ESEC/SIGSOFT FSE
Jue Wang, Yanyan Jiang, Ting Su, Shaohua Li, Chang Xu, Jian Lu, Zhendong Su
2021 J jnl
Enabling Cross-Chain Transactions: A Decentralized Cryptocurrency Exchange Protocol.
IEEE Trans. Inf. Forensics Secur.
Hangyu Tian, Kaiping Xue, Xinyi Luo, Shaohua Li, Jie Xu, Jianqing Liu, Jun Zhao, David S. L. Wei
2020 J jnl
Enabling Cross-chain Transactions: A Decentralized Cryptocurrency Exchange Protocol.
CoRR
Hangyu Tian, Kaiping Xue, Shaohua Li, Jie Xu, Jianqing Liu, Jun Zhao
2020 A* conf
FALCON: A Fourier Transform Based Approach for Fast and Secure Convolutional Neural Network Predictions.
CVPR
Shaohua Li, Kaiping Xue, Bin Zhu, Chenkai Ding, Xindi Gao, David S. L. Wei, Tao Wan
2020 J jnl
SecGrid: A Secure and Efficient SGX-Enabled Smart Grid System With Rich Functionalities.
IEEE Trans. Inf. Forensics Secur.
Shaohua Li, Kaiping Xue, David S. L. Wei, Hao Yue, Nenghai Yu, Peilin Hong
2019 J jnl
A Secure and Efficient Access and Handover Authentication Protocol for Internet of Things in Space Information Networks.
IEEE Internet Things J.
Kaiping Xue, Wei Meng, Shaohua Li, David S. L. Wei, Huancheng Zhou, Nenghai Yu
2019 J jnl
Healthchain: A Blockchain-Based Privacy Preserving Scheme for Large-Scale Health Data.
IEEE Internet Things J.
Jie Xu, Kaiping Xue, Shaohua Li, Hangyu Tian, Jianan Hong, Peilin Hong, Nenghai Yu
2019 J jnl
PPSO: A Privacy-Preserving Service Outsourcing Scheme for Real-Time Pricing Demand Response in Smart Grid.
IEEE Internet Things J.
Kaiping Xue, Qingyou Yang, Shaohua Li, David S. L. Wei, Min Peng, Imran Memon, Peilin Hong
2018 J jnl
FALCON: A Fourier Transform Based Approach for Fast and Secure Convolutional Neural Network Predictions.
CoRR
Shaohua Li, Kaiping Xue, Chenkai Ding, Xindi Gao, David S. L. Wei, Tao Wan, Feng Wu
2018 — conf
LASA: Lightweight, Auditable and Secure Access Control in ICN with Limitation of Access Times.
ICC
Peixuan He, Yinxin Wan, Qiudong Xia, Shaohua Li, Jianan Hong, Kaiping Xue
2018 J jnl
PPMA: Privacy-Preserving Multisubset Data Aggregation in Smart Grid.
IEEE Trans. Ind. Informatics
Shaohua Li, Kaiping Xue, Qingyou Yang, Peilin Hong
2018 J jnl
SecGrid: A Secure and Efficient SGX-enabled Smart Grid System with Rich Functionalities.
CoRR
Shaohua Li, Kaiping Xue
2017 C conf
Privacy-preserving power request and trading by prepayment in smart grid.
ICCC
Xiang Zhang, Lijie Zhou, Shaohua Li, Kaiping Xue, Hao Yue
2017 J jnl
Two-Cloud Secure Database for Numeric-Related SQL Range Queries With Privacy Preserving.
IEEE Trans. Inf. Forensics Secur.
Kaiping Xue, Shaohua Li, Jianan Hong, Yingjie Xue, Nenghai Yu, Peilin Hong