TACAS: Verification II
Chair: Dirk Beyer
Room: Auditorium
10:30
Make flows small again: revisiting the flow framework
Roland Meyer, Thomas Wies and Sebastian Wolff
11:00
ALASCA: Reasoning in Quantified Linear Arithmetic
Johannes Schoisswohl, Laura Kovacs, Giles Reger, Konstantin Korovin and Andrei Voronkov
11:30
A Matrix-Based Approach to Parity Games
Saksham Aggarwal, Alejandro Stuckey de la Banda, Henri Urpani, Luke Yang and Julian Gutierrez
12:00
A GPU Tree Database for Many-Core Explicit State Space Exploration
Anton Wijs and Muhammad Osama
TACAS: Graphs/Probabilistic Systems
Chair: Natasha Sharygina
Room: 44-45/108
10:30
A Truly Symbolic Linear-Time Algorithm for SCC Decomposition
Casper Abild Larsen, Simon Meldahl Schmidt, Jesper Steensgaard, Anna Blume Jakobsen, Jaco van de Pol and Andreas Pavlogiannis
11:00
Transforming quantified boolean formulas using biclique covers
Oliver Kullmann and Ankit Shukla
11:30
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
T. Winkler, Joost-Pieter Katoen
12:00
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
K. Batz, M. Chen, S. Junges, B. Kaminski, Joost-Pieter Katoen, Christoph Matheja
FASE: Analysis & Verification
Chair: Eduard Kamburjan
Room: 44-54/109
10:30
Parallel Program Analysis via Range Splitting
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter and Heike Wehrheim
11:00
Yet Another Model! A Study on Model's Similarities for Defect and Code Smells
Geanderson Santos, Amanda Santana, Gustavo Vale and Eduardo Figueiredo
11:30
A Modeling Concept for Formal Verification of OS-Based Compositional Software
Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen and Marcel Baunach
12:00
Towards Log Slicing (NIER paper)
Joshua Dawes, Donghwan Shin and Domenico Bianculli
12:15
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java (Tool paper)
Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens and Larisa Safina
FoSSaCS: Verification
Chair:
Room: 44-45/106
10:30
Just Testing
Rob van Glabbeek
11:00
Model and Program Repair via Group Actions
William Cocke and Paul Attie
11:30
Subgame optimal strategies in finite concurrent games with prefix-independent objectives
Benjamin Bordais, Patricia Bouyer and Stephane Le Roux.
SPIN (co-located)
Chair: Sergio Mover
Room: 25-26/105
11:30
Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks
Bryant Israelsen, Landon Taylor and Zhen Zhang
12:00
Accelerating black box testing with light-weight learning
Roi Fogler, Itay Cohen and Doron Peled