SANER 2026
Tue 17 - Fri 20 March 2026 Limassol, Cyprus
SANER 2026 (series) / The St. Raphael Resort – 5 * /

Room information: Atrium A

VenueThe St. Raphael Resort – 5 *
Room nameAtrium A
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

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
11:00 - 12:30
IWBOSE - Session 2Workshops & Tutorials at Atrium A
11:00
18m
Talk
Zero-Knowledge Consent: Auditable and Private Data Permission Management via Blockchain
Workshops & Tutorials
Filippo Scaramuzza Tilburg University and Eindhoven University of Technology, Marco Tonnarelli JADS - TU/e, Damian Andrew Tamburri University of Sannio - JADS/NXP Semiconductors, Willem-Jan van den Heuvel JADS, Tilburg University
11:18
18m
Talk
Kubernetes-Orchestrated Private Blockchain for Scalable IoT Data Management
Workshops & Tutorials
Antonio Pierro University of Cagliari - Department of Mathematics and Computer Science, Azmat Ullah University of Camerino
11:36
18m
Talk
A Blockchain-Oriented Software Engineering Architecture for Carbon Credit Certification Systems
Workshops & Tutorials
Matteo Vaccargiu University of Cagliari, Azmat Ullah University of Camerino, Pierluigi Gallo University of Palermo
11:54
18m
Talk
A DLT-Based Framework for Traceability and Certification in Sustainable Agri-Tourism: A Case Study in a Southern Italy Region
Workshops & Tutorials
Carmelo Felicetti DIMES Dept, Università della Calabria, Francesco Pasqua Relatech SpA, Erika De Francesco Relatech SpA, Fulvia Michela Caligiuri ARSAC, Domenico Saccà DIMES Dept, Università della Calabria
12:12
18m
Talk
Model Persistence in Distributed Environments: Change-Based Encoding on Blockchain
Workshops & Tutorials
A: Alfonso Pierantonio , Marco Scappa Università degli Studi dell'Aquila, Juri Di Rocco University of L'Aquila
14:00 - 15:30
SQA4AI - Session 1Workshops & Tutorials at Atrium A

14:00–14:15: Workshop Introduction

14:15
15m
Talk
CVE-Poisoning: Towards Human-Guided and Cost-Effective Detection of a Novel AI Data Poisoning Attack
Workshops & Tutorials
Norbert Szolnoki Sándor Department of Software Engineering, University of Szeged, Gergő Balogh Department of Software Engineering, University of Szeged, Szabina Herman University of Szeged, Gabor Antal Department of Software Engineering, University of Szeged
14:30
15m
Talk
An LLM-based Approach for Automatic ML Prototype Review
Workshops & Tutorials
Selin Coban Research Group Software Construction RWTH Aachen University, Miguel Perez Research Group Software Construction RWTH Aachen University, Cagatay Akpinar Research Group Software Construction RWTH Aachen University, Baran Tanriverdi Research Group Software Construction RWTH Aachen University, Horst Lichter RWTH Aachen University
14:45
15m
Talk
From Threat Reports to Security Knowledge: Building an LLM-based Pipeline for AI Systems
Workshops & Tutorials
Takuma Tsuchida Waseda University, Yuya Fujiwara Waseda University, Hironori Washizaki Waseda University, Naoyasu Ubayashi Waseda University
15:00
15m
Talk
Enhancing Security Requirements Coverage via RAG and Automated Feedback Loops
Workshops & Tutorials
Giuseppe Sabetta University of Salerno, Alfonso Cannavale University of Salerno, Fabio Palomba University of Salerno, Andrea De Lucia University of Salerno
15:15
15m
Talk
Empirical Evaluation of Open Source Large Language Models for Paper Selection: Are LLMs Trustworthy Tools for Scoping Reviews?
Workshops & Tutorials
Homayoun Safarpour University of Szeged, Gergő Balogh Department of Software Engineering, University of Szeged, Aondowase James Orban
16:00 - 16:30
SQA4AI - Session 2Workshops & Tutorials at Atrium A
16:00
15m
Talk
Toward Measuring Prompt Quality: A Preliminary Investigation on Prompt Smells
Workshops & Tutorials
Antonio Della Porta University of Salerno, Gianmario Voria University of Salerno, Andrea Abbate University of Salerno, Raffaele Sulipano University of Salerno, Stefano Lambiase Department of Computer Science, Aalborg University, Denmark, Gemma Catolino University of Salerno, Fabio Palomba University of Salerno
16:15
15m
Talk
Prompt, Assert, Repeat: Test-Driven Prompting as a Quality Assurance Strategy for Code-Generating LLMs
Workshops & Tutorials
Brahma Reddy Korraprolu IIIT Hyderabad, Mohan Gangadhar Gudey IIIT - Hyderabad, Raghu Reddy IIIT Hyderabad, India, Dhiraj SM Varanasi IIIT - Hyderabad
16:30 - 17:30
SQA4AI - Town HallWorkshops & Tutorials at Atrium A

16:30-17:30: Town Hall: Software Quality for AI

Tue 17 Mar

Displayed time zone: Athens change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Atrium A

Workshops & Tutorials

IWBOSE - Session 1

Workshops & Tutorials

IWBOSE - Session 2

Workshops & Tutorials

SQA4AI - Session 1

Workshops & Tutorials

SQA4AI - Session 2

Workshops & Tutorials

SQA4AI - Town Hall

Tue 17 Mar

Displayed time zone: Athens change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Atrium A
SANER Workshops & Tutorials
Ethereum Layer Two Client Similarity: Geth
09:00 - 09:25
SANER Workshops & Tutorials
The Silence of the Comments: Patterns and Pitfalls in Smart Contract Co ...
09:25 - 09:50
SANER Workshops & Tutorials
Exploratory Study on LLMs for Test Amplification in Solidity
09:50 - 10:15
SANER Workshops & Tutorials
Fine-Tuning and Semantic Prompt Enrichment for LLM-Based Smart Contract ...
10:15 - 10:30
SANER Workshops & Tutorials
Zero-Knowledge Consent: Auditable and Private Data Permission Managemen ...
11:00 - 11:18
SANER Workshops & Tutorials
Kubernetes-Orchestrated Private Blockchain for Scalable IoT Data Management
11:18 - 11:36
SANER Workshops & Tutorials
A Blockchain-Oriented Software Engineering Architecture for Carbon Cred ...
11:36 - 11:54
SANER Workshops & Tutorials
A DLT-Based Framework for Traceability and Certification in Sustainable ...
11:54 - 12:12
SANER Workshops & Tutorials
Model Persistence in Distributed Environments: Change-Based Encoding on ...
12:12 - 12:30
SANER Workshops & Tutorials
CVE-Poisoning: Towards Human-Guided and Cost-Effective Detection of a N ...
14:15 - 14:30
SANER Workshops & Tutorials
An LLM-based Approach for Automatic ML Prototype Review
14:30 - 14:45
SANER Workshops & Tutorials
From Threat Reports to Security Knowledge: Building an LLM-based Pipeli ...
14:45 - 15:00
SANER Workshops & Tutorials
Enhancing Security Requirements Coverage via RAG and Automated Feedback ...
15:00 - 15:15
SANER Workshops & Tutorials
Empirical Evaluation of Open Source Large Language Models for Paper Sel ...
15:15 - 15:30
SANER Workshops & Tutorials
Toward Measuring Prompt Quality: A Preliminary Investigation on Prompt ...
16:00 - 16:15
SANER Workshops & Tutorials
Prompt, Assert, Repeat: Test-Driven Prompting as a Quality Assurance St ...
16:15 - 16:30