5 papers
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…
Parameter-Efficient Fine-Tuning with Attributed Patch Semantic Graph for Automated Patch Correctness Assessment
Zhenyu Yang, Jingwen Wu, Zhen Yang +1
Automated program repair (APR) aims to automatically repair program errors without human intervention, and recent years have witnessed a growing interest on this research topic. Wh…
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…
Compiler Optimization Testing Based on Optimization-Guided Equivalence Transformations
Jingwen Wu, Jiajing Zheng, Zhenyu Yang +1
Compiler optimization techniques are inherently complex, and rigorous testing of compiler optimization implementation is critical. Recent years have witnessed the emergence of test…
Exploring and Lifting the Robustness of LLM-powered Automated Program Repair with Metamorphic Testing
Pengyu Xue, Linhao Wu, Zhen Yang +8
In recent years, Large language model-powered Automated Program Repair (LAPR) techniques have achieved state-of-the-art bug-fixing performance and have been pervasively applied and…