Shihao Xia

According to our database, Shihao Xia authored at least 12 papers between 2022 and 2026.

Collaborative distances:

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

2026

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels.

Mengting He, Shihao Xia, Haomin Jia, Wenfei Wu, Linhai Song

CoRR, March, 2026

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction.

Shihao Xia, Mengting He, Haomin Jia, Linhai Song

CoRR, February, 2026

2025

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, Yiying Zhang, Linhai Song

IEEE Trans. Software Eng., September, 2025

SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models.

Shihao Xia, Mengting He, Shuai Shao, Tingting Yu, Yiying Zhang, Linhai Song

CoRR, February, 2025

SC-Bench: A Large-Scale Dataset for Smart Contract Auditing.

Shihao Xia, Mengting He, Linhai Song, Yiying Zhang

Proceedings of the IEEE/ACM International Workshop on Large Language Models for Code, 2025

2024

miPEPPred-FRL: A Novel Method for Predicting Plant MiRNA-Encoded Peptides Using Adaptive Feature Representation Learning.

Haibin Li, Jun Meng, Zhaowei Wang, Youwei Tang, Shihao Xia, Yu Wang, Zhaojing Qin, Yushi Luan

J. Chem. Inf. Model., 2024

DeepPepPI: A deep cross-dependent framework with information sharing mechanism for predicting plant peptide-protein interactions.

Zhaowei Wang, Jun Meng, Qiguo Dai, Haibin Li, Shihao Xia, Ruirui Yang, Yushi Luan

Expert Syst. Appl., 2024

AuditGPT: Auditing Smart Contracts with ChatGPT.

Shihao Xia, Shuai Shao, Mengting He, Tingting Yu, Linhai Song, Yiying Zhang

CoRR, 2024

2023

PAMPred: A hierarchical evolutionary ensemble framework for identifying plant antimicrobial peptides.

Zhaowei Wang, Jun Meng, Haibin Li, Shihao Xia, Yu Wang, Yushi Luan

Comput. Biol. Medicine, November, 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, Yu Wang, Haibin Li, Zhaojing Qin, Yushi Luan

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

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, Yushi Luan

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

2022

Who goes first? detecting go concurrency bugs via message reordering.

Ziheng Liu, Shihao Xia, Yu Liang, Linhai Song, Hong Hu

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022