KUU - SANER 2024

VenueSanta’s Hotel Santa Claus

Room nameKUU

Capacity50

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+02:00) Athens.

Use conference time zone: (GMT+02:00) AthensSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Tue 12 Mar
Displayed time zone: Athens change

09:00 - 09:10	IWBOSE - Welcome to the 7th edition of IWBOSEWorkshops and Tutorials Track at KUU

09:00 2m Talk		Welcome to the 7th edition of IWBOSE Workshops and Tutorials Track

09:10 - 10:30	IWBOSE - Session 1Workshops and Tutorials Track at KUU

09:10 20m Talk		DAI: A Dependencies Analyzer and Installer For Solidity Smart Contracts Workshops and Tutorials Track Giacomo Ibba University of Cagliari - Department of Mathematics and Computer Science, Giuseppe Destefanis Brunel University London, Rumyana Neykova Brunel University London, Marco Ortu University of Cagliari, Silvia Bartolucci University College London, Sabrina Aufiero University College London
09:30 20m Talk		Bridging Two Worlds: Framework for Secure Implementation of Blockchain Oracles Workshops and Tutorials Track Mubashar Iqbal University of Tartu, Alessandro Chiarelli University of Tartu, Raimundas Matulevičius University of Tartu, Estonia
09:50 20m Talk		Simulating an agri-food DApp system Workshops and Tutorials Track Lodovica Marchesi Università degli studi di Cagliari, Maria Ilaria Lunesu Università degli studi di Cagliari, Michele Marchesi University of Cagliari
10:10 20m Talk		Gas Fees and Unconfirmed Transactions in Ethereum: A Proof-of-Stake (PoS) Focus Workshops and Tutorials Track Giuseppe Pierro University of Cagliari, Andy Amoordon Université Paris 1 Panthéon-Sorbonne

11:00 - 12:40	IWBOSE - Session 2Workshops and Tutorials Track at KUU

11:00 20m Talk		From Creation to Exploitation: The Oracle Lifecycle Workshops and Tutorials Track Mojtaba Eshghie , Mikael Jafari KTH Royal Institute of Technology, Cyrille Artho KTH Royal Institute of Technology, Sweden
11:20 20m Talk		Topics Analysis and Trends on Blockchain applications in the Energy Sector Workshops and Tutorials Track Matteo Vaccargiu University of Cagliari, Giacomo Ibba University of Cagliari - Department of Mathematics and Computer Science, Andrea Pinna University of Cagliari
11:40 20m Talk		Blockchain-based Verifiable Credentials for virtual teams management in the Metaverse. Workshops and Tutorials Track Maria Ilaria Lunesu University of Cagliari, Andrea Pinna University of Cagliari, Riccardo Lai University of Cagliari, Xiaofeng Wang Free University of Bozen-Bolzano
12:00 20m Talk		A Digital Twin Approach for Blockchain Smart Contracts Workshops and Tutorials Track Flavio Corradini University of Camerino, Alessandro Marcelletti University of Camerino, Andrea Morichetta , Barbara Re University of Camerino, Luca Ruschioni University of Camerino
12:20 20m Talk		SolOSphere: A Framework for Testing and Optimizing Solidity Contract Workshops and Tutorials Track Sourena Khanzadeh Toronto Metropolitan University, Manar Alalfi Toronto Metropolitan University

Thu 14 Mar
Displayed time zone: Athens change

11:00 - 12:30	Software Analysis and Recommendation SystemsShort Papers and Posters Track / Industrial Track / Research Papers / Tools Demo Track / Reproducibility Studies and Negative Results (RENE) Track / Early Research Achievement (ERA) Track at KUU Chair(s): Roberta Capuano University of L'Aquila, Italy

