Who goes first? detecting go concurrency bugs via message reordering. - Ziheng Liu; Shihao Xia; Yu Liang 002; Linhai Song; Hong Hu 004 (ASPLOS, 2022)

TGAAL: Combining Transformer-based GAN and active learning to identify the coding potential of sORFs in plant lncRNAs. - Yu Wang; Jun Meng; Shihao Xia; Haibin Li; Zhaowei Wang 005; Yushi Luan (BIBM, 2023)

A multi-granularity information-enhanced pre-training method for predicting the coding potential of sORFs in plant lncRNAs. - Shihao Xia; Jun Meng; Zhaowei Wang 005; Yu Wang; Haibin Li; Zhaojing Qin; Yushi Luan (BIBM, 2023)

PAMPred: A hierarchical evolutionary ensemble framework for identifying plant antimicrobial peptides. - Zhaowei Wang 005; Jun Meng; Haibin Li; Shihao Xia; Yu Wang; Yushi Luan (Comput. Biol. Medicine, 2023)

How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs. - Mengting He; Shihao Xia; Boqin Qin; Nobuko Yoshida; Tingting Yu 001; Linhai Song; Yiying Zhang 005 (CoRR, 2024)

AuditGPT: Auditing Smart Contracts with ChatGPT. - Shihao Xia; Shuai Shao; Mengting He; Tingting Yu 001; Linhai Song; Yiying Zhang 005 (CoRR, 2024)

DeepPepPI: A deep cross-dependent framework with information sharing mechanism for predicting plant peptide-protein interactions. - Zhaowei Wang 005; Jun Meng; Qiguo Dai; Haibin Li; Shihao Xia; Ruirui Yang; Yushi Luan (Expert Syst. Appl., 2024)

miPEPPred-FRL: A Novel Method for Predicting Plant MiRNA-Encoded Peptides Using Adaptive Feature Representation Learning. - Haibin Li; Jun Meng; Zhaowei Wang 005; Youwei Tang; Shihao Xia; Yu Wang; Zhaojing Qin; Yushi Luan (J. Chem. Inf. Model., 2024)

SC-Bench: A Large-Scale Dataset for Smart Contract Auditing. - Shihao Xia; Mengting He; Linhai Song; Yiying Zhang 005 (LLM4Code@ICSE, 2025)

SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models. - Shihao Xia; Mengting He; Shuai Shao; Tingting Yu 001; Yiying Zhang 005; Linhai Song (CoRR, 2025)