Semantically correct automatic differentiation

Project Information

SemanDiff

Grant agreement ID: 895827

DOI

10.3030/895827

Project terminated on 29 September 2021

EC signature date 28 February 2020

Start date 15 March 2020

End date 14 March 2022

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 187 572,48

EU contribution

€ 187 572,48

Coordinated by

UNIVERSITEIT UTRECHT
Netherlands

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Peer reviewed articles (3)

CHAD: Combinatory Homomorphic Automatic Differentiation

Author(s): Vákár, Matthijs; Smeding, Tom
Published in: TOPLAS, Issue 1, 2022, ISSN 0164-0925
Publisher: Association for Computing Machinary, Inc.

Conditional Independence by Typing

Author(s): Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
Published in: ACM Transactions on Programming Languages and Systems, 2022, ISSN 0164-0925
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3490421

Higher Order Automatic Differentiation of Higher Order Functions

Author(s): Huot, Mathieu; Staton, Sam; Vákár, Matthijs
Published in: Logical Methods in Computer Science, Issue Volume 18, Issue 1, 2022, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig

Conference proceedings (3)

Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing

Author(s): Mathieu Huot*, Sam Staton*, and Matthijs Vákár* (* equal contribution)
Published in: 2020
Publisher: Springer

Transforming Probabilistic Programs for Model Checking

Author(s): Ryan Bernstein, Matthijs Vákár, and Jeannette Wing
Published in: 2020
Publisher: ACM

Reverse AD at Higher Types: Pure, Principled and Denotationally Correct

Author(s): Matthijs Vákár
Published in: 2021
Publisher: Springer