Programme
Programme of main conferences from Monday to Thursday. Best Paper candidates are highlighted in yellow and by asterisk.
Monday 08 April
08:45
Opening
Room: Europe A
09:00
Lars Birkedal: Higher-Order Probabilistic Relational Separation Logic (unifying speaker)
Chair: Ana Cavalcanti
Room: Europe A
10:00
Coffee break
Room: Europe C
TACAS: SAT and SMT
Chair: Laura Kovács
Room: Hollenfels
10:30
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike and John Backes
11:00
Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondrej Lengal and Juraj Síč
11:30
Hari Govind Vediramana Krishnan, Isabel Garcia-Contreras, Sharon Shoham and Arie Gurfinkel
TACAS: Synthesis
Chair: Bernd Finkbeiner
Room: Diekirch-Echternach-Fischbach
11:30
S. Akshay, Eliyahu Basa, Dror Fried and Supratik Chakraborty
12:00
Aditi Kabra, Jonathan Laurent, Stefan Mitsch and André Platzer
FASE: Runtime Approaches
Chair: Reiner Hähnle
Room: Schengen II
10:30
Lucas Sakizloglou, Holger Giese, and Leen Lambers
11:00
Yliès Falcone, Gwen Salaün, and Ahang Zuo
11:30
He Xu, Sven Schneider, and Holger Giese
12:00
Geunyeol Yu, Seunghyun Chae, Kyungmin Bae, and Sungkun Moon
Rust
Room: Schengen I
10:30
Tree Borrows
Neven Villani, Johannes Hostert, Ralf Jung and Derek Dreyer
11:00
Aeneas: Rust Verification by Functional Translation
Son Ho, Jonathan Protzenko and Aymeric Fromherz
11:30
Contracts for Rust
Felix Klock and Celina Val
12:00
Building User-Friendly Rust Verification Tools
Federico Poli
12:30
Lunch
Room: Europe B
TACAS: Proof Checking
Chair: Marijn Heule
Room: Hollenfels
14:00
Hanna Lachnitt, Cesare Tinelli, Andrew Reynolds, Andres Noetzli, Haniel Barbosa, Leni Aniva, Clark Barrett and Mathias Fleury
14:30
Loïc Correnson, Allan Blanchard, Adel Djoudi and Nikolai Kosmatov
15:00
Thibault Hilaire, David Ilcinkas and Jérôme Leroux
15:30
Nishant Rodrigues, Mircea Sebe, Xiaohong Chen and Grigore Rosu
FASE: System Comprehension
Chair: Andrzej Wąsowski
Room: Schengen II
14:30
Jan H. Boockmann, and Gerald Luettgen
15:00
Liushan Chen, Yu Pei, Mingyang Wan, Zhihui Fei, Tao Liang, and Guojun Ma
15:30
Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, and Zhiping Shi
Rust
Room: Schengen I
14:00
Verifiying a Concurrent Memory Allocator with Verus
Travis Hance
14:30
Efficiently Verifying Rust Traits with SMT Solvers
Chris Hawblitzel
15:00
OxiDD: Verification Challenge
Nils Husung, Clemens Dubslaff and Maximilian Alexander Köhl
15:30
Rust Verification Workshop Proposal: Crowdsourcing the Rust standard library verification
Celina G. Val and Rahul Kumar
Competition of Software Verification (SV-COMP)
Chair: Dirk Beyer
Room: Diekirch-Echternach-Fischbach
14:00
Introduction to SV-COMP
Dirk Beyer
14:25
Bubaak (Marek Chalupa), Bubaak-SpLit (Cedric Richter), ConcurrentWitness2Test (Levente Bajczi), CPAchecker (Daniel Baier), CPV (Po-Chun Chien)
14:45
EmergenTheta (Zsófia Ádám), ESBMC (Rafael Sá Menezes), Goblint (Michael Schwarz), Goblint Validator (Simmo Saan)
15:00
Korn (Gidon Ernst), LIV (Marian Lingsch-Rosenfeld), Mopsa (Raphaël Monat), PredatorHP (Veronika Šoková), PROTON (Ravindra Metta), SWAT (Nils Loose), Symbiotic (Jan Strejček), Theta (Csanád Telbisz)
15:30
UAutomizer (Matthias Heizmann), UGemCutter (Dominik Klumpp), UKojak (Frank Schüssele), VeriAbsL (Priyanka Darke), Witch 3 (Paulína Ayaziová), WitnessLint (Marian Lingsch-Rosenfeld)
Diversity & Inclusion
Chair: Peter Roenne
Room: Europe A
14:00
Why do we talk about Equality and Diversity in research?
Inês Crisóstomo
14:10
The Computer Girls: Exploring Herstory
Valérie Schafer
14:50
Building an Inclusive Researcher Journey
Véronique Schlick
15:00
Interactive session and discussion
16:00
Coffee break
Room: Europe C
TACAS: Logic and Decidability
Chair: Sebastian Junges
Room: Hollenfels
16:30
Lukas Westhofen, Christian Neurohr, Daniel Neider and Jean Christoph Jung
17:00
Tomáš Dacík, Adam Rogalewicz, Tomáš Vojnar and Florian Zuleger
Invited Tutorial
Chair: Marieke Huisman
Room: Europe A
Rust
Room: Schengen I
16:30
Panel Discussion / Lightning Talks
Competition of Software Verification (SV-COMP)
Chair: Dirk Beyer
Room: Diekirch-Echternach-Fischbach
16:30
Open SV-COMP Community Meeting