11:00 15m Talk		Alternating between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System Industrial Track Chin-Hsuan Sun National Taiwan University, Thomas Laurent Lero@Trinity College Dublin, Paolo Arcaini National Institute of Informatics , Fuyuki Ishikawa National Institute of Informatics
11:15 7m Talk		LogLead - Fast and Integrated Log Loader, Enhancer, and Anomaly Detector Tools Demo Track Mika Mäntylä University of Helsinki and University of Oulu, Yuqing Wang University of Oulu, Jesse Nyyssölä University of Helsinki Pre-print Media Attached
11:22 7m Talk		Debloating Feature-Rich Closed-Source Software Short Papers and Posters Track Zhen Huang DePaul University
11:29 15m Talk		SHREC: a SRE Behaviour Knowledge Graph Model for Shell Command Recommendations Industrial Track Andrea Tonon Huawei Ireland Research Center, Bora Caglayan Huawei Ireland Research Center, Hu Peng Huawei Nanjing Research Center, Mingxue Wang Huawei Ireland Research Center, Fei Shen Huawei Nanjing Research Center, Puchao Zhang Huawei Ireland Research Center
11:44 15m Talk		Code Reviewer Recommendation Based on a Hypergraph with Multiplex Relationships Research Papers Yu Qiao School of Computer Science, Wuhan University, Jian Wang Nanyang Technological University, Can Cheng School of Artificial Intelligence, Hubei University, Wei Tang School of Computer Science, Wuhan University, Peng Liang Wuhan University, China, Yuqi Zhao School of Computer Science, Wuhan University., Bing Li Wuhan University Link to publication Pre-print Media Attached
11:59 7m Talk		Web API Change-Proneness Prediction Short Papers and Posters Track Rediana Koçi Universitat Politècnica de Catalunya, Xavier Franch Universitat Politècnica de Catalunya, Petar Jovanovic Universitat Politècnica De Catalunya - Barcelona Tech, Alberto Abello Universitat Politècnica de Catalunya
12:06 15m Talk		Assessing the Security of GitHub Copilot’s Generated Code - A Targeted Replication Study Reproducibility Studies and Negative Results (RENE) Track Vahid Majdinasab Polytechnique Montréal, Michael Joshua Bishop Massey University, Shawn Rasheed Universal College of Learning, Arghavan Moradi Dakhel Polytechnique Montreal, Amjed Tahir Massey University, Foutse Khomh Polytechnique Montréal
12:21 7m Talk		Osmy: A Tool for Periodic Software Vulnerability Assessment and File Integrity Verification using SPDX Documents Tools Demo Track Rio Kishimoto Osaka University, Tetsuya Kanda Osaka University, Yuki Manabe The University of Fukuchiyama, Katsuro Inoue Nanzan University, Yoshiki Higo Osaka University
12:28 7m Talk		Navigating Expertise in Configurable Software Systems through the Maze of Variability Early Research Achievement (ERA) Track Karolina Milano Federal Institute of Mato Grosso do Sul, Bruno Cafeo University of Campinas (UNICAMP) Pre-print Media Attached

14:00 - 15:30	Tool Demo ShowcaseTools Demo Track at KUU Chair(s): Xiaozhou Li University of Oulu

