Vineet Rajani
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Deepak Garg2×
- Gilles Bartheonce
- Jan Hoffmannonce
all 4 in the filters
who talks about the same things
- Jan Hoffmann9 talks
- Deepak Garg18 talks
- Gilles Barthe17 talks
- Marco Gaboardi18 talks
- Di Wang12 talks
- Martin Avanzini4 talks
| title | conference | date |
|---|---|---|
| A modal type-theory of expected cost in higher-order probabilistic programs | OOPSLA 2024 | 2024-10-20 |
pλ-amor is a graded modal type theory that encodes probabilities, potentials and expected cost at the type level and proves bounds for higher-order… | ||
| A Unifying Type-Theory for Higher-Order (Amortized) Cost Analysis | POPL 2021 | 2021-01-17 |
Presents λ-amor, an affine type theory that adds a modal potential type plus a graded cost monad and refinements, and proves soundness with a Kripke… | ||
| nothing matches | ||