TACAS: Model Checking I
Chair: Natasha Sharygina
Room: Auditorium
10:30
Bounded Model Checking for Asynchronous Hyperproperties
T. Hsu, B. Bonakdarpour, B. Finkbeiner, C. Sanchez
11:00
Model Checking Linear Dynamical Systems under Floating-point Rounding
E. Lefaucheux, J. Ouaknine, D. Purser, M. Sharifi
11:30
Efficient Loop Conditions for Bounded Model Checking Hyperproperties
T. Hsu, C. Sanchez, S. Sheinvald, B. Bonakdarpour
12:00
Reconciling Preemption Bounding with DPOR
Iason Marmanis, Michalis Kokologiannakis and Viktor Vafeiadis
TACAS: Machine Learning/Neural Networks
Chair: Roderick Bloem
Room: 44-45/108
10:30
Feature Necessity & Relevancy in ML Classifier Explanations
X. Huang, M. Cooper, A. Morgado, J. Planes, J. Marques-Silva
11:00
Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks
Shahaf Bassan and Guy Katz
11:30
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks
X. Guo, Z. Zhou, Y. Zhang, G. Katz, M. Zhang
12:00
Neural Network-Guided Synthesis of Recursive Functions
Naoki Kobayashi and Minchao Wu
ESOP: Static Analysis
Chair: Thomas Wies
Room: 44-54/109
10:30
Logics for extensional, locally complete analysis via domain refinements
Flavio Ascari, Roberto Bruni and Roberta Gori
11:00
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces
Michael Schwarz, Simmo Saan, Helmut Seidl, Julian Erhard and Vesal Vojdani
11:30
Adversarial Reachability for Program-level Security Analysis
Soline Ducousso, Sébastien Bardin and Marie-Laure Potet
12:00
Automated Grading of Regular Expressions
Su-Hyeon Kim, Youngwook Kim, Yo-Sub Han, Hyeonseung Im and Sang-Ki Ko
FoSSaCS: Programming Languages
Chair:
Room: 44-45/106
10:30
When programs have to watch the paint dry
Danel Ahman
11:00
Deciding contextual equivalence of nu- calculus with effectful contexts
Daniel Hirschkoff, Guilhem Jaber and Enguerrand Prebet
11:30
Kantorovich Functors and Characteristic Logics for Behavioural Distances
Pedro Nora, Sergey Goncharov, Dirk Hofmann, Lutz Schröder and Paul Wild
12:00
A Logical Framework with Higher-Order Rational (Circular) Terms
Zhibo Chen and Frank Pfenning