Bastian Köpcke
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Gabriel Ebneronce
- Guido Martínezonce
- Jonáš Fialaonce
all 7 in the filters
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic | PLDI 2026 | 2026-06-15 |
Kuiper is an F library that uses Pulse-based separation logic to verify GPU kernels, extending the logic with forall+ connective and located resources to model… | ||
| nothing matches | ||