The paper

A Programming Model for Semi-implicit Parallelization of Static Analyses
by Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, and Mira Mezini

has been accepted for publication at the top conference ISSTA 2020.

The 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020) was held from July 18 to 22, 2020, as an all-digital conference and was originally scheduled to be hosted in Los Angeles, US.