A programming model for semi-implicit parallelization of static analyses. - Dominik Helm; Florian Kübler; Jan Thomas Kölzer; Philipp Haller; Michael Eichberg; Guido Salvaneschi; Mira Mezini (ISSTA, 2020)