LPAR-22: 22ND INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
SLIDES

Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?

Martin Jonáš and Jan Strejček

Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing

Benjamin Farinier, Robin David, Sébastien Bardin and Matthieu Lemerre

Graphs Path Orderings

Nachum Dershowitz and Jean-Pierre Jouannaud

Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic

Jens Katelaan, Christoph Matheja, Thomas Noll and Florian Zuleger

Loop Analysis by Quantification over Iterations

Simon Robillard, Bernhard Gleiss and Laura Kovács

In Memory of Martin Hofmann

Steffen Jost

When Are Two Gossips the Same?

Krzysztof Apt, Davide Grossi and Wiebe van der Hoek

Towards Smarter MACE-style Model Finders

Mikolas Janota and Martin Suda

Alternating Reachability Games with Behavioral and Revenue Objectives

Orna Kupferman and Tami Tamir

Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection

Madalina Erascu, Flavia Micota and Daniela Zaharie

Decidable Inequalities over Infinite Trees

Sabine Bauer, Steffen Jost and Martin Hofmann

Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse

Chuan Jiang and Gianfranco Ciardo

Polymorphic success types for Erlang

Francisco J. López-Fraguas, Manuel Montenegro and Gorka Suárez-García

ProofWatch Meets ENIGMA: First Experiments

Zarathustra Goertzel, Josef Urban and Jan Jakubův

A Theory of Satisfiability-Preserving Proofs in SAT Solving

Adrián Rebola Pardo and Martin Suda

Quasipolynomial Set-Based Symbolic Algorithms for Parity Games

Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger and Alexander Svozil

HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography

Paventhan Vivekanandan

Wayeb: a Tool for Complex Event Forecasting

Elias Alevizos, Alexander Artikis and Georgios Paliouras

Completeness of Left Handed Kleene algebra via Cyclic Proofs

Anupam Das, Amina Doumane and Damien Pous

Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets

Jaroslav Bendík and Ivana Cerna

Why These Automata Types?

Udi Boker

Function Summarization Modulo Theories

Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti Hyvärinen, Karine Even-Mendoza, Natasha Sharygina and Hana Chockler

A Verified Efficient Implementation of the LLL Basis Reduction Algorithm

Ralph Bottesch, Max W. Haslbeck and René Thiemann

Rewriting Environment for Arithmetic Circuit Verification

Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko and Maciej Ciesielski
Total: 24 presentations.