Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Arnaud J. Venet
conf.researchr.org general profile
POPL 2020 profile
SPLASH 2020 profile
Not registered as user
Name:
Arnaud J. Venet
Affiliation:
Facebook
Contributions
2020
Static Analysis Symposium
Author of Memory-Efficient Fixpoint Computation within the SAS-track
POPL
Author of Deterministic Parallel Fixpoint Computation within the Research Papers-track
Share
x
Sat 21 Dec 16:40