We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of
emerging application domains such as data integration, information extraction, networking …

The LogicBlox system aims to reduce the complexity of software development for modern
applications which enhance and automate decision-making and enable their users to evolve …

Soufflé is an open source programming framework that performs static program analysis
expressed in Datalog on very large code bases, including points-to analysis on OpenJDK7 …

Designing and crafting a static program analysis is challenging due to the complexity of the
task at hand. Among the challenges are modelling the semantics of the input language …

Ecosystems of multiple blockchains are now a reality. Multichain applications and protocols
are perceived as necessary to enable scalability, privacy, and composability. Despite being …

Program analyses support software developers, for example, through error detection, code-
quality assurance, and by enabling compiler optimizations and refactorings. To provide real …

Satisfiability modulo theories (SMT) solving has become a critical part of many static
analyses, including symbolic execution, refinement type checking, and model checking. We …

Recursive queries have been traditionally studied in the framework of datalog, a language
that restricts recursion to monotone queries over sets, which is guaranteed to converge in …

Provenance has been studied extensively to explain existing and missing results for many
applications while focusing on scalability and usability challenges. Recently, techniques that …

Incremental static analyses provide up-to-date analysis results in time proportional to the
size of a code change, not the entire code base. This promises fast feedback to …