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. In Sarfraz Khurshid, Corina S. Pasareanu, editors, ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020. pages 428-439, ACM, 2020. [doi]
Abstract is missing.