Programme
Programme of main conferences from Monday to Thursday. Best Paper candidates are highlighted in yellow and by asterisk.
Thursday 11 April
09:00
Ruzica Piskac (TACAS invited speaker)
Chair: Laura Kovacs
Room: Europe A
10:00
Coffee Break
Room: Europe C
TACAS: Testing and Verification
Chair: Ruzica Piskac
Room: Hollenfels
10:30
Lars B. van den Haak, Anton Wijs, Marieke Huisman and Mark van den Brand
11:00
Martin Jonáš, Jan Strejček, Marek Trtík and Lukáš Urban
11:30
Anna Blume Jakobsen, Rasmus Skibdahl Melanchton Jorgensen, Andreas Pavlogiannis and Jaco van de Pol
12:00
Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee and Nils Sirrenberg
ESOP: Verification and Analysis
Chair: Ori Lahav
Room: Schengen II
10:30
Hrutvik Kanabar, Kacper Korban and Magnus O. Myreen
11:00
Sumanth Prabhu, Grigory Fedyukovich and Deepak D'Souza
12:00
Daniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson and David Broman
FoSSaCS: Logic and Proofs
Chair: Ichiro Hasuo
Room: Diekirch-Echternach-Fischbach
10:30
Luca Geatti, Alessio Mansutti and Angelo Montanari
11:00
Philipp Czerner, Javier Esparza and Valentin Krasotin
Spin: Verification Tools
Chair: Matthias Heizmann
Room: Schengen I
10:30
Learning the State Machine Behind a Modal Text Editor: The (Neo)Vim Case Study
Pierre Ganty
11:00
Tolerange: Quantifying Fault Masking in Stochastic Systems
Luciano Putruele, Ramiro Demasi, Pablo Castro and Pedro D'Argenio
11:30
Software Verification Witnesses 2.0
Paulína Ayaziová, Dirk Beyer, Marian Lingsch-Rosenfeld, Martin Spiessl and Jan Strejček
12:00
Fault Localization on Verification Witnesses*
Dirk Beyer, Matthias Kettl and Thomas Lemberger
12:30
Lunch
Room: Europe B
TACAS: Games
Chair: Bernd Finkbeiner
Room: Hollenfels
14:30
Satya Prakash Nayak and Anne-Kathrin Schmuck
15:00
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci and Jaco van de Pol
ESOP: Verification
Chair: Luis Caires
Room: Schengen II
14:30
Léo Stefanesco, Azalea Raad and Viktor Vafeiadis
15:00
Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer and Brijesh Dongol
15:30
Shachar Itzhaky, Sharon Shoham and Yakir Vizel
FoSSaCS: Infinite-State Systems
Chair:: Jerome Leroux
Room: Diekirch-Echternach-Fischbach
14:00
Andrei Draghici, Christoph Haase and Andrew Ryzhikov
14:30
Jan-Christoph Kassing, Florian Frohn and Jürgen Giesl
15:00
Shaull Almagor, Guy Avni, Henry Sinclair-Banks and Asaf Yeshurun
15:30
Lucie Guillou, Corto Mascle and Nicolas Waldburger
Spin: Model Checking
Chair: Anton Wijs
Room: Ansembourg
14:00
MoXI: An Intermediate Language for Symbolic Model Checking (keynote)
Kristin Yvonne Rozier
15:00
Synchronisation in Language-level Symmetry Reduction for Probabilistic Model Checking
Ivaylo Valkov, Alastair Donaldson and Alice Miller
15:30
A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
Daisuke Ishii
Award Winner Presentations
Chair: Marieke Huisman
Room: Europe A
14:00
Doctoral Dissertation Award
Yotam Feldman: Towards a Theory of Learning Inductive Invariants
14:30
Test Of Time Award
Luca Cardelli and Andrew D. Gordon: Mobile Ambients
15:00
Test-Of-Time Tool Award
Marta Kwiatkowska, Gethin Norman, and David Parker: PRISM
15:30
Artifact Evaluation Report & Awards
Arnd Hartmanns, Hadar Frenkel, and Tobias Kappé
16:00
Coffee break
Room: Europe C
TACAS: Concurrency
Chair: Hadar Frenkel
Room: Hollenfels
16:30
Florian Furbach, Parosh Aziz Abdulla, Mohamed Faouzi Atig and Shashwat Garg
17:00
Nils Husung, Clemens Dubslaff, Holger Hermanns and Maximilian Alexander Köhl
17:30
Abhishek Kr Singh and Ori Lahav
ESOP: Abstract Interpretation
Chair: Thomas Wies
Room: Schengen II
16:30
Sven Keidel, Dominik Helm, Tobias Roth and Mira Mezini
17:00
Raphaël Monat, Aymeric Fromherz and Denis Merigoux
17:30
Pierre Lermusiaux and Benoit Montagu
Competition on Software Testing (Test-Comp)
Chair: Dirk Beyer
Room: Schengen I
16:30
Introduction to Test-Comp
Dirk Beyer
16:50
CoVeriTest (Marie-Christine Jakobs), ESBMC (Rafael Sá Menezes), FuSeBMC (Rafael Sá Menezes), Fizzer (Lukáš Urban), Utestgen (Max Barth)
17:40
Discussion