Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities

Ali Rasim Koçal, Michael Schwarz, Simmo Saan, Helmut Seidl
April 2026
PDF Cite Code DOI ArXiv Publication page

Type
Conference paper
Publication
TACAS 2026