Megaron Beta - SANER 2026

VenueThe St. Raphael Resort – 5 *

Room nameMegaron Beta

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 17 Mar
Displayed time zone: Athens change

09:00 - 10:30	GREENVOLVE - Session 1Workshops & Tutorials at Megaron Beta 09:00 - 09:15: Welcome and opening message 09:15 -10:05: Keynote

10:05 25m Talk		The Green Side of the Lua Workshops & Tutorials André Brandão University of Minho, Diogo Gomes Matos University of Minho, Miguel Guimarães University of Minho, Simão Cunha University of Minho & HASLab, INESCTEC, João Saraiva

11:00 - 12:30	GREENVOLVE - Session 2Workshops & Tutorials at Megaron Beta

11:00 25m Talk		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 25m Talk		On The Energy Consumption of Continuous Integration in Open-Source Java Projects Workshops & Tutorials Robert Arntzenius Delft University of Technology, Xutong Liu , Andy Zaidman TU Delft Pre-print
11:50 25m Talk		Power Assumptions Matter: Revisiting Laptop Energy Models for Sustainability Reporting Workshops & Tutorials Maja Kirkeby Roskilde University, Timmie Lagermann Roskilde Universitet
12:15 15m Talk		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-Levrault

14:00 - 15:30	GREENVOLVE - Session 3Workshops & Tutorials at Megaron Beta

14:00 15m Talk		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 25m Talk		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 25m Talk		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 25m Talk		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

Wed 18 Mar
Displayed time zone: Athens change

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 Chair(s): Choro Ulan Uulu Eindhoven University of Technology

11:00 15m Talk		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 15m Talk		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 15m Talk		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 15m Talk		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 7m Talk		Integrating A Large Language Model Into Search-based Automated Program Repair Short Papers and Posters Track Adam Krafczyk University of Hildesheim, Klaus Schmid University of Hildesheim
12:07 7m Talk		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 7m Talk		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 7m Talk		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

14:00 - 15:30	Session 2B - Security, Vulnerabilities, and MisusesResearch Track / Industrial Track at Megaron Beta Chair(s): Minhaz F. Zibran Idaho State University

14:00 15m Talk		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 15m Talk		From Patterns to Precision: LLM-Guided Detection of Signature Verification Flaws in Smart Contracts Research Track Huixin Wang Shandong University, Kailun Yan Tsinghua University, Wenrui Diao Shandong University
14:30 15m Talk		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 15m Talk		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 15m Talk		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 15m Talk		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

16:00 - 17:30	Session 3B - Evolution and Security of Mobile SystemsResearch Track / Short Papers and Posters Track at Megaron Beta Chair(s): Vadim Zaytsev University of Twente

16:00 15m Talk		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 15m Talk		Scratching the Iceberg: Unveiling the Outdated Third-Party Native Libraries in Android Apps Research Track Shiyang Zhang Tianjin University, Chengwei Liu Nankai University, Sen Chen Nankai University, Lyuye Zhang Nanyang Technological University, Yang Liu Nanyang Technological University
16:30 15m Talk		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 15m Talk		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 15m Talk		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 7m Talk		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 7m Talk		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.

Thu 19 Mar
Displayed time zone: Athens change

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 Chair(s): Pierre van de Laar TNO-ESI

11:00 15m Talk		InterGNN: Using Context for Detecting Inter-procedural Vulnerabilities Industrial Track Sebastian Sierra Bosch Research, Jochen Quante Bosch Research, Eric Bodden Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM
11:15 15m Talk		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 15m Talk		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 15m Talk		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 7m Talk		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 Media Attached
12:07 7m Talk		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 7m Talk		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 8m Talk		From Data Leak to Secret Misses: The Impact of Data Leakage on Secret Detection Models Short Papers and Posters Track Farnaz Soltaniani Technische Universität Clausthal, Mohammad Ghafari TU Clausthal

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 Chair(s): Sriteja Kummita Paderborn University

14:00 15m Talk		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 15m Talk		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 15m Talk		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 15m Talk		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 7m Talk		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 Media Attached
15:07 7m Talk		CV: Interactive Visualization of Verification Results Tool Demo Track Vitalii Mordan Trusted AI Research Center, Vadim Mutilin ISP RAS Research Center for Trusted Artificial Intelligence Pre-print Media Attached
15:14 7m Talk		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

