Niklas Mück
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 8 in the filters
who talks about the same things
- Derek Dreyer35 talks
- Michael Sammler16 talks
- Simon Spies8 talks
- Lennard Gäher7 talks
- Ralf Jung18 talks
- Haoyi Zeng2 talks
| title | conference | date |
|---|---|---|
| Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic(…) | POPL 2026 | 2026-01-11 |
Shows a hardening compiler that makes a C‑like source (Rec) robustly safe only after compilation to a CHERI‑style capability machine (Cap); proves a separation… | ||
| Destabilizing Iris | PLDI 2025 | 2025-06-16 |
Adds Daenerys to Iris: a reworked resource layer that introduces unstable resources and an explicit frame modality, plus an unstable points-to and a… | ||
| A Semantic Approach to Robust Property Preservation | PriSC 2025 (with POPL 2025) | 2025-01-20 |
Proposes a semantic reduction of robust property preservation: replace hard syntactic backtranslation with a backtranslation between semantic domains, so… | ||
| nothing matches | ||