Tom J. Smeding
where else to find them
what they talk about
where they keep going back
- POPL2 editions2023–2024
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Efficient CHAD | POPL 2024 | 2024-01-14 |
Claims that Combinatory Homomorphic AD (CHAD) can be optimized to achieve the expected reverse‑mode complexity with only constant overhead, backed by an Agda… | ||
| Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations | POPL 2023 | 2023-01-15 |
Presents a semantics-preserving optimization path from naive dual-numbers reverse AD to an implementation with the expected time complexity and a practical… | ||
| Haskell Playground (WIP) | HIW 2022 | 2022-09-11 |
A web playground is live at https://play-haskell.tomsmeding.com/ that runs real GHC compiled code written in Haskell and already serves as a runnable pastebin… | ||
| Reverse Automatic Differentiation for Accelerate (Extended Abstract) | FHPNC 2021 | 2021-08-22 |
Implementation of reverse AD for Accelerate as a compiler transformation that turns array indexing into a dual array indexing → permute (scatter) operation… | ||
| nothing matches | ||