Concepedia

Tom Smeding

TS

Statistics

Publications

2

Citations

24

H-Index

2

Active since

2022

Affiliations

Utrecht University(Current)

Tom Smeding is an author at Utrecht University specializing in formal methods, program analysis, and automated reasoning.

ORCID

Top concepts

Publications per year

2022–2023

2

Publications

2

CHAD: Combinatory Homomorphic Automatic Differentiation

Matthijs Vákár, Tom Smeding · ACM Transactions on Programming Languages and Systems · 2022 · 14 citations · Full text

, , +18

Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations

Tom Smeding, Matthijs Vákár · Proceedings of the ACM on Programming Languages · 2023 · 10 citations · Full text

Rows per page

1–2 of 2