Tom Smeding

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Program. Lang. Syst.

Publications

Tom Smeding, Matthijs Vákár
Efficient CHAD. Proc. ACM Program. Lang. 8 (POPL) (2024)
Tom Smeding, Matthijs Vákár
Efficient CHAD. CoRR (2023)
Tom Smeding, Matthijs Vákár
Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations. Proc. ACM Program. Lang. 7 (POPL) (2023)
Matthijs Vákár, Tom Smeding
CHAD: Combinatory Homomorphic Automatic Differentiation. ACM Trans. Program. Lang. Syst. 44 (3) (2022)
Tom Smeding, Matthijs Vákár
Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations. CoRR (2022)
Tom Smeding, Matthijs Vákár
Dual-Numbers Reverse AD, Efficiently. CoRR (2022)