We present the DOOP framework for points-to analysis of Java programs. DOOP builds on
the idea of specifying pointer analysis algorithms declaratively, using Datalog: a logic-based …

We present Flix, a declarative programming language for specifying and solving least fixed
point problems, particularly static program analyses. Flix is inspired by Datalog and extends …

Yet Another Prolog (YAP) is a Prolog system originally developed in the mid-eighties and
that has been under almost constant development since then. This paper presents the …

Datalog has gained prominence in program analysis due to its expressiveness and ease of
use. Its generic fixpoint resolution algorithm over relational domains simplifies the …

Program analysis is fundamental for program optimizations, debugging, and many other
tasks. But developing program analyses has been a challenging and error-prone process for …

Applying program analyses to Software Product Lines (SPLs) has been a fundamental
research problem at the intersection of Product Line Engineering and software analysis …

Many recent analyses for conventional imperative programs begin by transforming programs
into logic programs, capitalising on existing LP analyses and simple LP semantics. We …

Applying program analyses to Software Product Lines (SPLs) has been a fundamental
research problem at the intersection of Product Line Engineering and software analysis …

Program analysis of automotive software has several unique challenges, including that the
code base is ultra large, comprising over a hundred million lines of code running on a single …

Incremental computations react to input changes by updating their outputs. Compared to a
non-incremental rerun, incremental computations can provide order-of-magnitude …