Joey Velez-Ginorio
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 3 in the filters
on a stage with
all 7 in the filters
who talks about the same things
- Emmanuel Suárez Acevedo2 talks
- Konrad Kording4 talks
- Yizhou Zhang13 talks
- Cassia Torczon2 talks
- Steve Zdancewic19 talks
- Paulo Emílio de Vilhena5 talks
| title | conference | date |
|---|---|---|
| Compiling to Recurrent Neurons | PLDI 2026 | 2026-06-15 |
Defines a linearly typed higher-order language Cajal(N) that compiles iteration and conditionals into matrices realized as recurrent neurons, proves a compiler… | ||
| Compiling to Linear Neurons | POPL 2026 | 2026-01-11 |
Claims a typed linear language called Cajal compiles discrete programs into linear neurons by translating conditionals into soft branching linear maps, with a… | ||
| 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 | ||