Johannes Hostert

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Probabilistic Graphical Models

Functional Programs

Proof Procedure

Answering Queries

Top Venues

Proc. ACM Program. Lang.

Publications

Armaël Guéneau, Johannes Hostert, Simon Spies, Michael Sammler, Lars Birkedal, Derek Dreyer
Melocoton: A Program Logic for Verified Interoperability Between OCaml and C. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Johannes Hostert, Andrej Dudenhefner, Dominik Kirst
Undecidability of Dyadic First-Order Logic in Coq. ITP (2022)