14:00 9m Talk		Immersive Software Archaeology: Exploring Software Architecture and Design in Virtual Reality Tools Demo Track Adrian Hoff IT University of Copenhagen, Christoph Seidl IT University of Copenhagen, Michele Lanza Software Institute - USI, Lugano Media Attached
14:09 9m Talk		MicroOps: Rapid Microservice Data Simulation and AIOps Model Development Platform Tools Demo Track Yuewei Li Beijing University of Posts and Telecommunications, Zhigang Wang Beijing University of Posts and Telecommunications, Qi Qi , Yuhan Jing Beijing University of Posts and Telecommunications, Jinming Wu Beijing University of Posts and Telecommunications, Zhikang Wu Beijing University of Post and Telecomunications, Yan Lu Beijing University of Posts and Telecommunications., Chengsen Wang Beijing University of Posts and Telecommunications, Xingyu Wang Beijing University of Posts and Telecommunications, Jingyu Wang
14:18 9m Talk		gFaaS: Enabling Generic Functions in Serverless Computing Tools Demo Track Mohak Chadha Chair of Computer Architecture and Parallel Systems, Technical University of Munich, Paul Wieland Technical University of Munich, Michael Gerndt TUM
14:27 9m Talk		PMDET: Automated Detection Tool of Android Parcel Mismatch Tools Demo Track Yunfan Zhan Shanghai Jiao Tong University, Qidan He Jingdong Group, Yijun Wang Shanghai Jiao Tong University, Xiuzhen Chen Shanghai Jiao Tong University
14:36 9m Talk		LogLead - Fast and Integrated Log Loader, Enhancer, and Anomaly Detector Tools Demo Track Mika Mäntylä University of Helsinki and University of Oulu, Yuqing Wang University of Oulu, Jesse Nyyssölä University of Helsinki Pre-print Media Attached
14:45 9m Talk		Visual Assurance in Refactoring through Trace Equivalence of Control Flow Graphs Tools Demo Track Céline Deknop UCLouvain, Johan Fabry Raincode Labs, Belgium, Kim Mens Université catholique de Louvain, ICTEAM institute, Belgium, Vadim Zaytsev University of Twente, Netherlands Link to publication Media Attached
14:54 9m Talk		SMEAGOL: A Static Code Smell Detector for MongoDB Tools Demo Track Boris Cherry University of Namur, Csaba Nagy Software Institute - USI, Lugano, Michele Lanza Software Institute - USI, Lugano, Anthony Cleve University of Namur
15:03 9m Talk		Osmy: A Tool for Periodic Software Vulnerability Assessment and File Integrity Verification using SPDX Documents Tools Demo Track Rio Kishimoto Osaka University, Tetsuya Kanda Osaka University, Yuki Manabe The University of Fukuchiyama, Katsuro Inoue Nanzan University, Yoshiki Higo Osaka University
15:12 9m Talk		CRYPTCODER: An Automatic Code Generator for Cryptographic Tasks in Ethereum Smart Contracts Tools Demo Track Libin Xia Peking University, Jiashuo Zhang Peking University, China, Che Wang , Zezhong Tan Peking University, Jianbo Gao Peking University, Zhi Guan Peking University, Zhong Chen
15:21 9m Talk		Generative Artificial Intelligence for Test-Driven Development: GAI4-TDD Tools Demo Track Pietro Cassieri University of Salerno, Simone Romano University of Salerno, Giuseppe Scanniello University of Salerno

Tue 12 Mar
Displayed time zone: Athens change


Room	9:00						30						10:00						30						11:00						30						12:00						30
KUU	Workshops and Tutorials Track IWBOSE - Welcome to the 7th edition of IWBOSE		Workshops and Tutorials Track IWBOSE - Session 1																						Workshops and Tutorials Track IWBOSE - Session 2

Thu 14 Mar
Displayed time zone: Athens change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
KUU	Short Papers and Posters Track + Industrial Track + Research Papers + Tools Demo Track + Reproducibility Studies and Negative Results (RENE) Track + Early Research Achievement (ERA) Track Software Analysis and Recommendation Systems																																				Tools Demo Track Tool Demo Showcase

