Shihao Xia

14 papers A* 1Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction.
CoRR
Shihao Xia, Mengting He, Haomin Jia, Linhai Song
2026 J jnl
Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels.
CoRR
Mengting He, Shihao Xia, Haomin Jia, Wenfei Wu, Linhai Song
2025 J jnl
How to Save My Gas Fees: Understanding and Detecting Real-World Gas Issues in Solidity Programs.
IEEE Trans. Software Eng.
Mengting He, Shihao Xia, Boqin Qin, Nobuko Yoshida, Tingting Yu, Yiying Zhang, Linhai Song
2025 — conf
SC-Bench: A Large-Scale Dataset for Smart Contract Auditing.
LLM4Code@ICSE
Shihao Xia, Mengting He, Linhai Song, Yiying Zhang
2025 J jnl
SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models.
CoRR
Shihao Xia, Mengting He, Shuai Shao, Tingting Yu, Yiying Zhang, Linhai Song
2024 J jnl
AuditGPT: Auditing Smart Contracts with ChatGPT.
CoRR
Shihao Xia, Shuai Shao, Mengting He, Tingting Yu, Linhai Song, Yiying Zhang
2024 J jnl
DeepPepPI: A deep cross-dependent framework with information sharing mechanism for predicting plant peptide-protein interactions.
Expert Syst. Appl.
Zhaowei Wang, Jun Meng, Qiguo Dai, Haibin Li, Shihao Xia, Ruirui Yang, Yushi Luan
2024 J jnl
How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs.
CoRR
Mengting He, Shihao Xia, Boqin Qin, Nobuko Yoshida, Tingting Yu, Linhai Song, Yiying Zhang
2024 J jnl
SC-Bench: A Large-Scale Dataset for Smart Contract Auditing.
CoRR
Shihao Xia, Mengting He, Linhai Song, Yiying Zhang
2024 J jnl
miPEPPred-FRL: A Novel Method for Predicting Plant MiRNA-Encoded Peptides Using Adaptive Feature Representation Learning.
J. Chem. Inf. Model.
Haibin Li, Jun Meng, Zhaowei Wang, Youwei Tang, Shihao Xia, Yu Wang, Zhaojing Qin, Yushi Luan
2023 — conf
A multi-granularity information-enhanced pre-training method for predicting the coding potential of sORFs in plant lncRNAs.
BIBM
Shihao Xia, Jun Meng, Zhaowei Wang, Yu Wang, Haibin Li, Zhaojing Qin, Yushi Luan
2023 J jnl
PAMPred: A hierarchical evolutionary ensemble framework for identifying plant antimicrobial peptides.
Comput. Biol. Medicine
Zhaowei Wang, Jun Meng, Haibin Li, Shihao Xia, Yu Wang, Yushi Luan
2023 — conf
TGAAL: Combining Transformer-based GAN and active learning to identify the coding potential of sORFs in plant lncRNAs.
BIBM
Yu Wang, Jun Meng, Shihao Xia, Haibin Li, Zhaowei Wang, Yushi Luan
2022 A* conf
Who goes first? detecting go concurrency bugs via message reordering.
ASPLOS
Ziheng Liu, Shihao Xia, Yu Liang, Linhai Song, Hong Hu