- Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts (Usenix Security 2024)
- PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation (NDSS 2025, Distinguish Paper Award)
- Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications (Preprint)
- LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs’ Vulnerability Reasoning (Preprint)
- GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis (ICSE 2024)
- Who is the Real Hero? Measuring Developer Contribution via Multi-dimensional Data Integration (ASE 2023)
Research Experience
- 2025.08 - now: Research Engineer at Nanyang Technological University, Singapore.
Education
- 2021.08 - 2025.09: Ph.D. student at School of Computer Science and Engineering, Nanyang Technological University, Singapore, supervised by Prof. Yang Liu.
- 2017.09 - 2021.06: Undergraduate student at College of Cyber Space and Engineering, Sichuan University, Chengdu, Sichuan, P.R.C.
Background
Research interests include program analysis, vulnerability detection, and patch generation. He hopes to collaborate with more innovative researchers on various exciting topics in software engineering, program analysis, vulnerability detection, and self-evolving LLM agents in software engineering or software security.
Miscellany
Invited Talks: 2024.05, Transforming Language Models into Smart Contract Audit Experts (GeekCon 2024 @ Singapore)