TACAS: Combinatorial Optimization / Theorem Proving
Chair: Haniel Barbosa
Room: Auditorium
10:30
New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization
J. Cortes, I. Lynce, V. Manquinho
11:00
Verified reductions for optimization
A. Bentkamp, R. Fernández Mir, J. Avigad
11:30
Specifying and Verifying Higher-order Rust Iterators
X. Denis, J. Jourdan
12:00
Extending a High-Performance Prover to Higher-Order Logic
P. Vukmirović, J. Blanchette, S. Schulz
TACAS: Tools (Regular Papers)
Chair: Alessandro Cimatti
Room: 44-45/108
10:30
The WhyRel Prototype for Relational Verification of Pointer Programs*
R. Nagasamudram, A. Banerjee, D. Naumann
11:00
Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter
D. Beyer, P. Chien, Nian-Ze Lee
11:30
CoPTIC: Constraint Programming Translated Into C
Martin Mariusz Lester
12:00
Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability
Michaël Cadilhac and Guillermo Perez
FASE: Requirements, Models and AI
Chair: Facundo Molina
Room: 44-54/109
10:30
ACoRe: Automated Goal-Conflict Resolution*
Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon and Mike Papadakis
11:00
Democratizing Quality-Based Machine Learning Development through Extended Feature Models
Giordano d'Aloisio, Antinisca Di Marco and Giovanni Stilo
11:30
Compositional Automata Learning of Synchronous Systems
Thomas Neele and Matteo Sammartino
12:00
Feature-Guided Analysis of Neural Networks (NIER paper)
Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina Pasareanu, Siqi Xie and Huafeng Yu
12:15
Specification and Validation of Normative Rules for Autonomous Agents (Tool paper)*
Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu and Ana Cavalcanti
FoSSaCS: Formal Languages
Chair:
Room: 44-45/106
10:30
Quantitative Safety and Liveness
Thomas A. Henzinger, Nicolas Mazzocchi and N. Ege Saraç
11:00
On the Comparison of Discounted-Sum Automata with Multiple Discount Factors
Udi Boker and Guy Hefetz
11:30
Fast Matching of Regular Patterns with Synchronizing Counting
Lukáš Holík, Juraj Síč, Lenka Turoňová and Tomas Vojnar
12:00
Compositional Learning for Interleaving Parallel Automata
Faezeh Labbaf, Hossein Hojjat, Jan Friso Groote and Mohammadreza Mousavi
SPIN (co-located)
Chair: Max Tschaikowski
Room: 25-26/105
11:30
Efficient Implementation of LIMDDs for Quantum Circuit Simulation
Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille and Alfons Laarman
12:00
ParaGnosis: A Tool for Parallel Knowledge Compilation
Giso Dal, Alfons W. Laarman and Peter J.F. Lucas