TACAS: Games
Chair: Bernd Finkbeiner
Room: Hollenfels
14:00
Auction-Based Scheduling
Guy Avni, Kaushik Mallik and Suman Sadhukhan
14:30
Most General Winning Secure Equilibria Synthesis in Graph Games
Satya Prakash Nayak and Anne-Kathrin Schmuck
15:00
On-The-Fly Algorithm for Reachability in Parametric Timed Games
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fievet, Laure Petrucci and Jaco van de Pol
15:30
Rabin Games and Colourful Universal Trees
Rupak Majumdar, Irmak Saglam and K. S. Thejaswini
ESOP: Verification
Chair: Luis Caires
Room: Schengen II
14:00
A Denotational Approach to Release-Acquire Concurrency
Yotam Dvir, Ohad Kammar and Ori Lahav
14:30
Specifying and Verifying Persistent Libraries
Léo Stefanesco, Azalea Raad and Viktor Vafeiadis
15:00
Intel PMDK Transactions: Specification and Concurrency
Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer and Brijesh Dongol
15:30
Hyperproperty Verification as CHC Satisfiability
Shachar Itzhaky, Sharon Shoham and Yakir Vizel
FoSSaCS: Infinite-State Systems
Chair:: Jerome Leroux
Room: Diekirch-Echternach-Fischbach
14:00
Reachability in Fixed VASS: Expressiveness and Lower Bounds
Andrei Draghici, Christoph Haase and Andrew Ryzhikov
14:30
From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
Jan-Christoph Kassing, Florian Frohn and Jürgen Giesl
15:00
Dimension-Minimality and Primality of Counter Nets
Shaull Almagor, Guy Avni, Henry Sinclair-Banks and Asaf Yeshurun
15:30
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
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é