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
Room: MDCL 1305
09:00
Ina Schaefer: Correctness-by-Construction—Past, Present and Future (unifying speaker)
Chair: Delia Kesner
Room: MDCL 1305
10:00
Coffee Break
Room: MDCL
FASE: AI and Software Quality
Chair: Gordon Fraser
Room: MDCL 1309
10:30
Welcome to FASE 2025
Gordon Fraser, Artur Boronat
10:45
Xie Li, Zhaoyue Yuan, Zhenduo Zhang, Youcheng Sun and Lijun Zhang
11:00
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
Raffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh, Nan Jia and Anita Raja
TACAS: Program Analysis
Chair: Dirk Beyer
Room: MDCL 1102
10:30
Wenhua Li, Quang Loc Le, Yahui Song and Wei-Ngan Chin
11:00
Levente Bajczi, Csanád Telbisz, Dániel Szekeres and András Vörös
11:30
Roy Yatskan, Ilia Shevrin and Shahar Maoz
12:00
Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber and Tobias Wagenpfeil
FOSSACS: Games and Logics
Chair: Lutz Schröder
Room: MDCL 1105
11:00
Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam and Anne-Kathrin Schmuck
11:30
Kevin Batz, Joost-Pieter Katoen and Nora Orhan
12:00
Esaïe Bauer and Alexis Saurin
RUST WORKSHOP
Room: MDCL 1009
10:30
Charon: An Analysis Framework for Rust
Son Ho, Guillaume Boisseau, Lucas Franceschino, Yoann Prak, Aymeric Fromherz and Jonathan Protzenko
11:00
BorrowSanitizer
Ian McCormack, Oliver Braunsdorf, Johannes Kinder, Jonathan Aldrich and Joshua Sunshine
11:30
Tool Demo: Toward Unbounded Proof with Kani Loop Contracts
Qinheping Hu, Michael Tautschnig, Remi Delmas and Celina Val
12:00
Bounded Model Checking for Rust
Siddharth Priya, Joseph Tafese and Arie Gurfinkel
12:30
Lunch
Room: CIBC Hall & Foyer
TACAS: ATP & Rewriting
Chair: Xujie Si
Room: MDCL 1102
14:00
Lydia Kondylidou, Andrew Reynolds and Jasmin Blanchette
14:30
Leni Aniva, Chuyue Sun, Brando Miranda, Clark Barrett and Sanmi Koyejo
15:00
Jonas Schöpf and Aart Middeldorp
FOSSACS: Bisimulations
Chair: César Sánchez
Room: MDCL 1105
14:30
Linan Chen, Florence Clerc and Prakash Panangaden
15:00
Marco Bernardo, Andrea Esposito and Claudio Antares Mezzina
15:30
Pedro Nora, Jurriaan Rot, Lutz Schröder and Paul Wild
SV-COMP
Chair: Dirk Beyer
Room: MDCL 1008
14:00
SV-COMP Presentations
Diversity & Inclusion
Chair: Mark Lawford
Room: MDCL 1016
14:00
Embedding EDI in Research—and in Ourselves: Lessons in Leadership and Belonging
Prof. Sarah Dickson-Anderson, Associate Dean (Undergraduate), Faculty of Engineering, McMaster University
14:30
Innovation Needs All Perspectives: Why Diversity Matters in the Future of Mobility
Sahar Kokaly, Ph.D., P.Eng., Software Engineering Manager ADAS Software Safety, CTC Academic and Scientific Partnerships Manager, General Motors
15:00
The Art of Saying Nothing: Mastering the Empty Diversity & Inclusion Statement – A Reviewer's Perspective
Sébastien Mosser, PEng, PhD, Associate Chair, Dept. of Computing and Software, McMaster University
15:30
Panel Discussion and Q&A
RUST WORKSHOP
Room: MDCL 1009
14:30
Writing safe specifications for unsafe implementations in Verus
Travis Hance
15:00
Give your Rust a Koat - Towards Symbolic Execution of Rust code via Stable MIR
Jost Berthold and Daniel Cumming
15:30
Transitioning Production Software Verification to Verus: An Experience Report
Daniel Schoepe and Marianna Rapoport
16:00
Coffee Break
Room: MDCL
TACAS: Model checking
Chair: Kristin Yvonne Rozier
Room: MDCL 1102
16:30
Nicolaj Østerby Jensen, Jiri Srba and Kim Guldstrand Larsen
17:00
Anna Stramaglia, Jeroen J. A. Keiren, Maurice Laveaux and Tim A. C. Willemse
17:30
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger and Patrick Wienhöft
Suguman Bansal (Invited Tutorial)
Chair: Claudio Menghi
Room: MDCL 1305
SV-COMP
Chair: Dirk Beyer
Room: MDCL 1008
16:30
SV-COMP Community Meeting
RUST WORKSHOP
Room: MDCL 1009
16:30
Lightning Talks
various
18:30
Welcome Reception
Room: Alumni Memorial Hall