Research Talk at ECOOP 2026: Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types

These are slides used for my research talk at ECOOP 2026, which was held at Brussels during 29 June – 3 July, 2026.

The corresponding paper is available at the following:

• Official version on dagstuhl.de
• Long version on arXiv

The implementation of the type-checker based on this theory can be found at: