Johannes Hostert

According to our database, Johannes Hostert authored at least 3 papers between 2022 and 2025.

Collaborative distances:

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

2025

Tree Borrows.

Neven Villani, Johannes Hostert, Derek Dreyer, Ralf Jung

Proc. ACM Program. Lang., 2025

2023

Melocoton: A Program Logic for Verified Interoperability Between OCaml and C.

Armaël Guéneau, Johannes Hostert, Simon Spies, Michael Sammler, Lars Birkedal, Derek Dreyer

Proc. ACM Program. Lang., October, 2023

2022

Undecidability of Dyadic First-Order Logic in Coq.

Johannes Hostert, Andrej Dudenhefner, Dominik Kirst

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022