Demo Data from EDBT 2026 / reviewers in the wild / expert
Zimo Xiao
dblp:324/0908
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 2021 · last 2026
0000-0002-9473-6056ORCID · 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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Blockchain and cryptocurrency security › smart contract analysis
smart contract auditing |
0.9 | 1 | 2025 | 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.9 | 1 | 2025 | 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.3 | 1 | 2025 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 |
AIED | 7 |
| 2025 | SuiGPT MAD: Move AI Decompiler to Improve Transparency and Auditability on Non-Open-Source Blockchain Smart ContractabstractThe 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 |
WWW | 3 |