Authors:  Arne HendricksThomas HellerHerbert JordanPeter ThomanThomas FahringerDietmar Fey

In proceedings of the 9th Workshop on Many-Task Computing on Clouds, Grids, and Supercomputers (MTAGS16), SC16 conference, Salt Lake City , UT, USA — November 13 - 18, 2016.

Read More

Herbert Jordan, Peter Thoman, Peter Zangerl, Thomas Heller and Thomas Fahringer, A Context-aware Primitive for Nested Recursive Parallelism, IWMSE Workshop, Euro-Par 2016, Grenoble, FranceAugust 24-26, 2016.

Euro-Par 2016

Read More

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

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