David I. Spivak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2014–2021
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | IROS | Monitoring and Diagnosability of Perception Systems. | Pasquale Antonante, David I. Spivak, Luca Carlone |
| 2019 | LICS | Backprop as Functor: A compositional perspective on supervised learning. | Brendan Fong, David I. Spivak, Rmy Tuyras |
| 2016 | LFCS | Type Theoretical Databases. | Henrik Forssell, Hkon Robbestad Gylterud, David I. Spivak |
| 2016 | PSB | Workshop on Topology and Abstract Algebra for Biomedicine. | Eric K. Neumann, Svetlana Lockwood, Bala Krishnamoorthy, David I. Spivak |
| 2014 | ITP | Experience Implementing a Performant Category-Theory Library in Coq. | Jason Gross, Adam Chlipala, David I. Spivak |