Security auditing of industry-scale software systems mandates automation. Static taint
analysis enables deep and exhaustive tracking of suspicious data flows for detection of …

Many real-world applications based on deductive databases require incrementally updating
output relations (tables) in response to changes to input relations. To make such …

Develo** and releasing multiservice applications rely upon a pipeline of automation tools
known as Continuous Integration/Continuous Deployment. Among those tools, continuous …

Automaton-based static program analysis has proved to be an effective tool for bug finding.
Current tools generally re-analyze a program from scratch in response to a change in the …

Several program analysis problems can be cast elegantly as a logic program. In this paper
we show how recently-developed techniques for incremental evaluation of logic programs …

This paper describes a very high-level language for clear description of distributed
algorithms and optimizations necessary for generating efficient implementations. The …

In designing safety-critical infrastructures sa railway systems, engineers often have to deal
with complex and large-scale designs. Formal methods can play an important role in hel** …

Attack graph illustrates all possible multi-stage, multi-host attacks in an enterprise network
and is essential for vulnerability analysis tools. Recently, researchers have addressed the …

This article describes a very high-level language for clear description of distributed
algorithms and optimizations necessary for generating efficient implementations. The …

This paper presents a language, Alda, that supports all of logic rules, sets, functions,
updates, and objects as seamlessly integrated built-ins. The key idea is to support …