The goal of this thesis is to extend the Reactive Async programming model to support static analyses.

Static analyses performance can benefit greatly from parallelization, but static analyses pose specific requirements to be easily and efficiently parallelized. Reactive Async is a programming model for parallel computations. This thesis should develop extensions to this programming model that ease the implementation of static analyses using Reactive Async. Additionally, different strategies for scheduling individual parallel tasks should be evaluated in order to increase static analysis performance further.

Publications

• Jan Thomas Kölzer: Reactive Async: Foundations for a parallel Static Analysis Framework.
• Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini: A Programming Model for Semi-implicit Parallelization of Static Analyses.