Robin Webbers | PLSec at VU Amsterdam

PhD student since 2022, working on tools and techniques for explaining program verification failures.

refinement typesverification tools

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