Reactive Async for Static Analyses

Master Thesis

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.