publications

Complete list of my peer-reviewed publications, as well as selected other works

Peer-Reviewed Publications

  1. A Program Logic for Verified Interoperability Between OCaml and C
    Proceedings of the ACM on Programming Languages, 7, OOPSLA2, 2023
  2. Undecidability of Dyadic First-Order Logic in Coq
    Johannes HostertAndrej Dudenhefner, and Dominik Kirst
    13th International Conference on Interactive Theorem Proving (ITP), 2022

Workshop Presentations and Other Talks

Selected talks only. Not all talks were held by me, but all are about work I was significantly involved in.

  1. Tree Borrows
    Neven VillaniJohannes HostertDerek Dreyer, and Ralf Jung
    In Rust Verification Workshop, 2024
  2. A Coq Library for Mechanised First-Order Logic
    In The Coq Workshop, 2022
  3. A Toolbox for Mechanised First-Order Logic
    Johannes HostertMark Koch, and Dominik Kirst
    In The Coq Workshop, 2021

Theses

  1. Logical Foundations Of Language Interoperability Between OCaml And C
    Johannes Hostert
    Master’s Thesis, Saarland University, 2023
  2. The Undecidability of First-Order Logic over Small Signatures
    Johannes Hostert
    Bachelor’s Thesis, Saarland University, 2021

Other Material

At Saarland University, I contributed to re-writing the lecture notes used in the Maths Prep Course, a preparatory course for incoming freshmen completely organized by volunteer students from higher years. Nearly 200 students take this course every year, and they catch up on formal logic, proofs, sets, and induction, while also getting accustomed to the university early. The course has its own lecture notes, where chapter 2 and 3 were mainly written by me.