Automatic differentiation of parallel loops with formal methods - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Poster Année : 2022
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
22 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More