SANER 2026 (series) /
SANER 2026 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Tue 17 MarDisplayed time zone: Athens change
Tue 17 Mar
Displayed time zone: Athens change
09:00 - 10:30 | |||
09:00 25mTalk | Ethereum Layer Two Client Similarity: Geth Workshops & Tutorials | ||
09:25 25mTalk | 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 25mTalk | 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 15mTalk | 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 | ||
09:00 - 10:30 | F-TRANSFER - Session 1Workshops & Tutorials at Atrium C 9:00-9:10: Welcome Message and Opening Remarks 9:10-10:10: Keynote: Prof. Andreas Lanitis, Title: Emerging Technologies for Training and Education: Case Studies and Future Challenges 10:10-10:30: Q&A + Discussions | ||
09:00 - 10:30 | GREENVOLVE - Session 1Workshops & Tutorials at Megaron Beta 09:00 - 09:15: Welcome and opening message | ||
10:05 25mTalk | The Green Side of the Lua Workshops & Tutorials André Brandão University of Minho, Diogo Matos University of Minho, Miguel Guimarães University of Minho, Simão Cunha University of Minho & HASLab, INESCTEC, João Saraiva | ||
09:00 - 10:30 | |||
09:00 90mTutorial | Designing and Evolving Domain-Specific Languages with Minimal Cognitive Overhead: A Hands-On Technical Tutorial on Jjodel Workshops & Tutorials Alfonso Pierantonio Università degli Studi dell'Aquila | ||
09:00 - 10:30 | VST - Session 1Workshops & Tutorials at Panorama 09:00 - 09:20: Welcome and Opening Message, Christian Macho and Martin Pinzger 09:20 - 10:30: Keynote “Testing of Autonomous Driving Systems: From Simulated to Real-world Environments”, Andrea Stocco | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 15mTalk | Experience Report on Teaching Battery Testing through Process Simulation Workshops & Tutorials Eliza Maria Olariu Electrical Engineering, Technical University of Cluj Napoca, Horia Hedesiu Electrical Engineering, Technical University of Cluj | ||
11:15 15mTalk | Facilitating Continuous Professional Development: A Machine Learning Approach to Personalized Learning Paths Workshops & Tutorials | ||
11:30 15mTalk | Enhancing Software Engineering Education Through Explainable Automatic EBC Labelling Workshops & Tutorials | ||
11:45 15mTalk | Teaching Automated Web Regression Testing through Character-Driven Storytelling Workshops & Tutorials | ||
12:00 15mTalk | AI-Assisted Diagnosis of Students’ Misconceptions on Memory Allocation and Dynamic Data Structures in C++ Workshops & Tutorials | ||
11:00 - 12:30 | GREENVOLVE - Session 2Workshops & Tutorials at Megaron Beta 9:00 - 9:15: Welcome and opening message | ||
11:00 25mTalk | The Energy–Throughput Trade-off in Lossless-Compressed Source Code Storage Workshops & Tutorials Paolo Ferragina Sant'Anna School of Advanced Studies, Francesco Tosoni Sant'Anna School of Advanced Studies | ||
11:25 25mTalk | On The Energy Consumption of Continuous Integration in Open-Source Java Projects Workshops & Tutorials | ||
11:50 25mTalk | Power Assumptions Matter: Revisiting Laptop Energy Models for Sustainability Reporting Workshops & Tutorials | ||
12:15 15mTalk | Energy Consumption of Web Frontend Frameworks: An Empirical Comparison of Angular and React Workshops & Tutorials Anas Shatnawi University of Milano-Bicocca, Benoit Verhaeghe Berger-Levrault, Boubou Thiam Niang Berger-Levault, Louay Khrouf Berger-Levault | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Designing and Evolving Domain-Specific Languages with Minimal Cognitive Overhead: A Hands-On Technical Tutorial on Jjodel Workshops & Tutorials Alfonso Pierantonio Università degli Studi dell'Aquila | ||
11:00 - 12:30 | |||
11:00 25mTalk | Empirical Derivations from an Evolving Test Suite Workshops & Tutorials | ||
11:25 25mTalk | TrainTicketTrace: A Multi-Fault Distributed Dataset for Microservice Fault Detection and Localization Workshops & Tutorials Pirmin Urbanke Software Competence Center Hagenberg, Stefan Fischer Software Competence Center Hagenberg | ||
12:00 15mTalk | Grammar-Aware Coverage-Guided Fuzzing with Grammarinator and AFL++ Workshops & Tutorials | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:15 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 | ||
14:00 - 15:30 | |||
14:00 15mTalk | Gender Bias in Generative AI-assisted Recruitment Processes Workshops & Tutorials Martina Ullasci Politecnico di Torino, Marco Rondina Politecnico di Torino, Riccardo Coppola Politecnico di Torino, Antonio Vetrò Politecnico di Torino | ||
14:15 25mTalk | Bias Ahead: Sensitive Prompts as Early Warnings for Fairness in Large Language Models Workshops & Tutorials Gianmario Voria University of Salerno, Martina De Lucia University of Salerno, Alessandra Raia University of Salerno, Andrea De Lucia University of Salerno, Gemma Catolino University of Salerno, Fabio Palomba University of Salerno | ||
14:40 25mTalk | Evaluation of Data Quality Disparity and Implications for Fair Machine Learning Workshops & Tutorials Mohit Sharma IIT Delhi, Pratik Mishra IBM Research, Sandeep Hans IBM India Research Lab, Abhijnan Chakraborty IIT Kharagpur, Vijay Arya IBM Research Pre-print | ||
14:00 - 15:30 | |||
14:00 15mTalk | PPTAMη: Energy Aware CI/CD Pipeline for Container Based Applications Workshops & Tutorials Alessandro Aneggi Free University of Bozen-Bolzano, Andrea Janes Free University of Bozen-Bolzano, Xiaozhou Li Free University of Bozen-Bolzano | ||
14:15 25mTalk | GREENN: Granular evaluation of Energy Efficiency in Neural Networks Workshops & Tutorials Elena Ballesteros-Morallón University of Castilla-La Mancha, Felix García University of Castilla-La Mancha, Maria Gutierrez University of Castilla-La Mancha, Mª Angeles Moraga University of Castilla-La Mancha, Coral Calero Universidad de Castilla La Mancha | ||
14:40 25mTalk | Orchestrating AI-Driven Code Refactoring Based on Energy Measurements in CI Pipelines Workshops & Tutorials Carlos Pulido Hernández University of Castilla-La Mancha, Mª Angeles Moraga University of Castilla-La Mancha, Felix García University of Castilla-La Mancha | ||
15:05 25mTalk | Beyond Model Optimization: Practical Energy-Efficient LLM Inference through Context-Aware Input Reduction Workshops & Tutorials Kalle Pronk Fontys University of Applied Sciences, Qin Zhao Fontys University of Applied Science, Siebren Kazemier Q42 | ||
14:00 - 15:30 | MSR4P&S - Session 1Workshops & Tutorials at Megaron Gamma 14:00-14:05: Welcome and Opening 14:05-14:50: Keynote | ||
14:50 20mTalk | Broken Access Control Risks in Open Source JavaScript Projects: A Security Analysis Workshops & Tutorials Rima Ayusinta Mid Sweden University, Rodi Jolak RISE Research Institutes of Sweden and Mid Sweden University, Raja Khurram Shahzad Mid Sweden University | ||
15:10 20mTalk | Policy-as-Code in the Wild: A Taxonomy and Dataset for Open Policy Agent from GitHub Workshops & Tutorials Can Önal JADS, Tilburg University, Indika Kumara Tilburg University, Filippo Scaramuzza Tilburg University and Eindhoven University of Technology, Marco Tonnarelli JADS - TU/e | ||
14:00 - 15:30 | |||
14:00 25mTalk | Metamorphic Testing for Sequential Prediction Models: A Survey of LSTMs and LLMs Workshops & Tutorials Alejandra Duque-Torres Software Competence Center Hagenberg (SCCH) GmbH, Stefan Fischer Software Competence Center Hagenberg, Claus Klammer Software Competence Center Hagenberg | ||
14:25 25mTalk | TAM-Eval: Evaluating LLMs for Automated Unit Test Maintenance Workshops & Tutorials Elena Bruches Siberian Neuronets LLC, Vadim Alperovich T-Technologies, Dari Baturova Siberian Neuronets LLC, Roman Derunets Siberian Neuronets LLC, Daniil Grebenkin Siberian Neuronets LLC, Georgiy Mkrtchyan T-Technologies, Oleg Sedukhin Siberian Neuronets LLC, Mikhail Klementev Siberian Neuronets LLC, Ivan Bondarenko Novosibirsk State University, Nikolay Bushkov T-Technologies, Stanislav Moiseev T-Technologies Pre-print | ||
14:50 25mTalk | I Will Try to Fix You: Large Language Models for Mobile GUI Test Repair Workshops & Tutorials Tommaso Fulcini Politecnico di Torino, Alessandro Poletti Politecnico di Torino, Anna Arnaudo Politecnico di Torino, Riccardo Coppola Politecnico di Torino | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 16:30 | |||
16:00 15mTalk | 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 15mTalk | 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:00 - 16:30 | FAIRNESS - Session 2Workshops & Tutorials at Atrium C 16:30–17:30: Panel / Community Discussion / Closing | ||
16:00 15mTalk | SCOPE: A Dataset of Stereotyped Prompts for Counterfactual Fairness Assessment of LLMs Workshops & Tutorials Alessandra Parziale Gran Sasso Science Institute, Gianmario Voria University of Salerno, Valeria Pontillo Gran Sasso Science Institute, Gemma Catolino University of Salerno, Andrea De Lucia University of Salerno, Fabio Palomba University of Salerno | ||
16:15 15mTalk | Designing think-aloud studies to identify cognitive biases in software engineering tools: An experience report Workshops & Tutorials Faith Culas University of Auckland, Priyanka Dhopade University of Auckland, Kelly Blincoe University of Auckland | ||
16:00 - 17:30 | |||
16:00 20mTalk | Evaluating Large Language Models for Security Bug Report Prediction Workshops & Tutorials Farnaz Soltaniani Technische Universität Clausthal, Shoaib Razzaq Technical University of Clausthal, Mohammad Ghafari TU Clausthal | ||
16:20 20mTalk | Towards Project-Aware Actionability Detection for Coding Rule Violations Workshops & Tutorials Széles Csoma Lázár University of Szeged, Department of Software Engineering, Gergő Balogh Department of Software Engineering, University of Szeged | ||
16:40 10mTalk | Don’t Mind the Mesh: An Empirical Study of Istio Service Mesh Security in GitHub Workshops & Tutorials Kohsuke Sonoda Aalto university, Jose Luis Martin-Navarro Aalto University, Tuomas Aura Aalto University | ||
16:50 20mTalk | Can Developers rely on LLMs for Secure IaC Development? Workshops & Tutorials | ||
17:10 20mTalk | Persistent Human Feedback, LLMs, and Static Analyzers for Secure Code Generation and Vulnerability Detection Workshops & Tutorials | ||
16:00 - 16:40 | |||
16:00 25mTalk | Effective Minimization of Failure-Inducing Tests Using Convention-Aware Slicing Workshops & Tutorials Sara Baradaran University of Southern California, Mukund Raghothaman University of Southern California | ||
16:25 15mTalk | QGMR: A new Quantum Mutation Testing operator Workshops & Tutorials Sanskar Shah National Institute of Technology Warangal, India, Sangharatna Godboley NIT Warangal, P. Radha Krishna National Institute of Technology Warangal, Warangal | ||
16:30 - 17:30 | |||
16:30 - 17:30 | FAIRNESS - Session 3Workshops & Tutorials at Atrium C 16:30–17:30: Panel / Community Discussion / Closing | ||
16:40 - 17:45 | VST - ClosingWorkshops & Tutorials at Panorama 16:40 - 17:00: Discussion 17:00 - 17:45: Open Session and Closing 17:00 - 17:30: Open Session, Work in Progress, Tool Demos, New Ideas 17:30 - 17:45: Closing | ||
Wed 18 MarDisplayed time zone: Athens change
Wed 18 Mar
Displayed time zone: Athens change
09:00 - 09:30 | |||
09:30 - 10:30 | |||
09:30 60mKeynote | Mining Emotions in Software Engineering: From Text to Biometrics Keynote Session | ||
10:30 - 11:00 | |||
11:00 - 12:30 | Session 1B - LLMs for Testing and Automated RepairResearch Track / Reproducibility Studies and Negative Results (RENE) Track / Short Papers and Posters Track / Early Research Achievement (ERA) Track / Tool Demo Track at Megaron Beta | ||
11:00 15mTalk | HieraTest: Hierarchical Dependency–Driven Framework with Multi-Strategy Repair for LLM-based Unit Test Generation Research Track Weichang Liu Zhejiang University, Junwei Zhang Zhejiang University, Xiaochun Zhu Insigma Hengtian Software LTD, Bo Zhou Northeastern University | ||
11:15 15mTalk | TestForge: A Benchmarking Framework for LLM-Based Test Case Generation Research Track Marco Vieira University of North Carolina at Charlotte, Bhavain Shah University of North Carolina at Charlotte, Priyam Ashish Shah University of North Carolina at Charlotte, Vineet Khadloya Salesforce | ||
11:30 15mTalk | RM -RF: Reward Model for Run-Free Unit Test Evaluation Research Track Elena Bruches Siberian Neuronets LLC, Daniil Grebenkin Siberian Neuronets LLC, Mikhail Klementev Siberian Neuronets LLC, Vadim Alperovich T-Technologies, Roman Derunets Siberian Neuronets LLC, Dari Baturova Siberian Neuronets LLC, Georgiy Mkrtchyan T-Technologies, Oleg Sedukhin Siberian Neuronets LLC, Ivan Bondarenko Novosibirsk State University, Nikolay Bushkov T-Technologies, Stanislav Moiseev T-Technologies Pre-print | ||
11:45 15mTalk | Can We Classify Flaky Tests Using Only Test Code? An LLM-Based Empirical Study Reproducibility Studies and Negative Results (RENE) Track Alexander Berndt , Vekil Bekmyradov SAP, Rainer Gemulla University of Mannheim, Marcus Kessel University of Mannheim, Thomas Bach SAP, Sebastian Baltes Heidelberg University | ||
12:00 7mTalk | Integrating A Large Language Model Into Search-based Automated Program Repair Short Papers and Posters Track | ||
12:07 7mTalk | RisConFix: LLM-based Automated Repair of Risk-Prone Drone Configurations Short Papers and Posters Track Liping Han Nanjing University of Posts and Telecommunications, Tingting Nie Nanjing University of Posts and Telecommunications, Le Yu Nanjing University of Posts and Telecommunications, Mingzhe Hu Nanjing University of Posts and Telecommunications, Tao Yue Beihang University | ||
12:14 7mTalk | Leveraging Mutation Analysis for LLM-based Repair of Quantum Programs Early Research Achievement (ERA) Track Chihiro Yoshida The University of Osaka, Yuta Ishimoto Kyushu University, Olivier Nourry The University of Osaka, Masanari Kondo Kyushu University, Makoto Matsushita The University of Osaka, Yasutaka Kamei Kyushu University, Yoshiki Higo Osaka University | ||
12:21 7mTalk | AI-Assisted Semantic Modeling of Languages for Symbolic Execution Driven Unit Test Generation Tool Demo Track Mokshith Reddy Tanguturi , Atul Kumar IBM Research India, Nandakishore S Menon IBM Research India, Sridhar Chimalakonda Indian Institute of Technology Tirupati | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | Session 2B - Security, Vulnerabilities, and MisusesResearch Track / Industrial Track at Megaron Beta | ||
14:00 15mTalk | What You Trust Is Insecure: Demystifying How Developers (Mis)Use Trusted Execution Environments in Practice Research Track Yuqing Niu , Jieke Shi Singapore Management University, Ruidong Han Singapore Management University, Ye Liu Singapore Management University, Chengyan Ma Singapore Management University, Yunbo Lyu Singapore Management University, David Lo Singapore Management University Pre-print | ||
14:15 15mTalk | From Patterns to Precision: LLM-Guided Detection of Signature Verification Flaws in Smart Contracts Research Track | ||
14:30 15mTalk | SeBERTis: A Framework for Producing Classifiers of Security-Related Issue Reports Research Track Sogol Masoumzadeh Mcgill University, Yufei Li McGill University, Shane McIntosh University of Waterloo, Daniel Varro Linköping University / McGill University, Lili Wei McGill University | ||
14:45 15mTalk | MLmisFinder: A Specification and Detection Approach of Machine Learning Service Misuses Research Track Hadil Ben Amor Ecole de Technologie Supérieure, Niruthiha Selvanayagam Ecole de Technologie Supérieure, Manel Abdellatif École de Technologie Supérieure, Taher A. Ghaleb Trent University, Naouel Moha École de Technologie Supérieure (ETS) | ||
15:00 15mTalk | VulTerminator: Bringing Back Template-Based Automated Repair for Fixing Java Vulnerabilities Research Track Quang-Cuong Bui Hamburg University of Technology, Emanuele Iannone Hamburg University of Technology, Riccardo Scandariato Hamburg University of Technology Pre-print | ||
15:15 15mTalk | From Legacy Designs to Vulnerability Fixes: Understanding SAST Adoption in Non-Technological Companies Industrial Track Luis Henrique Vieira Amaral University of Brasília, Brazil, Michael Schlichtig Heinz Nixdorf Institut, Paderborn University, Wagner Emanuel , Joilton Almeida de Jesus , Carine Ferreira , Jérôme Kempf , Rodrigo Bonifácio Informatics Center - CIn/UFPE and Computer Science Department / University of Brasília, Eric Bodden Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM, Laerte Peotta University of Brasília, Brazil, Gustavo Pinto Zup Innovation & UFPA, Márcio Ribeiro Federal University of Alagoas, Brazil | ||
14:00 - 15:30 | Session 2A - Refactoring, Code Smells, and Software MaintenanceResearch Track / Early Research Achievement (ERA) Track / Journal First Track / Industrial Track / Short Papers and Posters Track at Panorama | ||
14:00 15mTalk | An Empirical Analysis of Code Clones in GitHub Actions Workflows Research Track Guillaume Cardoen University of Mons, Tom Mens University of Mons, Alexandre Decan University of Mons; F.R.S.-FNRS | ||
14:15 15mTalk | Reusing Legacy Code in Wasm: Key Challenges of Compilation and Code Semantics Preservation Research Track Sara Baradaran University of Southern California, Liyan Huang University of Southern California, Mukund Raghothaman University of Southern California, Weihang Wang University of Southern California Pre-print | ||
14:30 15mTalk | Cold-Start Anti-Patterns and Refactorings in Serverless Systems: An Empirical Study Research Track SYED SALAUDDIN MOHAMMAD TARIQ University of Michigan - Dearborn, Foyzul Hassan University of Michigan at Dearborn, Amiangshu Bosu Wayne State University, Probir Roy University of Michigan at Dearborn | ||
14:45 15mTalk | Prescriptive procedure for manual code smell annotation Journal First Track Simona Prokić Faculty of Technical Sciences, University of Novi Sad, Nikola Luburić Faculty of Technical Sciences, University of Novi Sad, Jelena Slivka Faculty of Technical Sciences, University of Novi Sad, Aleksandar Kovačević Faculty of Technical Sciences, University of Novi Sad | ||
15:00 15mTalk | Transpilation using Recursive Rewrite Rules: From Legacy to Maintainable Code Industrial Track Tristan Albers , Jos Hegge , Pierre van de Laar TNO-ESI, Niels Brouwers , Paul Nelissen , Wilbert Alberts , George Azis , Theo Baan , Danny Handoko , Quint van der Linden | ||
15:15 7mTalk | Evaluating Cross-Language Transfer for Refactoring Detection with Large Language Models Early Research Achievement (ERA) Track Siyuan Liu Nara Institute of Science and Technology, Nabhan Suwanachote Nara Institute of Science and Technology, Yutaro Kashiwa Nara Institute of Science and Technology, Brittany Reid Nara Institute of Science and Technology, Hajimu Iida Nara Institute of Science and Technology | ||
15:22 7mTalk | Design Pattern-based Code Refactoring with LLMs Short Papers and Posters Track Bartolomeo Zisa Università di Pisa, Lucia Passaro University of Pisa, Jacopo Soldani University of Pisa, Italy | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | Session 3B - Evolution and Security of Mobile SystemsResearch Track / Short Papers and Posters Track at Megaron Beta | ||
16:00 15mTalk | Relocate and Emulate: Re-Hosting Android’s Application Layer Research Track Thomas Sutter University of Bern, Timo Kehrer University of Bern, Marc Rennhard Zurich University of Applied Sciences, Bernhard Tellenbach Armasuisse Cyber-Defence Campus | ||
16:15 15mTalk | Scratching the Iceberg: Unveiling the Outdated Third-Party Native Libraries in Android Apps Research Track Shiyang Zhang Tianjin University, Chengwei Liu Nanyang Technological University, Sen Chen Nankai University, Lyuye Zhang Nanyang Technological University, Yang Liu Nanyang Technological University | ||
16:30 15mTalk | Dialing Danger: Large-Scale Mining and Risk Assessment of Android Secret Codes in OEM Firmware Research Track Ruoyan Lin Shandong University, Shishuai Yang Zhengzhou University of Aeronautics, Fenghao Xu Southeast University, Wenrui Diao Shandong University | ||
16:45 15mTalk | InstruMate: A Systematic Framework for Assessing Android App Repackaging Resilience Research Track Leandro de Souza Oliveira , Rodrigo Bonifácio Informatics Center - CIn/UFPE and Computer Science Department / University of Brasília, Joanna C. S. Santos University of Notre Dame, Rui Rua New York University Abu Dhabi | ||
17:00 15mTalk | An Empirical Study of Privacy Leakage Vulnerability in Third-Party Android Logs Libraries Research Track Yixi Zhao University of Waterloo, Kundi Yao Ontario Tech University, Yiming Tang Rochester Institute of Technology, Weiyi Shang University of Waterloo | ||
17:15 7mTalk | AMF-GR: Adaptive Matrix Factorization and Graph Fusion for Android Library Recommendation Short Papers and Posters Track Abhinav Jamwal Dept. of Computer Science & Engineering, Indian Institute of Technology, Roorkee, India, Sandeep Kumar Dept. of Computer Science & Engineering, Indian Institute of Technology, Roorkee, India | ||
17:22 7mTalk | BUPLinker: Bridging Users and Developers in Mobile Application Evolution Short Papers and Posters Track Ayana Uematsu Waseda University, Hironori Washizaki Waseda University, Naoyasu Ubayashi Waseda University, Masanari Kondo Kyushu University, Juichi Takahashi AGEST, Inc, Yohei Takagi AGEST Inc. | ||
18:30 - 20:00 | Welcome ReceptionCatering | ||
Thu 19 MarDisplayed time zone: Athens change
Thu 19 Mar
Displayed time zone: Athens change
09:30 - 10:30 | |||
09:30 60mKeynote | Diversity and Inclusion in Software Engineering: From the Classroom to the Workplace Keynote Session | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | Session 4B - Vulnerability Detection and LocalizationEarly Research Achievement (ERA) Track / Research Track / Short Papers and Posters Track / Industrial Track at Megaron Beta | ||
11:00 15mTalk | InterGNN: Using Context for Detecting Inter-procedural Vulnerabilities Industrial Track Sebastian Sierra , Jochen Quante Bosch Research, Eric Bodden Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM | ||
11:15 15mTalk | VFLAGENT: A Chain-of-Thought-Guided Multi-Agent Collaboration Framework for Vulnerable Function Localization Research Track Minghe Bai Nanjing University of Posts and Telecommunications, Wei Chen Institute of Software at Chinese Academy of Sciences, Shuo Li Nankai University, China;Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences;, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences | ||
11:30 15mTalk | VulCMS: A Vulnerability Detection System Based on Centrality Analysis and Multi-Scale Attention Research Track Wenjing Cai School of Cybersecurity, Northwestern Polytechnical University, Jianfei Wang School of Software, Northwestern Polytechnical University, Jianfei Wang School of Software, Northwestern Polytechnical University, Lipeng Gao School of Software, Northwestern Polytechnical University | ||
11:45 15mTalk | Towards Secure Oracle Usage: Understanding and Detecting Oracle Vulnerabilities in Smart Contracts Research Track Ziming Chen Peking University, Yue Li Peking University, Jiashuo Zhang Peking University, China, Jianbo Gao Peking University, Che Wang Peking University, China, Jiakun Hao Peking University, Anming Xie Peking University, Zhi Guan Peking University, Zhong Chen | ||
12:00 7mTalk | Synergizing LLM-Driven Semantic Reasoning with Assertion-Guided Analysis for Enhanced Vulnerability Detection Early Research Achievement (ERA) Track Ying Wang Xidian University, Jie Su Xidian University, Cheng Wen Xidian University, rong wang , Cong Tian Xidian University, Zhenhua Duan Xidian University, Shengchao Qin Xidian University | ||
12:07 7mTalk | Toward Reliable Detection of Malicious eBPF: Construction and Validation of a Large-Scale Bytecode Dataset Short Papers and Posters Track Yujin Kwon Duksung Women’s University, Yujeong Choi Duksung Women’s University, Dohwan Ji Hanbat National University, Jinyoung Kim Sungkyunkwan University | ||
12:14 7mTalk | Towards Online Malware Detection using Process Resource Utilization Metrics Short Papers and Posters Track Themistoklis Diamantopoulos Electrical and Computer Engineering Dept, Aristotle University of Thessaloniki, Dimosthenis Natsos Aristotle University of Thessaloniki, Andreas Symeonidis Electrical and Computer Engineering Dept., Aristotle University of Thessaloniki Pre-print | ||
12:21 8mTalk | From Data Leak to Secret Misses: The Impact of Data Leakage on Secret Detection Models Short Papers and Posters Track | ||
11:00 - 12:30 | |||
11:00 15mTalk | GDPO: Dual Learning for Self-Supervised Code Summarization in the Era of Large Language Models Research Track Chen Xiao , Wang Shuwei Institute of Information Engineering, Chinese Academy of Sciences;and University of Chinese Academy of Sciences, Zhang Weize Institute of Information Engineering, Chinese Academy of Sciences;and University of Chinese Academy of Sciences, Jiang Zhengwei Institute of Information Engineering, Chinese Academy of Sciences;and University of Chinese Academy of Sciences, Wang Qiuyun Institute of Information Engineering, Chinese Academy of Sciences;and University of Chinese Academy of Sciences | ||
11:15 15mTalk | Mind the Merge: Evaluating the Effects of Token Merging on Pre-trained Models for Code Research Track Mootez Saad Dalhousie University, Hao Li Queen's University, Tushar Sharma Dalhousie University, Ahmed E. Hassan Queen’s University | ||
11:30 15mTalk | CONCORD: A DSL for Generating Simplified and Scalable Graph-Based Code Representations Research Track Pre-print | ||
11:45 15mTalk | Combining Static Code Analysis and Large Language Models Improves Correctness and Performance of Algorithm Recognition Research Track Denis Neumüller Ulm University, Sebastian Boll Ulm University, David Schüler Ulm University, Matthias Tichy Ulm University | ||
12:00 15mTalk | A Multi-Modal Retrieval-Augmented Framework for Compiler Backend Generation with LLMs Research Track Ming Zhong SKLP, Institute of Computing Technology, CAS, Fang Lv Institute of Computing Technology, Chinese Academy of Sciences, Hongna Geng , Xin Sun , Lulin Wang , Lulin Wang , Huimin Cui Institute of Computing Technology, Chinese Academy of Sciences, Xiaobing Feng ICT CAS | ||
12:15 7mTalk | Static Analysis assisted Knowledge Graph based Automatic Functionality Discovery for Mainframe Applications Tool Demo Track Sasaank Janapati , Atul Kumar IBM Research India, Nandakishore S Menon IBM Research India, Sridhar Chimalakonda Indian Institute of Technology Tirupati | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | Session 5B - Techniques and Tools for Testing and VerificationJournal First Track / Research Track / Tool Demo Track / Early Research Achievement (ERA) Track at Megaron Beta | ||
14:00 15mTalk | STELLAR: A Search-Based Testing Framework for Large Language Model Applications Research Track Lev Sorokin BMW Group, Technical University of Munich, Ivan Vasilev BMW Group, Technische Universität München, Germany, Ken Friedl BMW Group, Andrea Stocco Technical University of Munich, fortiss Pre-print File Attached | ||
14:15 15mTalk | Assessing Large Language Models in Verifying Concurrent Programs Research Track Ridhi Jain Technology Innovation Institute (TII), Abu Dhabi, UAE, Rahul Purandare University of Nebraska-Lincoln | ||
14:30 15mTalk | Understanding the Effectiveness of Mutators in Mutation-based Protocol Fuzzing Research Track Xiyuan Zhang East China Normal University, Jiayi Jiang East China Normal University, Yiutak Choi East China Normal University, Ting Su East China Normal University, Haiying Sun East China Normal University, Chengcheng Wan East China Normal University, Geguang Pu East China Normal University, China | ||
14:45 15mTalk | Test Amplification for REST APIs Using "Out-of-the-box" Large Language Models Journal First Track Tolgahan Bardakci University of Antwerp and Flanders Make, Serge Demeyer University of Antwerp and Flanders Make vzw, Mutlu Beyazıt University of Antwerp and Flanders Make vzw | ||
15:00 7mTalk | Preserving Concurrency-Revealing Seeds in Fuzzing of Concurrent Programs via Tuple-Based Coverage Evaluation Early Research Achievement (ERA) Track Junjie Huang Xidian University, Cheng Wen Xidian University, Jie Su Xidian University, Zhiwu Xu Shenzhen University, Bin Yu Xidian University, Shengchao Qin Xidian University, Cong Tian Xidian University | ||
15:07 7mTalk | CV: Interactive Visualization of Verification Results Tool Demo Track Pre-print Media Attached | ||
15:14 7mTalk | MuSe: a Mutation Testing Plugin for the Remix IDE Tool Demo Track Gerardo Iuliano University of Salerno, Daniele Carangelo , Carmine Calabrese , Dario Di Nucci University of Salerno | ||
14:00 - 15:30 | Session 5C - Specification-Driven Code and Model DevelopmentIndustrial Track / Early Research Achievement (ERA) Track / Short Papers and Posters Track / Research Track / Registered Report Track at Megaron Gamma | ||
14:00 15mTalk | Requirement Formalization using Large Language Models Research Track Zhiyuan Hu National University of Defense Technology, Wei Ma Singapore Management University, Qiang Wang Academy of Military Sciences, Lingxiao Jiang Singapore Management University, Dongsheng Li National University of Defense Technology | ||
14:15 15mTalk | Understanding Specification-Driven Code Generation with LLMs: An Empirical Study Design Registered Report Track Giovanni Rosa Universidad Rey Juan Carlos, David Moreno-Lumbreras Universidad Rey Juan Carlos, Gregorio Robles Universidad Rey Juan Carlos, Jesus M. Gonzalez-Barahona Universidad Rey Juan Carlos | ||
14:30 15mTalk | AI-Assisted Requirements Traceability for Large-Scale Optical Network Systems: An Industrial Experience Report Industrial Track | ||
14:45 15mTalk | From Textual Descriptions to Code: A Filtering Approach for Locating Business Rules Industrial Track Nour Ayachi Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL F-59000 Lille, France, Benoit Verhaeghe Berger-Levrault, Christopher Fuhrman École de technologie supérieure, Nicolas Anquetil University of Lille, Lille, France | ||
15:00 7mTalk | Generating User Clones from Questionnaires: A Lightweight Approach to Requirements Elicitation Short Papers and Posters Track Mai Hirabayashi Waseda University, Hironori Washizaki Waseda University, Naoyasu Ubayashi Waseda University, Juichi Takahashi AGEST, Inc, Yohei Takagi AGEST Inc. | ||
15:07 7mTalk | How Well Does Knowledge Injection Enhance LLM-aided Formal Protocol Modeling? Early Research Achievement (ERA) Track Yajia Lin Xidian University, Jie Su Xidian University, Cheng Wen Xidian University, rong wang , Cong Tian Xidian University, Zhenhua Duan Xidian University, Shengchao Qin Xidian University | ||
15:14 7mTalk | LLM Driven Business Rule Extraction from Enterprise Applications Early Research Achievement (ERA) Track Shrishti Pradhan TCS Research, Aishwarya Malvade TCS Research, Raveendra Kumar Medicherla TCS Research, Tata Consultancy Services, Manasi Patwardhan TCS Research | ||
15:21 7mTalk | SQL3M: Token Efficient Text-to-SQL Generation Short Papers and Posters Track Ibrahim Ücelehan Johannes Gutenberg University Mainz, Alina Geiger Johannes Gutenberg University Mainz, Dominik Sobania University of Duisburg-Essen, Germany | ||
14:00 - 15:30 | Session 5A - Robustness and Reliability of LLM Code GenerationShort Papers and Posters Track / Research Track / Tool Demo Track / Early Research Achievement (ERA) Track at Panorama | ||
14:00 7mTalk | Failure-Aware Enhancements for Large Language Model (LLM) Code Generation: An Empirical study on Decision Framework Short Papers and Posters Track Jianru Shen University of Montana, Zedong Peng University of Montana, Lucy Owen University of Montana | ||
14:07 15mTalk | Progressively Mitigating API Hallucination in LLM-Generated Code via Knowledge Graph Reasoning Research Track Yuxuan Li Peking University, Zexiong Ma Peking University, Yanzhen Zou Peking University, Yue Wang Peking University, Lihan Yang Peking University, Bing Xie Peking University | ||
14:22 15mTalk | Programming Language Confusion: When Code LLMs Can't Keep their Languages Straight Research Track Micheline Bénédicte MOUMOULA University of Luxembourg, NIKIEMA Beninwende Serge Lionel University of Luxembourg, Abdoul Kader Kaboré University of Luxembourg, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg | ||
14:37 15mTalk | Can LLMs Keep Up with Library Changes? An Exploratory Study on LLM-Generated Code Research Track Xiangrong Lin Zhejiang University, Jiakun Liu Harbin Institute of Technology, Lingfeng Bao Zhejiang University | ||
14:52 15mTalk | Leveraging Enhanced Test-Driven Development for Accurate Code Generation in LLMs Research Track Rui Zhang School of Artificial Intelligence, China University of Geosciences (Beijing), Weijie Shan School of Artificial Intelligence, China University of Geosciences (Beijing), Teng Long School of Artificial Intelligence, China University of Geosciences (Beijing), Ce Fu School of Artificial Intelligence, China University of Geosciences（Beijing） | ||
15:07 7mTalk | When RAG Lies: Link-Injection Knowledge-Base Poisoning in Code Generation Short Papers and Posters Track Nguyen Trung Hieu Hanoi University of Science and Technology, Trung-Hieu Nguyen Hanoi University of Science and Technology, Hanoi, Vietnam, Trong-Nghia Be University of Engineering and Technology, Bao-Huy Hoang Hanoi University of Science and Technology,, Anh M. T. Bui Hanoi University of Science and Technology | ||
15:14 7mTalk | Grounding Generative AI in Software Engineering: Are We There Yet? Early Research Achievement (ERA) Track Mootez Saad Dalhousie University, José Antonio Hernández López Department of Computer Science and Systems, University of Murcia, Boqi Chen McGill University, Neil Ernst University of Victoria, Daniel Varro Linköping University / McGill University, Tushar Sharma Dalhousie University Pre-print | ||
15:21 7mTalk | MutEval: NL-PL Prompt Mutation Framework for Robustness Evaluation of Code LLMs Tool Demo Track Pre-print Media Attached | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
Fri 20 MarDisplayed time zone: Athens change
Fri 20 Mar
Displayed time zone: Athens change
09:30 - 09:50 | |||
09:50 - 10:30 | |||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | Session 6B - Program Analysis Symbolic Execution and Root Cause AnalysisResearch Track / Reproducibility Studies and Negative Results (RENE) Track / Journal First Track / Early Research Achievement (ERA) Track at Megaron Beta | ||
11:00 15mTalk | ProfRCA: LLM-Enabled Fine-grained Root Cause Analysis with Continuous Profiling Data Research Track Siyuan Ye School of Computer Science and Engineering, Sun Yat-sen University, Gou Tan School of Systems Science and Engineering, Sun Yat-sen University, Guangzhou, China, Wanqi Yang Sun Yat-Sen University, Pengfei Chen Sun Yat-sen University | ||
11:15 15mTalk | Path-Optimal Symbolic Execution of Heap-Manipulating Programs Research Track Pietro Braione University of Milano-Bicocca, Giovanni Denaro University of Milano - Bicocca, Luca Guglielmo Università degli Studi di Milano-Bicocca | ||
11:30 15mTalk | Symbolic Analysis for Repairing Bugs in Concurrent Persistent-Memory Programs Research Track Tooba Khan University of Southern California, Srivatsan Ravi University of Southern California, Chao Wang University of Southern California | ||
11:45 15mTalk | Modular unification of unilingual pointer analyses to multilingual FFI-based programs Journal First Track Jyoti Prakash University of Southern Denmark, Abhishek Tiwari University of Southern Denmark, Christian Hammer University of Passau | ||
12:00 15mTalk | Static Analysis Traces can help Dynamic Symbolic Execution: a Replication Study Reproducibility Studies and Negative Results (RENE) Track Sriteja Kummita Paderborn University, Fabian Schiebel Heinz Nixdorf Institute, Paderborn University, Eric Bodden Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM, Miao Miao The University of Texas at Dallas, Shiyi Wei University of Texas at Dallas | ||
12:15 7mTalk | Towards Analyzing N-language Polyglot Programs Early Research Achievement (ERA) Track Jyoti Prakash University of Southern Denmark, Abhishek Tiwari University of Southern Denmark, Mikkel Baun Kjærgaard University of Southern Denmark | ||
11:00 - 12:30 | Session 6A - Tools and Techniques for Effective Software DevelopmentIndustrial Track / Journal First Track / Tool Demo Track / Research Track at Panorama | ||
11:00 15mTalk | How Natural Language Proficiency Shapes GenAI Code for Software Engineering Tasks Journal First Track Ruksit Rojpaisarnkit Nara Institute of Science and Technology, Youmei Fan Nara Institute of Science and Technology, Kenichi Matsumoto Nara Institute of Science and Technology, Raula Gaikovina Kula The University of Osaka | ||
11:15 15mTalk | Data Catalog Tools: A Systematic Multivocal Literature Review Journal First Track Marco Tonnarelli JADS - TU/e, Indika Kumara Tilburg University, Stefan Driessen JADS, Tilburg University, Damian Andrew Tamburri University of Sannio - JADS/NXP Semiconductors, Willem-Jan van den Heuvel JADS, Tilburg University, Patrick Oor NXP Semiconductors | ||
11:30 15mTalk | On the Practical Adoption of a Static Performance Anti-Pattern Detector: An Industrial Case Study Industrial Track Lizhi Liao University of Guelph, Weiyi Shang University of Waterloo, Catalin Sporea ERA Environmental Management Solutions, Andrei Toma ERA Environmental Management Solutions, Sarah Sajedi ERA Environmental Management Solutions | ||
11:45 15mTalk | Multi-CoLoR: Context-Aware Localization and Reasoning across Multi-Language Codebases Industrial Track Indira Vats University of Toronto; Advanced Micro Devices (AMD), Sanjukta De Advanced Micro Devices, Subhayan Roy , Saurabh Bodhe , Lejin Varghese , Max Kiehn , Yonas Bedasso Advanced Micro Devices, Marsha Chechik University of Toronto Pre-print | ||
12:00 15mTalk | Diagram-Aware Automatic Review of Software Design Documents Using Multimodal Large Language Models Industrial Track | ||
12:15 7mTalk | Source Code-Driven GDPR Documentation: Supporting RoPA with Assessor View Tool Demo Track Mugdha Khedkar Heinz Nixdorf Institute, Paderborn University, Michael Schlichtig Heinz Nixdorf Institut, Paderborn University, Eric Bodden Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM Pre-print Media Attached | ||
12:22 7mTalk | RefineID: A Developer-Centric IDE Assistant for Better Identifiers Tool Demo Track | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | Session 7B - Software Architecture, Dependencies, and Industry InnovationJournal First Track / Research Track at Megaron Beta | ||
14:00 15mTalk | Detecting and removing bloated dependencies in CommonJS packages Journal First Track Yuxin Liu KTH Royal Institute of Technology, Deepika Tiwari KTH Royal Institute of Technology, Cristian Bogdan KTH Royal Institute of Technology, Benoit Baudry Université de Montréal | ||
14:15 15mTalk | Beyond Lexical: Functional Semantics and Fusion for Precise Architecture Recovery Research Track Chunguang Zhang Southeast University, Bixin Li Southeast University, Yan Xiao Sun Yat-sen University | ||
14:30 15mTalk | The SBOM Gap: Adoption and Compliance in Open Source Software Research Track Md Fazle Rabbi Idaho State University, Asif Kamal Turzo University of Massachusetts Dartmouth, Arifa Islam Champa Idaho State University, Minhaz Zibran Idaho State University Pre-print | ||
14:45 15mTalk | Innovating Industry With Research: eknows and Sysparency Journal First Track Verena Geist Software Competence Center Hagenberg GmbH, Michael Moser Software Competence Center Hagenberg GmbH, Josef Pichler University of Applied Sciences Upper Austria, Florian Schnitzhofer Sysparency GmbH | ||
15:00 15mTalk | Industry 4.0/IIoT Platforms for manufacturing systems - A systematic review contrasting the scientific and the industrial side Journal First Track Holger Eichelberger University of Hildesheim, Christian Sauer University of Hildesheim, Amir Shayan Ahmadian University of Koblenz, Christian Kröher University of Hildesheim | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
17:30 - 17:40 | |||