LLOR: Automated Repair of OpenMP Programs

Utpal Bora, Saurabh Joshi, Gautam Muduganti, Ramakrishna Upadrasta

ExpectAll: A BDD Based Approach for Link Failure Resilience in Elastic Optical Networks

Gustav S. Bruhns, Martin P. Hansen, Rasmus Hebsgaard, Frederik M. W. Hyldgaard, Jirí Srba

Space-Efficient Model-Checking of Higher-Order Recursion Schemes

Florian Bruse

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study

Mario Bucev, Samuel Chassot, Simon Felix, Filip Schramka, Viktor Kuncak

Constructing Trustworthy Smart Contracts

Devora Chait-Roth, Kedar S. Namjoshi

Two-Way Collaboration Between Flow and Proof in SPARK

Claire Dross, Joffrey Huguet, Johannes Kanig

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction

Paul Eichler, Swen Jacobs, Chana Weil-Kennedy

We introduce a new framework for verifying systems with a parametric number of concurrently running processes. The systems we consider are well-structured with respect to a specific well-quasi order. This allows us to decide a wide range of verification problems, including contro…

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts

Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schüssele, Michael Schwarz, Helmut Seidl + 2 more

A Real-Blasting Extension of cvc5 for Reasoning About Floating-Point Arithmetic

Daisuke Ishii

Affine Disjunctive Invariant Generation with Farkas' Lemma

Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen, Guoqiang Li

Synthesis of Controllers for Continuous Blackbox Systems

Benedikt Maderbacher, Felix Windisch, Alberto Larrauri, Roderick Bloem

Abstract Local Completeness - A Local Form of Abstract Non-interference

Isabella Mastroeni

An Abstract Domain for Heap Commutativity

Jared Pincus, Eric Koskinen

Property-Agnostic Base Case Extension for Scalable Verification of Distributed Systems

Kyle Storey, Eric Mercer

Automatic Inference of Relational Object Invariants

Yusen Su, Jorge A. Navas, Arie Gurfinkel, Isabel Garcia-Contreras

Automated Flaw Detection for Industrial Robot RESTful Service

Yuncheng Wang, Puzhuo Liu, Yaowen Zheng, Dongliang Fang, Shuaizong Si, Zhiwen Pan, Weidong Zhang, Limin Sun

Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning

Yuan Xia, Deepayan Sur, Aabha Shailesh Pingle, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi

Formal Verification of Probabilistic Deep Reinforcement Learning Policies with Abstract Training

Junfeng Yang, Min Zhang, Xin Chen, Qin Li

Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications

Ruoxi Zhang, Richard J. Trefler, Kedar S. Namjoshi

Boosting Constrained Horn Solving by Unsat Core Learning

Parosh Aziz Abdulla, Chencheng Liang, Philipp Rümmer