Automatic differentiation of parallel loops with formal methods

Autor: Jan Hückelheim, Laurent Hascoët

Publikováno v: PPoPP 2022 / 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
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⟩
ICPP 2022-51st International Conference on Parallel Processing
ICPP 2022-51st International Conference on Parallel Processing, Aug 2022, Bordeaux, France. ⟨10.1145/3545008.3545089⟩

International audience; This paper presents a novel combination of reverse mode automatic differentiation and formal methods, to enable efficient differentiation of (or backpropagation through) shared-memory parallel loops. Compared to the state of t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e2456f4e81d0d4f8cbe7566f2a860e7
https://inria.hal.science/hal-03923261

DAG reversal is NP-complete

Autor: Uwe Naumann

Publikováno v: Journal of Discrete Algorithms. 7(4):402-410

Runs of numerical computer programs can be visualized as directed acyclic graphs (DAGs). We consider the problem of restoring the intermediate values computed by such a program (the vertices in the DAG) in reverse order for a given upper bound on the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0db2d3d9f70a4e1812162458f17de177

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.