Philipp G. Haselwarter
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2024–2025
all 5 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Kwing Hei Li6 talks
- Simon Oddershede Gregersen9 talks
- Alejandro Aguirre10 talks
- Joseph Tassarotti20 talks
- Lars Birkedal35 talks
- Amin Timany16 talks
| title | conference | date |
|---|---|---|
| Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation(…) | PLDI 2026 | 2026-06-15 |
Claims a program logic that encodes privacy budget as resource inside a probabilistic higher-order separation logic, proves an adequacy theorem linking the… | ||
| Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs | ICFP 2025 | 2025-10-12 |
Presents Coneris, the first higher-order concurrent separation logic that proves numeric error bounds for concurrent probabilistic programs and mechanizes all… | ||
| Approximate Relational Reasoning for Higher-Order Probabilistic Programs | POPL 2025 | 2025-01-19 |
Describes Approxis, a higher-order separation logic that treats error credits as first-class resources to prove approximate program refinements for an ML-like… | ||
| Tachis: Higher-Order Separation Logic with Credits for Expected Costs | OOPSLA 2024 | 2024-10-20 |
Tachis introduces probabilistic cost credits, a separation logic resource that preserves expectation across random branches and lets proofs allocate credits… | ||
| The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography | CPP 2024 | 2024-01-15 |
Coq is used to connect Hacspec, Jasmin and SSProve into an automated pipeline that produces: a functional Hacspec spec, an imperative SSProve spec, and… | ||
| Asynchronous Probabilistic Couplings in Higher-Order Separation Logic | POPL 2024 | 2024-01-14 |
Provides a new higher-order relational separation logic called Clutch that proves contextual refinement for a language with impredicative polymorphism… | ||
| nothing matches | ||