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

Automatic differentiation of parallel loops with formal methods

Domains

Data Structures and Algorithms [cs.DS]

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 : Thursday, October 12, 2023-11:59:10 AM

No 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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA JLESC INRIA2 UNIV-COTEDAZUR
27 View
0 Download

Altmetric

Share

More