conf.researchr.org / Arnaud J. Venet
Not registered as user yet
Name: Arnaud J. Venet
Affiliation: Facebook
Contributions
SAS 2020 | Author of Memory-Efficient Fixpoint Computation within the SAS-track |
POPL 2020 | Author of Deterministic Parallel Fixpoint Computation within the Research Papers-track |