Klaus von Gleissenthall -

Registered user since Fri 17 Mar 2023

Name:Klaus von Gleissenthall

Country:Netherlands

Affiliation:Vrije Universiteit Amsterdam

Personal website: https://gleissen.github.io/

Contributions

2026

SPLASH

Committee Member in OOPSLA Review Committee within the OOPSLA-track

2025

PriSC

Committee Member in Program Committee within the PriSC 2025-track

2024

SPLASH

Author of Refinement Type Refutations within the OOPSLA 2024-track

2023

SPLASH

PLDI

Author of Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations within the PLDI Research Papers-track