Tom Smeding

Registered user since Thu 24 Jun 2021

Name:Tom Smeding
Affiliation:Utrecht University
Personal website:
Research interests:Automatic differentiation, parallel programming, compilers, program transformations, language design


POPL 2023 Author of Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations within the POPL-track
HIW 2022 Author of Haskell Playground (WIP) within the HIW 2022-track
FHPNC 2021 Author of Reverse Automatic Differentiation for Accelerate (Extended Abstract) within the FHPNC 2021-track