Programme
Programme of main conferences from Monday to Thursday. Distinguished papers are highlighted in yellow and by asterisk.
Wednesday 15 April
09:00
Monika Henzinger: Guarding Privacy Over Time: Challenges and Solutions in Continuous Data Observation
Chair: Guy Katz
Room: Sala 500
10:00
Coffee Break
Room: Expo Area
TACAS: Automata
Chair: Roderick Bloem
Room: Sala 500
10:30
Kyveli Doveri, Pierre Ganty and B Srivathsan.
11:10
Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klüppelholz, Ali Mirzaei, Satya Prakash Nayak and Anne-Kathrin Schmuck.
11:30
Gabriel Bathie, Nathanaël Fijalkow, Théo Matricon, Baptiste Mouillon and Pierre Vandenhove.
11:50
Jan J.M. Martens and Maurice Laveaux.
12:10
Hsi-Ming Ho, S Krishna, Khushraj Madnani, Rupak Majumdar and Paritosh Pandya.
ESOP: Verification
Chair: Nils Lommen
Room: Sala Berlino
10:30
Liyi Li, Anshu Sharma, Zoukarneini Difaizi Tagba, Sean Frett and Alex Potanin.
10:50
Cheng Zhang, Qiancheng Fu, Hang Ji, Ines Del Valle, Alexandra Silva and Marco Gaboardi.
11:10
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg and Tobias Winkler.
11:30
Philipp Schröer, Darion Haase and Joost-Pieter Katoen.
12:10
Rafael Gonçalves, Frederico Ramos, Pedro Adão and José Fragoso Santos.
FOSSACS: Lambda-Calculus, Program Semantics, Infinite Structures
Chair: Barbara König
Room: Sala Londra
10:30
Adrienne Lancelot, Giulio Manzonetto, Guy McCusker and Gabriele Vanoni.
11:10
Xiaohong Chen, Horatiu Cheval, Dorel Lucanu and Grigore Rosu
11:30
Marco Campion, Isabella Mastroeni, Michele Pasqua and Caterina Urban.
11:50
Annabelle McIver, Natasha Fernandes and Parastoo Sadeghi.
12:10
Aidan Healy and Bartek Klin.
SPIN
Chair: Carlos E. Budde
Room: Sala Parigi
10:30
Invited talk: (Working) Principles and (Open) Challenges in Automated Floating-Point Verification
Eva Darulova
11:30
Control Sensitive Reachability Analysis of Upper-Stack Manipulating Binary Code
Shijie Lin and Tayssir Touilli.
12:00
Visualising CTL witnesses and counterexamples
Arend Rensink (12:00)
Industry Day
Chair: Andrea Basso
Room: Sala Madrid
10:30
SPARK - Latest Industrial Challenges and Feature Development
Invited talk: Claire Dross (AdaCore)
11:10
Formal Methods at OCamlPro: SMT Solving with Alt-Ergo and Symbolic Execution with Owi
Hichem Rami Ait-El-Hara (OCamlPro)
11:30
Towards Sustainable Industrial Use of Formal Verification for Security Certification
Adel Djoudi (Thales) and Nikolai Kosmatov (Thales)
11:50
Semi-Formal Accuracy Analysis of an Industrial Path Computation Algorithm
Franck Vedrine (CEA List), Grégoire Boussu (Thales), Nikolai Kosmatov (Thales) and Bruno Lathuilière (EDF)
12:10
Precomputation: A New Era in Multi-Stage Programming
Seyed Hossein Haeri (Entropy Software Foundation)
12:30
Lunch Break
Room: Expo Area
13:00
ETAPS General Assembly
Chair: Laua Kovács
Room: Sala 500
Industry Day
Chair: Claire Dross
Room: Sala Madrid
14:00
Lean: A Unified Platform for Verification, Programming, and AI
Invited talk: Leonardo de Moura (AWS)
14:40
Check Adherence to Model in Modular and Distributed Cyber-Physical Production Systems
Abdelaziz Ouazzani Chahidi (Agnostic Production Systems), Hasnaa Ait Malek (Agnostic Production Systems), Maxime Morin (Agnostic Production Systems), Nicolas Navarro (Agnostic Production Systems), Darine Rammal (CEA List), Christophe Gaston (CEA List) and Arnault Lapitre (CEA List)
15:00
Semantics-Based Real-Time Verification for Web3
Grigore Rosu (Pi Squared), Dorel Lucanu (Pi Squared) and Xiaohong Chen (Pi Squared)
15:20
Industrial Orchestration of Testing Tools with SeaCoral
Nicolas Berthier (OCamlPro), Steven De Oliveira (OCamlPro), Nikolai Kosmatov (Thales) and Delphine Longuet (Thales)
15:40
On the Lookout for a “Bisimulation” Relation between Trace Sets for Early Design Evaluations
Gurvan Le Guernic (DGA)
Invited Tutorial
Chair: Corina Păsăreanu
Room: Sala 500
15:30
15:30: Tool Demos and Posters (with Coffee Break)
Chairs: Jan Kofron and Laura Kovács
16:00
Coffee Break with Tool Demos and Posters
Chairs: Jan Kofron and Laura Kovács
Room: Expo Area
ESOP: Types
Chair: Stephanie Balzer
Room: Sala Berlino
16:50
Martin Baillon, Assia Mahboubi and Pierre-Marie Pédrot.
17:10
Pedro Ângelo, Atsushi Igarashi, Yuito Murase and Vasco T. Vasconcelos.
17:30
Patrycja Balik, Szymon Jędras and Piotr Polesiuk.
17:50
Hasti Toossi and Ningning Xie.
18:10
Lydia Zoghbi, David Thien, Ranjit Jhala, Deian Stefan and Caleb Stanford.
18:20
Mathis Bouverot-Dupuis and Yannick Forster.
TACAS: Static Analysis & Program Verification
Chair: Raz Lotan
Room: Sala 500
16:30
Makoto Hamana and Kento Emoto
16:50
Florian Frohn, Jürgen Giesl, Peter Giesl and Nils Lommen.
17:10
Sadra Bayat Tork, Nicholas Coughlin, Alicia Michael, James Tobler and Kirsten Winter
17:30
Rachel Cleaveland and Clark Barrett.
17:50
Nat Karmios, Sacha-Elie Ayoun and Philippa Gardner.
18:10
Ali Rasim Kocal, Michael Schwarz, Simmo Saan and Helmut Seidl
Industry Day
Chair: Nikolai Kosmatov
Room: Sala Madrid
16:30
From Software Engineering to AI Engineering: Bridging the Research-Industry Gap in the Age of Intelligent Systems
Invited talk: Andrea Basso (Swiss Federal Institute of Technology, EPFL and Stanford University)
17:10
Toward a scalable methodology for Automating Safety Analysis
Stefano Minopoli (Collins Aerospace)
17:30
HPC4AI and Industry: Research Projects and Real-World Applications
Doriana Medic (Univ; of Turin) and Marco Aldinucci (Univ; of Turin)
SPIN
Chair: Matthias Volk
Room: Sala Parigi
16:30
Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
Joanna Delicaris, Erika Abraham and Anne Remke.
17:00
Model Checking of State Based Randomized Systems using Probabilistic Process Algebraic Tools
Shounak Saha and Arpit Sharma. (17:00)
19:00
ETAPS Banquet
Room: Giardino Delle Meraviglie