Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Laurent Hascoet
conf.researchr.org general profile
PPoPP 2022 profile
Not registered as user
Name:
Laurent Hascoet
Affiliation:
Inria
Contributions
2022
Principles and Practice of Parallel Programming
Author of POSTER: Automatic Differentiation of Parallel Loops with Formal Methods within the Main Conference-track
Share
x
Sat 21 Dec 18:15