Klaus v. Gleissenthall | PLSec at VU Amsterdam

Researcher in programming languages, formal methods, and security at VU Amsterdam.

programming languagesverificationsecurity

Publications

Pantomime: Constructive Leakage Proofs via Simulation

Robin Webbers, Robert Schenck, Wind Wong, Kristina Sojakova, Klaus von Gleissenthall

PLDI, 2026

Refinement Type Refutations

Robin Webbers, Klaus v. Gleissenthall, Ranjit Jhala

OOPSLA, 2024

Posts

June 29, 2024

Refinement Type Refutations

By Robin Webbers, Klaus v. Gleissenthall

How can a verification tool explain why a program fails to type check?

liquid typescounterexamples