André Platzer
where else to find them
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Aditi Kabraonce
- Bernhard Beckertonce
- Bineet Ghoshonce
all 23 in the filters
who talks about the same things
- Oded Padon11 talks
- Sharon Shoham13 talks
- Adam Chlipala23 talks
- Thibault Dardinier9 talks
- Peter Müller28 talks
- Danel Ahman7 talks
| title | conference | date |
|---|---|---|
| Heterogeneous Dynamic Logic: Provability Modulo Program Theories | PLDI 2026 | 2026-06-15 |
Heterogeneous Dynamic Logic treats each program logic as a dynamic theory and gives two concrete operations: Lifting to add constructs (havoc, regular… | ||
| Adaptive Shielding via Parametric Safety Proofs | OOPSLA 2025 | 2025-10-16 |
A programming-language framework implements parametric safety proofs that let a shield start conservative and become permissive as runtime knowledge is… | ||
| A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL | CPP 2023 | 2023-01-16 |
Formal verification of a first complete multivariate QE in Isabelle/HOL that hybridizes Ben-Or‑Kozen‑Reif and Tarski: it reduces quantifier elimination to sign… | ||
| Safety and Security | EMSOFT 2022 | 2022-10-07 |
A verified train controller models the full FRA kinematics in KeYmaera X, uses Taylor approximations, ghost differential equations and iterative bootstrapping… | ||
| nothing matches | ||