Deterministic parallel fixpoint computation. - Sung Kook Kim; Arnaud J. Venet; Aditya V. Thakur (Proc. ACM Program. Lang., 2020)

Memory-efficient fixpoint computation. - Sung Kook Kim; Arnaud J. Venet; Aditya V. Thakur (Formal Methods Syst. Des., 2025)