Deterministic parallel fixpoint computation

Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur. Deterministic parallel fixpoint computation. Proceedings of the ACM on Programming Languages, 4(POPL), 2020. [doi]

Abstract

Abstract is missing.