Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Shizhuo Li

dblp:384/6839 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2026
0009-0008-2910-5451ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Applied, interdisciplinary, general and emerging computing · 2 · 2 since 2021Databases, data management, data science and information retrieval · 1 · 1 since 2021Human-computer interaction and ubiquitous computing · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Program synthesis and code generation · 77% Software maintenance and evolution · 23%
Network and information security
1 paper
Blockchain and cryptocurrency security · 100%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Blockchain and cryptocurrency security › smart contract analysis
smart contract auditing
0.912025
SuiGPT MAD: Move AI Decompiler to Improve Transparency and Auditability on Non-Open-Source Blockchain Smart Contract · WWW 2025
Program synthesis and code generation
code generation with language models
0.912025
SuiGPT MAD: Move AI Decompiler to Improve Transparency and Auditability on Non-Open-Source Blockchain Smart Contract · WWW 2025
Software maintenance and evolution
program comprehension
0.312025
SuiGPT MAD: Move AI Decompiler to Improve Transparency and Auditability on Non-Open-Source Blockchain Smart Contract · WWW 2025

Methods — techniques the papers use, named apart from their topics

prompt engineering · 1.7large language model · 1.7
YearPublicationVenuePosition
2026 Chat-Based Support Alone May Not Be Enough: Comparing Conversational and Embedded LLM Feedback for Mathematical Proof Learning
Eason Chen, Sophia Judicke, Kayla Beigh, Yumo Wang, Mingyu Yuan, Zimo Xiao, Chuangji Li, Shizhuo Li, Reed Luttmer, Shreya Singh, Maria Yampolsky, Naman Parikh, Yvonne Zhao, Meiyi Chen, Anishka Mohanty, Gregory Johnson, John Mackey, Jionghao Lin, Kenneth R. Koedinger
AIED9
2025 SuiGPT MAD: Move AI Decompiler to Improve Transparency and Auditability on Non-Open-Source Blockchain Smart Contract
abstract
The vision of Web3 is to improve user control over data and assets, but one challenge that complicates this vision is the prevalence of non-transparent, scam-prone applications and vulnerable smart contracts that put Web3 users at risk.While code audits are one solution to this problem, the lack of smart contracts source code on many blockchain platforms, such as Sui, hinders the ease of auditing.A promising approach to this issue is the use of a decompiler to reverse-engineer smart contract bytecode.However, existing decompilers for Sui produce code that is difficult to understand and cannot be directly recompiled.To address this, we developed the SuiGPT Move AI Decompiler (MAD), a Large Language Model (LLM)-powered web application that decompiles smart contract bytecodes on Sui into logically correct, human-readable, and recompilable source code with prompt engineering.Our evaluation shows that MAD's output successfully passes original unit tests and achieves a 73.33% recompilation success rate on real-world smart contracts.Additionally, newer models tend to deliver improved performance, suggesting that MAD's approach will become increasingly effective as LLMs continue to advance.In a user study involving 12 developers, we found that MAD significantly reduced the auditing workload compared to using traditional decompilers.Participants found MAD's outputs comparable to the original source code, improving accessibility for understanding and auditing non-open-source smart contracts.Through qualitative interviews with these developers and Web3 projects, we further discussed the strengths and concerns of MAD.MAD has practical implications for blockchain smart contract transparency, auditing, and education.It empowers users to easily and independently review and audit non-open-source smart contracts, fostering accountability and decentralization.Moreover, MAD's methodology could potentially extend to other smart contract languages, like Solidity, further enhancing Web3 transparency.
Eason Chen, Zimo Xiao, Chuangji Li, Shizhuo Li, Tingguan Wu, Kostas Kryptos Chalkias
WWW5