Programme
Programme of main conferences from Monday to Thursday. Distinguished papers are highlighted in yellow and by asterisk.
Thursday 08 May
09:00
Matt Dwyer: Leveraging Abstractions for Validation of Machine Learning Models (unifying speaker)
Chair: Marijn Heule
Room: MDCL 1305
10:00
Coffee Break
Room: MDCL
TACAS: Games
Chair: Jie-Hong Roland Jiang
Room: MDCL 1102
10:30
Chenxi Ji, Huan Zhang and Sayan Mitra
11:00
Yoav Feisntein, Orna Kupferman and Noam Shenwald
11:30
Michaël Cadilhac, Antonio Casares and Pierre Ohlmann
12:00
Rafael Gonçalves, Filipe Gouveia, Inês Lynce and José Fragoso Santos
ESOP: Probabilistic Programming
Chair: Viktor Vafeiadis
Room: MDCL 1305
10:30
Rongen Lin, Hongjin Liang and Xinyu Feng
11:00
Weijie Fan, Hongjin Liang, Xinyu Feng and Hanru Jiang
11:30
Claudia Faggian, Thomas Ehrhard and Michele Pagani
12:00
Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva and Fabio Zanasi
SPIN
Room: MDCL 1009
10:30
Growing an ω-automata library
Alexandre Duret-Lutz
11:30
Resilience through Automated Adaptive Configuration for Distribution and Replication
Scott Stoller, Balaji Jayasankar and Yanhong A. Liu
12:00
An Efficient and Versatile Approach to Shortest Path Problems in Interprocedural Programs
Theo De Castro Pinto, Antoine Rollet and Grégoire Sutre
12:30
Lunch
Room: CIBC Hall & Foyer
TACAS: Verification II
Chair: Marijn Heule
Room: MDCL 1102
14:00
Nikolaus Huber, Naomi Spargo, Nicolas Osborne, Samuel Hym and Jan Midtgaard
14:30
Shabnam Ghasemirad, Christoph Sprenger, Si Liu, Luca Multazzu and David Basin
15:00
Michael Blondin, Michaël Cadilhac, Xin-Yi Cui, Philipp Czerner, Javier Esparza and Jakob Schulz
15:30
Yannik Schnitzer, Alessandro Abate and David Parker
ESOP: Verification
Chair: Viktor Vafeiadis
Room: MDCL 1305
14:00
Florian Sextl, Adam Rogalewicz, Tomáš Vojnar and Florian Zuleger.
14:30
Pierre Goutagny, Aymeric Fromherz and Raphaël Monat
15:00
Andrei Paskevich, Paul Patault and Jean-Christophe Filliâtre
15:30
Joseph Bond, Cristina David, Minh Nguyen, Dominic Orchard and Roly Perera
SPIN
Room: MDCL 1009
14:00
On-the-fly Cone-of-Influence Reduction for Model Checking Concurrent Software
Csanád Telbisz, Levente Bajczi, Dániel Szekeres and András Vörös
14:30
Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread Schedules
Filip Kliber and Pavel Parizek
15:00
Presentation of the results of CHC-COMP
Gidon Ernst and Jose F. Morales
Award Winner Presentations
Chair: Marieke Huisman
Room: MDCL 1105
14:00
Doctoral Dissertation Award
Kevin Batz: Automated Deductive Verification of Probabilistic Programs
14:30
Test Of Time Award
K. Rustan M. Leino and Peter Müller: A Basis for Verifying Multi-threaded Programs
15:00
Test-Of-Time Tool Award
Daniel Kroening, Peter Schrammel, and Michael Tautschnig: CBMC
15:30
Artifact Evaluation Report & Awards
Daniela Kaufmann ad Arnd Hartmanns
16:00
Coffee Break
Room: MDCL
TACAS: Quantum & GPU
Chair: Arie Gurfinkel
Room: MDCL 1102
16:30
Jan Heemstra and Anton Wijs
16:45
Tian-Fu Chen and Jie-Hong Roland Jiang
17:00
Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondrej Lengal, Jyun-Ao Lin and Wei-Lun Tsai
17:30
Muhammad Osama, Dimitrios Thanos and Alfons Laarman
ESOP: Concurrency 2
Chair: Nobuko Yoshida
Room: MDCL 1305
16:30
Guillaume Ambal, Ori Lahav and Azalea Raad
17:00
Matteo Acclavio, Giulia Manara and Fabrizio Montesi
17:30
Giovanni Bernardi, Ilaria Castellani, Paul Laforgue and Léo Stefanesco
Test-Comp
Chair: Dirk Beyer
Room: MDCL 1008
16:30