Research
SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Authors Xia, Shihao, He, Mengting, Shao, Shuai, Yu, Tingting, Zhang, Yiying, Song, Linhai
Published at arXiv preprint arXiv:2502.07644
Year 2025
How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs
Authors He, Mengting, Xia, Shihao, Qin, Boqin, Yoshida, Nobuko, Yu, Tingting, Song, Linhai, Zhang, Yiying
Published at arXiv preprint arXiv:2403.02661
Year 2024
Auditgpt: Auditing smart contracts with chatgpt
Authors Xia, Shihao, Shao, Shuai, He, Mengting, Yu, Tingting, Song, Linhai, Zhang, Yiying
Published at arXiv preprint arXiv:2404.04306
Year 2024
SC-Bench: A Large-Scale Dataset for Smart Contract Auditing
Authors Xia, Shihao, He, Mengting, Song, Linhai, Zhang, Yiying
Published at arXiv preprint arXiv:2410.06176
Year 2024
Who goes first? detecting go concurrency bugs via message reordering
Authors Liu, Ziheng, Xia, Shihao, Liang, Yu, Song, Linhai, Hu, Hong
Published at Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
Year 2022