| CHAD: Combinatory homomorphic automatic differentiation M Vákár, T Smeding ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (3), 1-49, 2022 | 16 | 2022 |
| Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations TJ Smeding, MIL Vákár Proceedings of the ACM on Programming Languages 7 (POPL), 1573-1600, 2023 | 12 | 2023 |
| Efficient CHAD TJ Smeding, MIL Vákár Proceedings of the ACM on Programming Languages 8 (POPL), 1060-1088, 2024 | | 2024 |
| Dual-Numbers Reverse AD, Efficiently T Smeding, M Vákár arXiv preprint arXiv:2205.11368, 2022 | | 2022 |
| Reverse Automatic Differentiation for Accelerate TJ Smeding | | 2021 |
| Fast Large-Integer Matrix Multiplication TJ Smeding | | 2018 |
Matthijs VákárAssistant Professor, Utrecht UniversityVerified email at uu.nl
