Not registered as user yet

Name: Arnaud J. Venet

Affiliation: Facebook

Contributions

POPL 2020Author of Deterministic Parallel Fixpoint Computation within the Research Papers-track