Fri 20 Mar
Displayed time zone: Athens change

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 Chair(s): Lev Sorokin BMW Group, Technische Universität München, Germany

11:00 15m Talk		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 15m Talk		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 15m Talk		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 15m Talk		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 15m Talk		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 7m Talk		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

14:00 - 15:30	Session 7B - Software Architecture, Dependencies, and Industry InnovationJournal First Track / Research Track at Megaron Beta Chair(s): Christian Hammer University of Passau

14:00 15m Talk		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 15m Talk		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:45 15m Talk		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 15m Talk		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

Tue 17 Mar
Displayed time zone: Athens change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Megaron Beta	Workshops & Tutorials GREENVOLVE - Session 1																								Workshops & Tutorials GREENVOLVE - Session 2																																				Workshops & Tutorials GREENVOLVE - Session 3

Wed 18 Mar
Displayed time zone: Athens change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Megaron Beta	Research Track + Reproducibility Studies and Negative Results (RENE) Track + Short Papers and Posters Track + Early Research Achievement (ERA) Track + Tool Demo Track Session 1B - LLMs for Testing and Automated Repair																																				Research Track + Industrial Track Session 2B - Security, Vulnerabilities, and Misuses																								Research Track + Short Papers and Posters Track Session 3B - Evolution and Security of Mobile Systems

Thu 19 Mar
Displayed time zone: Athens change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Megaron Beta	Early Research Achievement (ERA) Track + Research Track + Short Papers and Posters Track + Industrial Track Session 4B - Vulnerability Detection and Localization																																				Journal First Track + Research Track + Tool Demo Track + Early Research Achievement (ERA) Track Session 5B - Techniques and Tools for Testing and Verification

Fri 20 Mar
Displayed time zone: Athens change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Megaron Beta	Research Track + Reproducibility Studies and Negative Results (RENE) Track + Journal First Track + Early Research Achievement (ERA) Track Session 6B - Program Analysis Symbolic Execution and Root Cause Analysis																																				Journal First Track + Research Track Session 7B - Software Architecture, Dependencies, and Industry Innovation

Tue 17 Mar
Displayed time zone: Athens change


Room	10:00			15			30			45			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
Megaron Beta		SANER Workshops & Tutorials The Green Side of the Lua 10:05 - 10:30											SANER Workshops & Tutorials The Energy–Throughput Trade-off in Lossless-Compressed Source Code Storage 11:00 - 11:25					SANER Workshops & Tutorials On The Energy Consumption of Continuous Integration in Open-Source Java ... 11:25 - 11:50					SANER Workshops & Tutorials Power Assumptions Matter: Revisiting Laptop Energy Models for Sustainab ... 11:50 - 12:15					SANER Workshops & Tutorials Energy Consumption of Web Frontend Frameworks: An Empirical Comparison ... 12:15 - 12:30																					SANER Workshops & Tutorials PPTAMη: Energy Aware CI/CD Pipeline for Container Based Applications 14:00 - 14:15			SANER Workshops & Tutorials GREENN: Granular evaluation of Energy Efficiency in Neural Networks 14:15 - 14:40					SANER Workshops & Tutorials Orchestrating AI-Driven Code Refactoring Based on Energy Measurements i ... 14:40 - 15:05					SANER Workshops & Tutorials Beyond Model Optimization: Practical Energy-Efficient LLM Inference thr ... 15:05 - 15:30

