David Sprunger

23 papers A* 1B 5C 1Journal 12Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Differentiable causal computations via delayed trace (extended version). Math. Struct. Comput. Sci. David Sprunger, Shin-ya Katsumata
2023	B	`conf`	Functorial String Diagrams for Reverse-Mode Automatic Differentiation. CSL Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
2022	J	`jnl`	Full abstraction for digital circuits. CoRR Dan R. Ghica, George Kaye, David Sprunger
2022	B	`conf`	Rewriting for Monoidal Closed Categories. FSCD Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
2021	J	`jnl`	Fibrational bisimulations and quantitative reasoning: Extended version. J. Log. Comput. David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo
2021	J	`jnl`	Functorial String Diagrams for Reverse-Mode Automatic Differentiation. CoRR Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi
2020	—	`conf`	Relational Differential Dynamic Logic. TACAS (1) Juraj Kolcák, Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
2020	J	`jnl`	Reparametrizing gradient descent. CoRR David Sprunger
2019	A*	`conf`	Differentiable Causal Computations via Delayed Trace. LICS David Sprunger, Shin-ya Katsumata
2019	J	`jnl`	Differentiable Causal Computations via Delayed Trace. CoRR David Sprunger, Shin-ya Katsumata
2019	B	`conf`	Neural Nets via Forward State Transformation and Backward Loss Transformation. MFPS Bart Jacobs, David Sprunger
2019	J	`jnl`	Relational Differential Dynamic Logic. CoRR Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
2019	—	`conf`	Relational differential dynamic logic: poster abstract. HSCC Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
2019	J	`jnl`	The differential calculus of causal functions. CoRR David Sprunger, Bart Jacobs
2018	J	`jnl`	A complete logic for behavioural equivalence in coalgebras of finitary set functors. J. Log. Algebraic Methods Program. David Sprunger
2018	—	`conf`	Fibrational Bisimulations and Quantitative Reasoning. CMCS David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo
2018	J	`jnl`	Neural Nets via Forward State Transformation and Backward Loss Transformation. CoRR Bart Jacobs, David Sprunger
2018	J	`jnl`	Quantitative bisimulations using coreflections and open morphisms. CoRR Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger
2017	B	`conf`	Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence. CALCO David Sprunger, Lawrence S. Moss
2016	—	`conf`	A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors. CMCS David Sprunger
2014	C	`conf`	Eigenvalues and Transduction of Morphic Sequences. Developments in Language Theory David Sprunger, William Tune, Jörg Endrullis, Lawrence S. Moss
2014	J	`jnl`	Eigenvalues and Transduction of Morphic Sequences: Extended Version. CoRR David Sprunger, William Tune, Jörg Endrullis, Lawrence S. Moss
2013	B	`conf`	Linearization of Automatic Arrays and Weave Specifications. MFPS David Sprunger