Johannes Hostert -

Registered user since Tue 12 Sep 2023

Name:Johannes Hostert

Country:Switzerland

Affiliation:ETH Zurich

Personal website: https://jhostert.de

Research interests:Programming Languages

Contributions

2027

PLRust

PC Member in Program Committee within the PLRust '27-track

2026

ICFP

Author of Completeness of Iris-Based Program Logics within the ICFP Papers-track
Author of Completeness of Iris-Based Program Logics within the ICFP Artifacts-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2025

PLDI

Author of Tree Borrows within the PLDI Research Papers-track

2023

SPLASH

Author of Melocoton: A Program Logic for Verified Interoperability Between OCaml and C within the OOPSLA-track