Skip to content

Research

  • Shihao Xia, Mengting He, Shuai Shao, Tingting Yu, Yiying Zhang, Nobuko Yoshida, and Linhai Song.
    “SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models.”
    Proceedings of the 2026 ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA 2026), Oct 2026.

  • Shihao Xia, Mengting He, Linhai Song, and Yiying Zhang.
    “SC-Bench: A Large-Scale Dataset for Smart Contract Auditing.”
    Proceedings of the 2nd International Workshop on Large Language Models for Code (LLM4Code 2025), May 2025.

  • Shihao Xia, Shuai Shao, Mengting He, Tingting Yu, Linhai Song, Yiying Zhang.
    “AuditGPT: Auditing Smart Contracts with ChatGPT.”
    arXiv:2404.04306.

  • Mengting He, Shihao Xia, Boqin Qin, Nobuko Yoshida, Tingting Yu, Yiying Zhang, and Linhai Song.
    “How to Save My Gas Fees: Understanding and Detecting Real-World Gas Issues in Solidity Programs.”
    IEEE Transactions on Software Engineering (TSE), 2025.
    Accepted as a Journal-First paper by ICSE 2026.

  • Ziheng Liu*, Shihao Xia*, Yu Liang, Linhai Song, and Hong Hu.
    “Who Goes First? Detecting Go Concurrency Bugs via Message Reordering.”
    Proceedings of the 27th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2022), March 2022.
    Acceptance Rate: 20.1% (80/397).
    *Co-first authors.