Wed 18 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			16:00			15			30			45			17:00			15			30			45
Megaron Beta	SANER Research Track HieraTest: Hierarchical Dependency–Driven Framework with Multi-Strategy ... 11:00 - 11:15			SANER Research Track TestForge: A Benchmarking Framework for LLM-Based Test Case Generation 11:15 - 11:30			SANER Research Track RM -RF: Reward Model for Run-Free Unit Test Evaluation 11:30 - 11:45			SANER Reproducibility Studies and Negative Results (RENE) Track Can We Classify Flaky Tests Using Only Test Code? An LLM-Based Empirica ... 11:45 - 12:00			SANER Short Papers and Posters Track Integrating A Large Language Model Into Search-based Automated Program ... 12:00 - 12:07	SANER Short Papers and Posters Track RisConFix: LLM-based Automated Repair of Risk-Prone Drone Configurations 12:07 - 12:14		SANER Early Research Achievement (ERA) Track Leveraging Mutation Analysis for LLM-based Repair of Quantum Programs 12:14 - 12:21	SANER Tool Demo Track AI-Assisted Semantic Modeling of Languages for Symbolic Execution Drive ... 12:21 - 12:28																				SANER Research Track What You Trust Is Insecure: Demystifying How Developers (Mis)Use Truste ... 14:00 - 14:15			SANER Research Track From Patterns to Precision: LLM-Guided Detection of Signature Verificat ... 14:15 - 14:30			SANER Research Track SeBERTis: A Framework for Producing Classifiers of Security-Related Iss ... 14:30 - 14:45			SANER Research Track MLmisFinder: A Specification and Detection Approach of Machine Learning ... 14:45 - 15:00			SANER Research Track VulTerminator: Bringing Back Template-Based Automated Repair for Fixing ... 15:00 - 15:15			SANER Industrial Track From Legacy Designs to Vulnerability Fixes: Understanding SAST Adoption ... 15:15 - 15:30									SANER Research Track Relocate and Emulate: Re-Hosting Android’s Application Layer 16:00 - 16:15			SANER Research Track Scratching the Iceberg: Unveiling the Outdated Third-Party Native Libra ... 16:15 - 16:30			SANER Research Track Dialing Danger: Large-Scale Mining and Risk Assessment of Android Secre ... 16:30 - 16:45			SANER Research Track InstruMate: A Systematic Framework for Assessing Android App Repackagin ... 16:45 - 17:00			SANER Research Track An Empirical Study of Privacy Leakage Vulnerability in Third-Party Andr ... 17:00 - 17:15			SANER Short Papers and Posters Track AMF-GR: Adaptive Matrix Factorization and Graph Fusion for Android Libr ... 17:15 - 17:22	SANER Short Papers and Posters Track BUPLinker: Bridging Users and Developers in Mobile Application Evolution 17:22 - 17:29

Thu 19 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
Megaron Beta	SANER Industrial Track InterGNN: Using Context for Detecting Inter-procedural Vulnerabilities 11:00 - 11:15			SANER Research Track VFLAGENT: A Chain-of-Thought-Guided Multi-Agent Collaboration Framework ... 11:15 - 11:30			SANER Research Track VulCMS: A Vulnerability Detection System Based on Centrality Analysis a ... 11:30 - 11:45			SANER Research Track Towards Secure Oracle Usage: Understanding and Detecting Oracle Vulnera ... 11:45 - 12:00			SANER Early Research Achievement (ERA) Track Synergizing LLM-Driven Semantic Reasoning with Assertion-Guided Analysi ... 12:00 - 12:07	SANER Short Papers and Posters Track Toward Reliable Detection of Malicious eBPF: Construction and Validatio ... 12:07 - 12:14		SANER Short Papers and Posters Track Towards Online Malware Detection using Process Resource Utilization Metrics 12:14 - 12:21	SANER Short Papers and Posters Track From Data Leak to Secret Misses: The Impact of Data Leakage on Secret D ... 12:21 - 12:29																				SANER Research Track STELLAR: A Search-Based Testing Framework for Large Language Model Appl ... 14:00 - 14:15			SANER Research Track Assessing Large Language Models in Verifying Concurrent Programs 14:15 - 14:30			SANER Research Track Understanding the Effectiveness of Mutators in Mutation-based Protocol ... 14:30 - 14:45			SANER Journal First Track Test Amplification for REST APIs Using "Out-of-the-box" Large Language ... 14:45 - 15:00			SANER Early Research Achievement (ERA) Track Preserving Concurrency-Revealing Seeds in Fuzzing of Concurrent Program ... 15:00 - 15:07	SANER Tool Demo Track CV: Interactive Visualization of Verification Results 15:07 - 15:14		SANER Tool Demo Track MuSe: a Mutation Testing Plugin for the Remix IDE 15:14 - 15:21

