David M. Kahn
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 2 in the filters
on a stage with
- Jan Hoffmann2×
- Di Wangonce
- Runming Lionce
who talks about the same things
- Runming Li3 talks
- Jan Hoffmann9 talks
- Di Wang12 talks
- Zachary Kincaid9 talks
- Benjamin Lucien Kaminski14 talks
- Sebastian Erdweg13 talks
| title | conference | date |
|---|---|---|
| Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment | POPL 2026 | 2026-01-11 |
Extends big-step semantics with a nondeterministic big-stop rule schema that captures every finite prefix of diverging small-step runs, proving equivalence to… | ||
| Raising Expectations: Automating Expected Cost Analysis with Types | ICFP 2020 | 2020-08-23 |
A type-based tool called PRaML automatically infers upper bounds on expected execution cost for probabilistic OCaml-like programs by extending RaML’s AARA… | ||
| nothing matches | ||