David Sprunger

According to our database, David Sprunger authored at least 17 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Functorial String Diagrams for Reverse-Mode Automatic Differentiation.

Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

Full abstraction for digital circuits.

Dan R. Ghica, George Kaye, David Sprunger

CoRR, 2022

Rewriting for Monoidal Closed Categories.

Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Fibrational bisimulations and quantitative reasoning: Extended version.

David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo

J. Log. Comput., 2021

2020

Reparametrizing gradient descent.

David Sprunger

CoRR, 2020

Relational Differential Dynamic Logic.

Juraj Kolcák, Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

Neural Nets via Forward State Transformation and Backward Loss Transformation.

Bart Jacobs, David Sprunger

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

The differential calculus of causal functions.

David Sprunger, Bart Jacobs

CoRR, 2019

Differentiable Causal Computations via Delayed Trace.

David Sprunger, Shin-ya Katsumata

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Relational differential dynamic logic: poster abstract.

Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2018

A complete logic for behavioural equivalence in coalgebras of finitary set functors.

David Sprunger

J. Log. Algebraic Methods Program., 2018

Quantitative bisimulations using coreflections and open morphisms.

Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger

CoRR, 2018

Fibrational Bisimulations and Quantitative Reasoning.

David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo

Proceedings of the Coalgebraic Methods in Computer Science, 2018

2017

Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence.

David Sprunger, Lawrence S. Moss

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2014

Eigenvalues and Transduction of Morphic Sequences: Extended Version.

David Sprunger, William Tune, Jörg Endrullis, Lawrence S. Moss

CoRR, 2014

Eigenvalues and Transduction of Morphic Sequences.

David Sprunger, William Tune, Jörg Endrullis, Lawrence S. Moss

Proceedings of the Developments in Language Theory - 18th International Conference, 2014

2013

Linearization of Automatic Arrays and Weave Specifications.

David Sprunger

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013