Programme
Programme of main conferences from Monday to Thursday. Distinguished papers are highlighted in yellow and by asterisk.
Tuesday 06 May
09:00
José Meseguer: Capturing System Designs with Formal Executable Specifications (FASE invited speaker)
Chair: Artur Boronat
Room: MDCL 1305
10:00
Coffee Break
Room: MDCL
TACAS: LTL
Chair: Sebastian Junges
Room: MDCL 1102
10:30
Zili Wang, Katherine Kosaian and Kristin Yvonne Rozier
11:00
Jan Kretinsky, Tobias Meggendorfer, Maximilian Prokop and Ashkan Zarkhah
11:30
Prince Mathew, Vincent Penelle and A V Sreejith
12:00
Shufang Zhu and Marco Favorito
12:15
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi and N. Ege Saraç
ESOP: Types
Chair: Viktor Vafeiadis
Room: MDCL 1305
11:00
Wenjia Ye, Matías Toro, Claudio Gutierrez, Bruno C. D. S. Oliveira and Éric Tanter
11:30
Yaozhu Sun and Bruno C. D. S. Oliveira
FASE: MDE
Chair: Artur Boronat
Room: MDCL 1309
10:30
Mahboubeh Samadi, Aryan Bastany and Hossein Hojjat
11:00
Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen and Andrzej Wasowski
11:30
James Baxter, Bert van Acker, Morten Kristensen, Thomas Wright, Ana Cavalcanti and Cláudio Gomes
12:00
Holly Hendry, Ana Cavalcanti, Cade McCall and Mark Chattington
FOSSACS: Semantics
Chair: Petr Jančar
Room: MDCL 1105
11:00
Bálint Kocsis and Jurriaan Rot
11:30
Daniel Gratzer, Mathias Adam Møller and Lars Birkedal
12:00
Filippo Bonchi, Alessandro Di Giorgio and Elena Di Lavore
RUST WORKSHOP
Room: MDCL 1009
10:30
Using Rust and Verus for Development of Verified Operating Systems
Xiangdong Chen, Zhaofeng Li, Jerry Zhang and Anton Burtsev
11:00
VTock: Retrofitting automatic verification to a production microcontroller OS
Vivien Rindisbacher, Evan Johnson, Nico Lehmann, Ranjit Jhala and Deian Stefan
11:30
Vest: A Case Study of Verifying Performant, Higher-Order Rust Programs in Verus
Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich and Bryan Parno
12:00
Verification of Cryptographic Implementations in Lean with Aeneas
Son Ho, Aymeric Fromherz and Jonathan Protzenko
12:30
Lunch
Room: CIBC Hall & Foyer
TACAS: Verification I
Chair: Florian Zuleger
Room: MDCL 1102
14:00
Daniela Kaufmann and Jérémy Berthomieu
14:30
Liron Cohen, Reuben Rowe and Matan Shaked
15:00
Raz Lotan and Sharon Shoham
15:30
Zhouxing Shi, Qirui Jin, Zico Kolter, Suman Jana, Cho-Jui Hsieh and Huan Zhang
ESOP: Static Analysis
Chair: Ori Lahav
Room: MDCL 1305
14:00
Roméo La Spina, Delphine Demange and Sandrine Blazy
14:30
Amir Goharshady, S. Hitarth and Sergei Novozhilov
15:30
Jérôme Boillot and Jérôme Feret
FASE: Fundamentals
Chair: Mahsa Varshosaz
Room: MDCL 1309
14:30
Axel Ferréol, Laurent Corbin and Nikolai Kosmatov
RUST WORKSHOP
Room: MDCL 1009
14:30
Verifying the Rust Standard Library
Carolyn Zech, Celina Val and Rahul Kumar
15:00
Initial Steps Toward Verifying the Rust Standard Library Using Verus
Elanor Tang, Travis Hance and Bryan Parno
15:30
Open Discussion
Ask-me-anything
Room: MDCL 1008
14:00
The Future of Conferences with Laura Kovacs and Marie Farrell
Host: Sebastian Junges
15:00
Software Liability, Legislation, AI Act, What Does It Mean For Us with Holger Hermanns and Tiziana Margaria
Host: Elizabeth Polgreen
16:00
Coffee Break
Room: MDCL
TACAS: SAT/SMT
Chair: Clark Barrett
Room: MDCL 1102
16:30
Mazigh Saoudi, Souheib Baarir, Julien Sopena and Thibault Lejemble
17:00
David Chocholatý, Vojtěch Havlena, Lukáš Holík, Jan Hranička, Ondrej Lengal and Juraj Síč
17:30
Daimy Van Caudenberg, Bart Bogaerts and Leandro Vendramin
Arun Ross (Invited Tutorial)
Chair: Marieke Huisman
Room: MDCL 1305
RUST WORKSHOP
Room: MDCL 1009
16:30
Discussion