David Sprunger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2014–2023
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CSL | Functorial String Diagrams for Reverse-Mode Automatic Differentiation. | Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi |
| 2022 | FSCD | Rewriting for Monoidal Closed Categories. | Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi |
| 2020 | TACAS | Relational Differential Dynamic Logic. | Juraj Kolck, Jrmy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada |
| 2019 | LICS | Differentiable Causal Computations via Delayed Trace. | David Sprunger, Shin-ya Katsumata |
| 2017 | CALCO | Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence. | David Sprunger, Lawrence S. Moss |
| 2014 | DLT | Eigenvalues and Transduction of Morphic Sequences. | David Sprunger, William Tune, Jrg Endrullis, Lawrence S. Moss |