SANER 2026
Tue 17 - Fri 20 March 2026 Limassol, Cyprus
Tue 17 Mar 2026 09:25 - 09:50 at Atrium A - IWBOSE - Session 1

In Ethereum’s immutable environment, high-quality documentation is essential for users and auditors to fully understand smart contract behavior and build trust. However, an empirical, manually conducted, and comprehensive investigation that analyzes and identifies undocumented implementation details, implicit assumptions, and code-comment inconsistencies in operational smart contracts is still missing. To address this gap, this paper examines the commenting practices occurring in the source code of smart contracts through a systematic manual review of 100 up-to-date Solidity smart contract projects mined from Etherscan, divided into high-usage and low-usage groups based on the number of transactions they received. By combining quantitative analysis, validated with Fisher’s exact test, and a multidimensional qualitative checklist, we identify a systemic deficiency in documentation, especially concerning smart contract-specific facets, such as critical security patterns and gas optimization strategies. Our findings show that documentation quality is generally insufficient regardless of a contract’s popularity. Smart contract developers tend to prioritize functionality over verifiability, highlighting an urgent need for domain-specific documentation standards and best practices that better support the entire development lifecycle of blockchain applications.

Tue 17 Mar

Displayed time zone: Athens change

09:00 - 10:30
IWBOSE - Session 1Workshops & Tutorials at Atrium A
09:00
25m
Talk
Ethereum Layer Two Client Similarity: Geth
Workshops & Tutorials
Jan Gorzny Zircuit, Zhiyang Chen University of Toronto, Krzysztof Gogol University of Zurich
09:25
25m
Talk
The Silence of the Comments: Patterns and Pitfalls in Smart Contract Code Documentation
Workshops & Tutorials
Ermanno Sannini University of Sannio, Italy, Lucia Simeone University of Sannio, Corrado Visaggio University of Foggia, Italy, Andrea Di Sorbo University of Sannio
09:50
25m
Talk
Exploratory Study on LLMs for Test Amplification in Solidity
Workshops & Tutorials
Jorden van Handenhoven University of Antwerp, Billy Vanhove University of Antwerp, Mutlu Beyazıt University of Antwerp and Flanders Make vzw, Onur Kilincceker University of Antwerp and Flanders Make vzw, Henrique Rocha Loyola University Maryland, USA, Serge Demeyer University of Antwerp and Flanders Make vzw
10:15
15m
Talk
Fine-Tuning and Semantic Prompt Enrichment for LLM-Based Smart Contract Vulnerability Detection
Workshops & Tutorials
Francesco Salzano University of Molise, Marco Guglielmi University of Molise, Simone Scalabrino University of Molise, Rocco Oliveto University of Molise, Remo Pareschi University of Molise