The immense amounts of source code provide ample challenges and opportunities during
software development. To handle the size of code bases, developers commonly search for …

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 …

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 …

Pointer analysis is a fundamental static program analysis, with a rich literature and wide
applications. The goal of pointer analysis is to compute an approximation of the set of …

The rise of smart contracts-autonomous applications running on blockchains-has led to a
growing number of threats, necessitating sophisticated program analysis. However, smart …

Large repositories of source code create new challenges and opportunities for statistical
machine learning. Here we first develop an infrastructure for the automated crawling …

Knowing which types of refactoring occurred between two program versions can help
programmers better understand code changes. Our survey of refactoring identification …

Pluggable types have been proposed to support multiple type systems in the same
programming language. We have designed and implemented JavaCOP, a program …

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 …

Each day, a software developer needs to answer a variety of questions that require the
integration of different kinds of project information. Currently, answering these questions …