Kathrin Stark

20 papers B 11C 1Journal 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Foundation for Differentiable Logics using Dependent Type Theory.
CoRR
Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark
2026 B ed.
Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2026, Rennes, France, January 12-13, 2026
CPP
Kathrin Stark, Yannick Zakowski, Nikhil Swamy, Nicolas Tabareau
2025 B conf
A Certified Proof Checker for Deep Neural Network Verification in Imandra.
ITP
Remi Desmartin, Omri Isac, Grant O. Passmore, Ekaterina Komendantskaya, Kathrin Stark, Guy Katz
2025 J jnl
A Verified Foreign Function Interface between Coq and C.
Proc. ACM Program. Lang.
Joomy Korkut, Kathrin Stark, Andrew W. Appel
2025 B conf
Autosubst: On Mechanising Binders in a General-Purpose Proof Assistant (Invited Talk).
ITP
Kathrin Stark
2025 B ed.
Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025
CPP
Kathrin Stark, Amin Timany, Sandrine Blazy, Nicolas Tabareau
2024 J jnl
A Certified Proof Checker for Deep Neural Network Verification.
CoRR
Remi Desmartin, Omri Isac, Ekaterina Komendantskaya, Kathrin Stark, Grant O. Passmore, Guy Katz
2024 B conf
Taming Differentiable Logics with Coq Formalisation.
ITP
Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark
2024 J jnl
Taming Differentiable Logics with Coq Formalisation.
CoRR
Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark
2023 B conf
Logic of Differentiable Logics: Towards a Uniform Semantics of DL.
LPAR
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
2023 J jnl
Logic of Differentiable Logics: Towards a Uniform Semantics of DL.
CoRR
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
2023 C conf
Towards a Certified Proof Checker for Deep Neural Network Verification.
LOPSTR
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz
2023 J jnl
Towards a Certified Proof Checker for Deep Neural Network Verification.
CoRR
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Guy Katz, Ekaterina Komendantskaya
2020 B conf
Coq à la carte: a practical approach to modular syntax with binders.
CPP
Yannick Forster, Kathrin Stark
2020 — —
Mechanising syntax with binders in Coq.
Kathrin Stark
2019 B conf
Autosubst 2: reasoning with multi-sorted de Bruijn terms and vector substitutions.
CPP
Kathrin Stark, Steven Schäfer, Jonas Kaiser
2019 B conf
Call-by-push-value in coq: operational, equational, and denotational theory.
CPP
Yannick Forster, Steven Schäfer, Simon Spies, Kathrin Stark
2019 J jnl
POPLMark reloaded: Mechanizing proofs by logical relations.
J. Funct. Program.
Andreas Abel, Guillaume Allais, Aliya Hameer, Brigitte Pientka, Alberto Momigliano, Steven Schäfer, Kathrin Stark
2018 B conf
Binder aware recursion over well-scoped de Bruijn syntax.
CPP
Jonas Kaiser, Steven Schäfer, Kathrin Stark
2016 B conf
Hereditarily Finite Sets in Constructive Type Theory.
ITP
Gert Smolka, Kathrin Stark