Klaus von Gleissenthall
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2026
- OOPSLA2 editions2023–2024
on a stage with
all 19 in the filters
who talks about the same things
- Robin Webbers2 talks
- Ranjit Jhala19 talks
- Lennard Gäher7 talks
- Derek Dreyer35 talks
- Neel Krishnaswami10 talks
- Michel Steuwer17 talks
| title | conference | date |
|---|---|---|
| Pantomime: Constructive Leakage Proofs via Simulation | PLDI 2026 | 2026-06-15 |
Claims a constructive alternative to non-interference: build a simulator circuit that reproduces all attacker-observable timing using only the censored secret… | ||
| Refinement Type Refutations | OOPSLA 2024 | 2024-10-20 |
Systematically turns bidirectional refinement type rules into refutations and defines must-instantiation as the concrete set of term inhabitants that prove a… | ||
| Randomized Testing of Byzantine Fault Tolerant Algorithms | OOPSLA 2023 | 2023-10-23 |
ByzzFuzz is a randomized tester that injects bounded faults (F faulty processes, D network perturbation rounds, C mutation rounds) and applies small-scope… | ||
| Don't Look UB: Exposing Sanitizer-Eliding Compiler Optimizations | PLDI 2023 | 2023-06-17 |
Differential-testing framework LookUB compiles programs with sanitizers on with and without optimization to expose optimizer transformations that remove… | ||
| Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade | POPL 2021 | 2021-01-17 |
Blade automatically finds data-flow paths from memory reads that can speculatively carry secrets to cache-leaking sinks, models them with a transient vs stable… | ||
| nothing matches | ||