Programme
Programme of main conferences from Monday to Thursday. Distinguished papers are highlighted in yellow and by asterisk.
Monday 05 May
08:45
ETAPS Opening
10:00
Coffee Break
FASE: AI and Software Quality
Room:
10:30
Welcome to FASE 2025
Gordon Fraser, Artur Boronat
10:45
Towards Large Language Model Guided Kernel Direct Fuzzing
Xie Li, Zhaoyue Yuan, Zhenduo Zhang, Youcheng Sun and Lijun Zhang
11:00
DeepCRCEval: Revisiting the Evaluation of Code Review Comment Generation
Junyi Lu, Xiaojia Li, Zihan Hua, Lei Yu, Shiqi Chen, Li Yang, Fengjun Zhang and Chun Zuo
11:30
VOCE: A Virtual On-Call Engineer for Automated Alert Incident Analysis Using a Large Language Model*
Jia Chen, Xiao Lei Chen, Jie Shi, Peng Wang and Wei Wang
12:00
Hybridize Functions: A Tool for Automatically Refactoring Imperative Deep Learning Programs to Graph Execution*
Raffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh, Nan Jia and Anita Raja
TACAS: Program Analysis
Room:
10:30
Inferring Incorrectness Specifications for Object-Oriented Programs
Wenhua Li, Quang Loc Le, Yahui Song and Wei-Ngan Chin
11:00
On Stability in a Happens-Before Propagator for Concurrent Programs (Reproducibility Study)
Levente Bajczi, Csanád Telbisz, Dániel Szekeres and András Vörös
11:30
Performance Heuristics for GR(1) Realizability Checking and Related Analyses
Roy Yatskan, Ilia Shevrin and Shahar Maoz
12:00
Stream-Based Monitoring of Algorithmic Fairness
Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber and Tobias Wagenpfeil
FOSSACS: Games and Logics
Room:
10:30
Complementation of Emerson-Lei Automata
Vojtěch Havlena, Ondrej Lengal and Barbora Šmahlíková
11:00
Fair Quantitative Games (Quantitative Games)
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam and Anne-Kathrin Schmuck
11:30
Quantifier Elimination and Craig Interpolation: The Quantitative Way
Kevin Batz, Joost-Pieter Katoen and Nora Orhan
12:00
On the cut-elimination of the modal mu-calculus: Linear Logic to the rescue (Logic)
Esaïe Bauer and Alexis Saurin
RUST WORKSHOP: None
Rust Workshop
Room:
10:30
12:30
Lunch
TACAS: ATP & Rewriting
Room:
14:00
Augmenting Model-Based Instantiation with Fast Enumeration
Lydia Kondylidou, Andrew Reynolds and Jasmin Blanchette
14:30
Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
Leni Aniva, Chuyue Sun, Brando Miranda, Clark Barrett and Sanmi Koyejo
15:00
Automated Analysis of Logically Constrained Rewrite Systems using crest
Jonas Schöpf and Aart Middeldorp
15:30
Multiparty Session Typing, Embedded
Sung-Shik Jongmans
RUST WORKSHOP: None
Room:
14:00
FOSSACS: Bisimulations
Room:
14:00
A General Completeness Theorem for Skip-free Star Algebras
Tobias Kappé and Todd Schmid
14:30
A behavioural pseudometric for continuous-time Markov processes*
Linan Chen, Florence Clerc and Prakash Panangaden
15:00
Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets
Marco Bernardo, Andrea Esposito and Claudio Antares Mezzina
15:30
Relational Connectors and Heterogeneous Simulations
Pedro Nora, Jurriaan Rot, Lutz Schröder and Paul Wild
Diversity & inclusion
Chair:
Room:
14:00
SVComp
Chair:
Room:
14:00
16:00
Coffee Break
TACAS: Model checking
Room:
16:30
Token Elimination in Model Checking of Petri Nets
Nicolaj Østerby Jensen, Jiri Srba and Kim Guldstrand Larsen
17:00
Efficient Evidence Generation for Modal μ-Calculus Model Checking
Anna Stramaglia, Jeroen J. A. Keiren, Maurice Laveaux and Tim A. C. Willemse
17:30
Sound Statistical Model Checking for Probabilities and Expected Rewards*
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger and Patrick Wienhöft
Suguman Bansal (Invited Tutorial)
Chair:
Room:
SVComp
Chair:
Room:
16:30
RUST WORKSHOP: None
Room:
16:30