Shubh Agrawal
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
- Cassia Torczononce
- Emmanuel Suárez Acevedoonce
- Jialu Baoonce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Towards an Equational Calculus of Interventions | LAFI 2026 | 2026-01-11 |
Presents a typed equational theory that rewrites interventions in probabilistic programs into equivalent do‑free programs by replacing mechanisms with a free… | ||
| Effects and Coeffects in Call-By-Push-Value | OOPSLA 2024 | 2024-10-20 |
Presents a type system for call-by-push-value that statically bounds both observable effects and environmental demands and proves effect-and-coeffect soundness… | ||
| nothing matches | ||