Ye Liu

机构：Beijing Zhongke Science and Technology (China), Singapore Management University · ORCID：0000-0001-6709-3721

发表论文 69 篇 · 总被引 1294 次 · h-index 13

代表论文

• PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation (2025 · 被引 52)
• Demystifying Invariant Effectiveness for Securing Smart Contracts (2024 · Proceedings of the ACM on software engineering. · 被引 19)
• ACFix: Guiding LLMs With Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts (2025 · IEEE Transactions on Software Engineering · 被引 12)
• DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications (2024 · 被引 12)
• A Comprehensive Study of Governance Issues in Decentralized Finance Applications (2025 · ACM Transactions on Software Engineering and Methodology · 被引 6)
• Detecting Various DeFi Price Manipulations with LLM Reasoning (2025 · 被引 4)