2 papers
cs.AI2026
SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Shihao Xia, Mengting He, Shuai Shao +4
To govern smart contracts running on Ethereum, multiple Ethereum Request for Comment (ERC) standards have been developed, each defining a set of rules governing contract behavior.…
cs.SE2025
How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs
Mengting He, Shihao Xia, Boqin Qin +4
The execution of smart contracts on Ethereum, a public blockchain system, incurs a fee called gas fee for its computation and data storage. When programmers develop smart contracts…