T.J. (Tom) Smeding MSc

Promovendus
Software Technology
t.j.smeding@uu.nl

Publicaties

2023

Wetenschappelijke publicaties

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. https://doi.org/10.1145/3571247

2022

Wetenschappelijke publicaties

Smeding, T., & Vákár, M. (2022). Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations. (pp. 1-33). arXiv. https://doi.org/10.48550/arXiv.2207.03418
Smeding, T., & Vákár, M. (2022). Dual-Numbers Reverse AD, Efficiently. (pp. 1-45). arXiv. https://doi.org/10.48550/arXiv.2205.11368
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. https://doi.org/10.1145/3527634

2021

Wetenschappelijke publicaties

Vákár, M., & Smeding, T. (2021). CHAD: Combinatory Homomorphic Automatic Differentiation. arXiv. https://doi.org/10.48550/arXiv.2103.15776