Artjoms Šinkarovs
where else to find them
no profile links on file
what they talk about
where they keep going back
- ARRAY2 editions2019–2026
on a stage with
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Welcoming Remarks | ARRAY 2026 | 2026-06-16 |
Announces the 12th in the series, notes arrays regain urgency for sparsity and layout for GPU work, and explains the conference timing: a 20 vs 25 minute split… | ||
| Correctness Meets Performance: From Agda to Futhark | ICFP 2025 | 2025-10-12 |
Derives a reverse-mode automatic-differentiation pipeline in Agda for index-safe tensors, proves semantic preservation for AD and optimizer passes, and… | ||
| Rank-Polymorphism for Shape-Guided Blocking | FHPNC 2023 | 2023-09-04 |
Claims a method to express arbitrary levels of cache blocking by encoding block depth and sizes in rank-polymorphic arrays, with reshaping switching between… | ||
| Convolutional Neural Networks in APL | ARRAY 2019 | 2019-06-22 |
Implements a MNIST/LeNet-style CNN in APL using ten one-line APL building blocks that avoid explicit indexing, showing convolution, pooling and fully connected… | ||
| nothing matches | ||