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

Read More

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:

Read More

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 


Read More

Authors: Kiril Dichev and Dimitrios Nikolopoulos

Read More

This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 671603

Contact Details

General Coordinator

Thomas Fahringer

Scientific Coordinator

Herbert Jordan