Poster Communications
Year :
Laurent Hascoet : Connect in order to contact the contributor
https://inria.hal.science/hal-03923261
Submitted on : Wednesday, January 4, 2023-5:20:22 PM
Last modification on : Wednesday, March 15, 2023-8:58:09 AM
Cite
Jan Hückelheim, Laurent Hascoët. Automatic differentiation of parallel loops with formal methods. PPoPP 2022 / 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Apr 2022, Seoul, South Korea. ACM, pp.463-464, ⟨10.1145/3503221.3508442⟩. ⟨hal-03923261⟩
Collections
8
View
0
Download