Kwing Hei Li
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 5 in the filters
on a stage with
all 6 in the filters
who talks about the same things
- Philipp G. Haselwarter6 talks
- Alejandro Aguirre10 talks
- Simon Oddershede Gregersen9 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… | ||
| Contextual Refinement of Higher-Order Concurrent Probabilistic Programs | PLDI 2026 | 2026-06-15 |
Claims a new logic, Foxtrot, that proves contextual refinement for higher-order concurrent probabilistic programs and handles higher-order local state… | ||
| Separation Logics for Probability, Concurrency, and Security | Doctoral Symposium @ SPLASH 2025 | 2025-10-13 |
Presents concrete logics that extend Iris + Rocq to reason about randomized, higher‑order, concurrent code: unary Errors with an error credit resource that… | ||
| 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… | ||
| nothing matches | ||