Tue 12 Mar
Displayed time zone: Athens change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45
KUU	SANER Workshops and Tutorials Track Welcome to the 7th edition of IWBOSE 09:00 - 09:02			SANER Workshops and Tutorials Track DAI: A Dependencies Analyzer and Installer For Solidity Smart Contracts 09:10 - 09:30				SANER Workshops and Tutorials Track Bridging Two Worlds: Framework for Secure Implementation of Blockchain ... 09:30 - 09:50				SANER Workshops and Tutorials Track Simulating an agri-food DApp system 09:50 - 10:10				SANER Workshops and Tutorials Track Gas Fees and Unconfirmed Transactions in Ethereum: A Proof-of-Stake (Po ... 10:10 - 10:30										SANER Workshops and Tutorials Track From Creation to Exploitation: The Oracle Lifecycle 11:00 - 11:20				SANER Workshops and Tutorials Track Topics Analysis and Trends on Blockchain applications in the Energy Sector 11:20 - 11:40				SANER Workshops and Tutorials Track Blockchain-based Verifiable Credentials for virtual teams management in ... 11:40 - 12:00				SANER Workshops and Tutorials Track A Digital Twin Approach for Blockchain Smart Contracts 12:00 - 12:20				SANER Workshops and Tutorials Track SolOSphere: A Framework for Testing and Optimizing Solidity Contract 12:20 - 12:40

Thu 14 Mar
Displayed time zone: Athens change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
KUU	SANER Industrial Track Alternating between Surrogate Model Construction and Search for Configu ... 11:00 - 11:15			SANER Tools Demo Track LogLead - Fast and Integrated Log Loader, Enhancer, and Anomaly Detector 11:15 - 11:22	SANER Short Papers and Posters Track Debloating Feature-Rich Closed-Source Software 11:22 - 11:29		SANER Industrial Track SHREC: a SRE Behaviour Knowledge Graph Model for Shell Command Recommen ... 11:29 - 11:44			SANER Research Papers Code Reviewer Recommendation Based on a Hypergraph with Multiplex Relat ... 11:44 - 11:59			SANER Short Papers and Posters Track Web API Change-Proneness Prediction 11:59 - 12:06	SANER Reproducibility Studies and Negative Results (RENE) Track Assessing the Security of GitHub Copilot’s Generated Code - A Targeted ... 12:06 - 12:21			SANER Tools Demo Track Osmy: A Tool for Periodic Software Vulnerability Assessment and File In ... 12:21 - 12:28		SANER Early Research Achievement (ERA) Track Navigating Expertise in Configurable Software Systems through the Maze ... 12:28 - 12:35																		SANER Tools Demo Track Immersive Software Archaeology: Exploring Software Architecture and Des ... 14:00 - 14:09		SANER Tools Demo Track MicroOps: Rapid Microservice Data Simulation and AIOps Model Developmen ... 14:09 - 14:18		SANER Tools Demo Track gFaaS: Enabling Generic Functions in Serverless Computing 14:18 - 14:27	SANER Tools Demo Track PMDET: Automated Detection Tool of Android Parcel Mismatch 14:27 - 14:36		SANER Tools Demo Track LogLead - Fast and Integrated Log Loader, Enhancer, and Anomaly Detector 14:36 - 14:45		SANER Tools Demo Track Visual Assurance in Refactoring through Trace Equivalence of Control Fl ... 14:45 - 14:54		SANER Tools Demo Track SMEAGOL: A Static Code Smell Detector for MongoDB 14:54 - 15:03		SANER Tools Demo Track Osmy: A Tool for Periodic Software Vulnerability Assessment and File In ... 15:03 - 15:12	SANER Tools Demo Track CRYPTCODER: An Automatic Code Generator for Cryptographic Tasks in Ethe ... 15:12 - 15:21		SANER Tools Demo Track Generative Artificial Intelligence for Test-Driven Development: GAI4-TDD 15:21 - 15:30

Room information: KUU

Tue 12 Mar
Displayed time zone: Athens change

Thu 14 Mar
Displayed time zone: Athens change

Tue 12 Mar
Displayed time zone: Athens change

Workshops and Tutorials Track

Workshops and Tutorials Track

Workshops and Tutorials Track

Thu 14 Mar
Displayed time zone: Athens change

Short Papers and Posters Track + Industrial Track + Research Papers + Tools Demo Track + Reproducibility Studies and Negative Results (RENE) Track + Early Research Achievement (ERA) Track

Tools Demo Track

Tue 12 Mar
Displayed time zone: Athens change

Thu 14 Mar
Displayed time zone: Athens change

Tracks

Room information: KUU

Program Display Configuration

Tue 12 MarDisplayed time zone: Athens change

Thu 14 MarDisplayed time zone: Athens change

Tue 12 MarDisplayed time zone: Athens change

Workshops and Tutorials Track

Workshops and Tutorials Track

Workshops and Tutorials Track

Thu 14 MarDisplayed time zone: Athens change

Short Papers and Posters Track + Industrial Track + Research Papers + Tools Demo Track + Reproducibility Studies and Negative Results (RENE) Track + Early Research Achievement (ERA) Track

Tools Demo Track

Tue 12 MarDisplayed time zone: Athens change

Thu 14 MarDisplayed time zone: Athens change

Tue 12 Mar
Displayed time zone: Athens change

Thu 14 Mar
Displayed time zone: Athens change

Tue 12 Mar
Displayed time zone: Athens change

Thu 14 Mar
Displayed time zone: Athens change

Tue 12 Mar
Displayed time zone: Athens change

Thu 14 Mar
Displayed time zone: Athens change