Poster
Année : 2022
Laurent Hascoet : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03923261
Soumis le : mercredi 4 janvier 2023-17:20:22
Dernière modification le : jeudi 12 octobre 2023-11:59:10
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⟩
Collections
28
Consultations
0
Téléchargements