Automatic differentiation of parallel loops with formal methods - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Poster Communications Year :
Not file

Dates and versions

hal-03923261 , version 1 (04-01-2023)

Identifiers

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⟩
8 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More