Herbert Jordan, Bernhard Scholz and Pavle Subotic, Souffle: On Synthesis of Datalog for Program Analyzers, to be published at CAV 2016, 28th International Conference on Computer Aided Verification, Toronto, Ontario, Canada, July 17-23, 2016. 

On fast large-scale program analysis in Datalog 

Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann
CC 2016 - Mar 17-18 Barcelona, Spain

Authors:
Peter Zangerl, Peter Thoman, Thomas Fahringer

Abstract: Code multi-versioning is an increasingly widely adopted tool for
implementing optimizations which respond to unknown or dynamically
changing runtime conditions, without the performance overhead of
just-in-time compilation. A common concern in its use is instruction
cache performance, due to larger binary sizes increasing cache pressure
on the one hand and more unpredictable branching on the other.

------

Not published yet. Here is the link to the conference program:
http://pdp2017.org/program.html

Authors: Jordan, Herbert; Scholz, Bernhard; Subotić, Pavle.

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 (1.4M program variables, 350K objects, 160K methods) in under a minute.

Link to the paper 

OpenAIRE

Authors: Kiril Dichev and Dimitrios Nikolopoulos