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
312019
Functorial string diagrams for reverse-mode automatic differentiation
M Alvarez-Picallo, DR Ghica, D Sprunger, F Zanasi
arXiv preprint arXiv:2107.13433, 2021
182021
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
172018
Rewriting for monoidal closed categories
M Alvarez-Picallo, D Ghica, D Sprunger, F Zanasi
7th International Conference on Formal Structures for Computation and …, 2022
122022
The differential calculus of causal functions
D Sprunger, B Jacobs
arXiv preprint arXiv:1904.10611, 2019
112019
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
102021
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
Full abstraction for digital circuits
DR Ghica, G Kaye, D Sprunger
arXiv preprint arXiv:2201.10456 3, 2022
52022
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
52019
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
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
42017
A Fully Compositional Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
DR Ghica, G Kaye, D Sprunger
arXiv preprint arXiv:2201.10456, 2022
22022
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
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
31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
C Faggian, N Gierasimczuk, D Miller, JH Wu, D Sangiorgi, B Afshari, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023
2023
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
The system can't perform the operation now. Try again later.
Articles 1–20