Daniel Sainati
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
all 6 in the filters
who talks about the same things
- Joseph W. Cutler7 talks
- Saman Amarasinghe13 talks
- Jonathan Ragan-Kelley12 talks
- Tahina Ramananandro8 talks
- Manya Bansal4 talks
- Guido Martínez10 talks
| title | conference | date |
|---|---|---|
| Modular GPU Programming with Typed Perspectives | PLDI 2026 | 2026-06-15 |
Prism is a low-level GPU language that tracks thread32 perspective and other granularities in types, exposes constructs like split and group and partition… | ||
| Typing Strictness | POPL 2026 | 2026-01-11 |
Proposes a refinement of strictness called intentional strictness and encodes it as a type-and-effect system for call-by-name and call-by-push-value, with a… | ||
| nothing matches | ||