Program - ASE 2026

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Mon 12 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00	RASE OpeningRASE at Forum 15 Chair(s): RASE Chairs and AI4I-IAS (Valeria Morra)

09:00 15m Day opening		Workshop Opening RASE
09:15 45m Keynote		Combining Large-Scale Datasets, Program Analysis, and AI for Reliable and Trustworthy Software Analysis: Lessons from Android Apps RASE Jacques Klein University of Luxembourg

10:30 - 12:30	RASE Session 1 - Building Trust in AI-Driven Software EngineeringRASE at Forum 15

10:30 15m Paper		Toward Defensible System Behavior for AI-Generated Software Artifacts RASE Radoslaw Klimek AGH University of Krakow
10:45 20m Paper		TaxVerif: Verification-Oriented COBOL Tax-Code Migration via Invariant Extraction and Semantic Validation RASE Vadim Tynchenko Bauman Moscow State Technical University, Igor Masich Bauman Moscow State Technical University, Dmitry Martysyuk Bauman Moscow State Technical University, Yury Kostromin Bauman Moscow State Technical University, Aleksei Borodulin Bauman Moscow State Technical University, Ivan Malashin Bauman Moscow State Technical University, Vladimir Nelyub Bauman Moscow State Technical University, Andrei Gantimurov Bauman Moscow State Technical University
11:05 15m Paper		NORMA: Automated AI Act Compliance Assessment for AI Training Datasets RASE Elisabetta Arba Sapienza Università di Roma, Allegra Berardi Sapienza Università di Roma, Bedilia Estrada Torres University of Seville, Francesco Leotta Dipartimento di Informatica e Sistemistica (DIS) "A. Ruberti", Univerità "Sapienza" Roma, Flavia Monti Sapienza Università di Roma, Rome, Italy, Massimo Mecella Università di Roma Sapienza
11:20 20m Paper		Can We Trust Strong Teachers? Auditing Knowledge Distillation for Binary Code Similarity Detection RASE Minh Khang Van LMU Munich, Yunru Wang LMU Munich, Johannes Kinder LMU Munich
11:40 15m Paper		Whose Specification Did You Test? The Hidden Interpretation Bias in LLM-Generated Test Suites RASE Md Mainul Islam United International University, Dhaka, Bangladesh DOI
11:55 20m Paper		How Grammar-Based Synthetic Data Shapes Behavior Learning: An Empirical Study of Input Generation Strategies RASE Tural Mammadov CISPA Helmholtz Center for Information Security; Saarland University, Alireza Kheradmand CISPA Helmholtz Center for Information Security, Marius Smytzek CISPA Helmholtz Center for Information Security; Saarland University, Andreas Zeller CISPA Helmholtz Center for Information Security

14:00 - 16:00	RASE Session 2 - Software Assurance: Governance, Security, and DependabilityRASE at Forum 15

14:00 20m Paper		Software Engineering Governance: Foundations for Trustworthy Automated Software Engineering RASE Carlos Mario Braga Ortuño Universidad de Castilla-La Mancha, Manuel Serrano University of Castilla-La Mancha, Eduardo Fernandez-Medina Universidad de Castilla La Mancha
14:20 15m Paper		HermesAngler: Enabling Dynamic Instrumentation of iOS React Native Apps RASE Martin Renze Fraunhofer SIT \| ATHENE, Fabian Scherf Fraunhofer SIT \| ATHENE
14:35 15m Paper		Formal Analysis of Software Bills of Materials with Alloy RASE Sabato Nocera University of Salerno, Giuseppe Scanniello University of Salerno Link to publication DOI
14:50 20m Paper		Minimizing Vulnerability Prevalence in Maven Dependencies via Answer Set Programming RASE Christian Macho University of Klagenfurt, Laura Hofer University of Klagenfurt, Martin Pinzger Universität Klagenfurt
15:10 15m Paper		When Log Parsing Removes What Matters: Detecting Failures in Distributed GPU Workloads RASE Boyuan Cui University of Toronto, Yuyang Zeng University of Toronto, Yifang Tian University of Toronto, Hans-Arno Jacobsen University of Toronto
15:25 20m Paper		When Do Inference-Cost Stress Tests Generalize? A Cross-Model and Cross-Configuration Measurement Study RASE Arman Chhetri Rochester Institute of Technology, Yinxi Liu Rochester Institute of Technology

16:30 - 17:30	RASE ClosingRASE at Forum 15 RASE (Fishbowl) Panel on “Reliable and trustworthy Automated Software Engineering” Panelists: Leonardo Regano, Aldeida Aleti, Jacques Klein, Flavia Monti Chairs: Gregorio Dalia & Sebastiano Panichella

16:30 50m Panel		Discussion Panel RASE
17:20 10m Awards		Awards & Workshop Closing - chaired by RASE Chairs and AI4I-IAS (Valeria Morra) RASE

RASE 2026 Program

Mon 12 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

RASE 2026 Program

Switch Program View

Program Display Configuration

Mon 12 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Mon 12 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change