3 papers
cs.SE2025
Understanding Typing-Related Bugs in Solidity Compiler
Lantian Li, Yue Pan, Dan Wang +2
The correctness of the Solidity compiler is crucial for ensuring the security of smart contracts. However, the implementation complexity of its type system often introduces elusive…
cs.SE2025
Understanding Inconsistent State Update Vulnerabilities in Smart Contracts
Lantian Li, Yuyu Chen, Jingwen Wu +2
Smart contracts enable contract terms to be automatically executed and verified on the blockchain, and recent years have witnessed numerous applications of them in areas such as fi…
cs.SE2024
E-code: Mastering Efficient Code Generation through Pretrained Models and Expert Encoder Group
Yue Pan, Chen Lyu, Zhenyu Yang +3
Context: With the waning of Moore's Law, the software industry is placing increasing importance on finding alternative solutions for continuous performance enhancement. The signifi…