Follow
David A Sprunger
David A Sprunger
Verified email at indstate.edu - Homepage
Title
Cited by
Cited by
Year
Differentiable causal computations via delayed trace
D Sprunger, S Katsumata
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2019
262019
Functorial string diagrams for reverse-mode automatic differentiation
M Alvarez-Picallo, DR Ghica, D Sprunger, F Zanasi
arXiv preprint arXiv:2107.13433, 2021
152021
Fibrational bisimulations and quantitative reasoning
D Sprunger, S Katsumata, J Dubut, I Hasuo
Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International …, 2018
142018
Rewriting for monoidal closed categories
M Alvarez-Picallo, D Ghica, D Sprunger, F Zanasi
7th International Conference on Formal Structures for Computation and …, 2022
112022
The differential calculus of causal functions
D Sprunger, B Jacobs
arXiv preprint arXiv:1904.10611, 2019
112019
Neural nets via forward state transformation and backward loss transformation
B Jacobs, D Sprunger
Electronic Notes in Theoretical Computer Science 347, 161-177, 2019
92019
Fibrational bisimulations and quantitative reasoning: Extended version
D Sprunger, S Katsumata, J Dubut, I Hasuo
Journal of Logic and Computation 31 (6), 1526-1559, 2021
72021
Full abstraction for digital circuits
DR Ghica, G Kaye, D Sprunger
arXiv preprint arXiv:2201.10456 3, 2022
52022
Eigenvalues and transduction of morphic sequences
D Sprunger, W Tune, J Endrullis, LS Moss
Developments in Language Theory: 18th International Conference, DLT 2014 …, 2014
52014
A compositional theory of digital circuits
DR Ghica, G Kaye, D Sprunger
arXiv preprint arXiv:2201.10456, 2022
42022
Relational differential dynamic logic
J Kolèák, I Hasuo, J Dubut, S Katsumata, D Sprunger, A Yamada
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
42019
A complete logic for behavioural equivalence in coalgebras of finitary set functors
D Sprunger
Journal of logical and algebraic methods in programming 94, 184-199, 2018
22018
Precongruences and parametrized coinduction for logics for behavioral equivalence
D Sprunger, LS Moss
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), 2017
22017
Eigenvalues and transduction of morphic sequences: Extended version
D Sprunger, W Tune, J Endrullis, LS Moss
arXiv preprint arXiv:1406.1754, 2014
22014
Quantitative bisimulations using coreflections and open morphisms
J Dubut, I Hasuo, S Katsumata, D Sprunger
arXiv preprint arXiv:1809.09278, 2018
12018
Linearization of automatic arrays and weave specifications
D Sprunger
Electronic Notes in Theoretical Computer Science 298, 349-365, 2013
12013
Fully abstract categorical semantics for digital circuits Extended abstract
G Kaye, D Sprunger, DR Ghica
2022
Normalisation by evaluation for digital circuits
G Kaye, DR Ghica, D Sprunger
2021
Reparametrizing gradient descent
D Sprunger
arXiv preprint arXiv:2010.04786, 2020
2020
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
A Simpson, A Gianola, S Kasangian, N Sabadini, J Adámek, S Milius, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20