AD for an Array Language with Nested Parallelism. - Robert Schenck 001; Ola Rønning; Troels Henriksen; Cosmin E. Oancea (SC, 2022)

Combinatory Adjoints and Differentiation. - Martin Elsman; Fritz Henglein; Robin Kaarsgaard; Mikkel Kragh Mathiesen; Robert Schenck 001 (MSFP@ETAPS, 2022)

AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming. - Robert Schenck 001; Nikolaj Hey Hinnerskov; Troels Henriksen; Magnus Madsen; Martin Elsman (Proc. ACM Program. Lang., 2024)

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language. - Nikolaj Hey Hinnerskov; Robert Schenck 001; Cosmin E. Oancea (CoRR, 2025)