Fri 20 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
Megaron Beta	SANER Research Track ProfRCA: LLM-Enabled Fine-grained Root Cause Analysis with Continuous P ... 11:00 - 11:15			SANER Research Track Path-Optimal Symbolic Execution of Heap-Manipulating Programs 11:15 - 11:30			SANER Research Track Symbolic Analysis for Repairing Bugs in Concurrent Persistent-Memory Pr ... 11:30 - 11:45			SANER Journal First Track Modular unification of unilingual pointer analyses to multilingual FFI- ... 11:45 - 12:00			SANER Reproducibility Studies and Negative Results (RENE) Track Static Analysis Traces can help Dynamic Symbolic Execution: a Replicati ... 12:00 - 12:15			SANER Early Research Achievement (ERA) Track Towards Analyzing N-language Polyglot Programs 12:15 - 12:22																					SANER Journal First Track Detecting and removing bloated dependencies in CommonJS packages 14:00 - 14:15			SANER Research Track Beyond Lexical: Functional Semantics and Fusion for Precise Architectur ... 14:15 - 14:30						SANER Journal First Track Innovating Industry With Research: eknows and Sysparency 14:45 - 15:00			SANER Journal First Track Industry 4.0/IIoT Platforms for manufacturing systems - A systematic re ... 15:00 - 15:15

Room information: Megaron Beta

Tue 17 Mar
Displayed time zone: Athens change

Wed 18 Mar
Displayed time zone: Athens change

Thu 19 Mar
Displayed time zone: Athens change

Fri 20 Mar
Displayed time zone: Athens change

Tue 17 Mar
Displayed time zone: Athens change

Workshops & Tutorials

Workshops & Tutorials

Workshops & Tutorials

Wed 18 Mar
Displayed time zone: Athens change

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

Research Track + Industrial Track

Research Track + Short Papers and Posters Track

Thu 19 Mar
Displayed time zone: Athens change

Early Research Achievement (ERA) Track + Research Track + Short Papers and Posters Track + Industrial Track

Journal First Track + Research Track + Tool Demo Track + Early Research Achievement (ERA) Track

Fri 20 Mar
Displayed time zone: Athens change

Research Track + Reproducibility Studies and Negative Results (RENE) Track + Journal First Track + Early Research Achievement (ERA) Track

Journal First Track + Research Track

Tue 17 Mar
Displayed time zone: Athens change

Wed 18 Mar
Displayed time zone: Athens change

Thu 19 Mar
Displayed time zone: Athens change

Fri 20 Mar
Displayed time zone: Athens change

Tracks

Room information: Megaron Beta

Program Display Configuration

Tue 17 MarDisplayed time zone: Athens change

Wed 18 MarDisplayed time zone: Athens change

Thu 19 MarDisplayed time zone: Athens change

Fri 20 MarDisplayed time zone: Athens change

Tue 17 MarDisplayed time zone: Athens change

Workshops & Tutorials

Workshops & Tutorials

Workshops & Tutorials

Wed 18 MarDisplayed time zone: Athens change

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

Research Track + Industrial Track

Research Track + Short Papers and Posters Track

Thu 19 MarDisplayed time zone: Athens change

Early Research Achievement (ERA) Track + Research Track + Short Papers and Posters Track + Industrial Track

Journal First Track + Research Track + Tool Demo Track + Early Research Achievement (ERA) Track

Fri 20 MarDisplayed time zone: Athens change

Research Track + Reproducibility Studies and Negative Results (RENE) Track + Journal First Track + Early Research Achievement (ERA) Track

Journal First Track + Research Track

Tue 17 MarDisplayed time zone: Athens change

Wed 18 MarDisplayed time zone: Athens change

Thu 19 MarDisplayed time zone: Athens change

Fri 20 MarDisplayed time zone: Athens change

Tue 17 Mar
Displayed time zone: Athens change

Wed 18 Mar
Displayed time zone: Athens change

Thu 19 Mar
Displayed time zone: Athens change

Fri 20 Mar
Displayed time zone: Athens change

Tue 17 Mar
Displayed time zone: Athens change

Wed 18 Mar
Displayed time zone: Athens change

Thu 19 Mar
Displayed time zone: Athens change

Fri 20 Mar
Displayed time zone: Athens change

Tue 17 Mar
Displayed time zone: Athens change

Wed 18 Mar
Displayed time zone: Athens change

Thu 19 Mar
Displayed time zone: Athens change

Fri 20 Mar
Displayed time zone: Athens change