Publications
2024
Scholarly publications
2023
Scholarly publications
Smeding, T., & Vákár, M. (2023). Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations. Proceedings of the ACM on Programming Languages, 7, 1573-1600. [DOI] [Repository]
2022
Scholarly publications
Smeding, T., & Vákár, M. (2022). Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations. (pp. 1-33). arXiv. [DOI] [Repository]
Smeding, T., & Vákár, M. (2022). Dual-Numbers Reverse AD, Efficiently. (pp. 1-45). arXiv. [DOI] [Repository]
Vákár, M., & Smeding, T. (2022). CHAD: Combinatory Homomorphic Automatic Differentiation. ACM Transactions on Programming Languages and Systems, 44(3), 1-49. Article 20. [DOI] [Repository]
2021
Scholarly publications
Vákár, M., & Smeding, T. (2021). CHAD: Combinatory Homomorphic Automatic Differentiation. arXiv. [DOI] [Repository]