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 |