2 papers
cs.PL2025
Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language
Nikolaj Hey Hinnerskov, Robert Schenck, Cosmin E. Oancea
This paper presents a novel approach to automatically verify properties of pure data-parallel programs with non-linear indexing -- expressed as pre- and post-conditions on function…
cs.PL2023
Reverse-Mode AD of Reduce-by-Index and Scan in Futhark
Lotte Maria Bruun, Ulrik Stuhr Larsen, Nikolaj Hinnerskov +1
We present and evaluate the Futhark implementation of reverse-mode automatic differentiation (AD) for the basic blocks of parallel programming: reduce, prefix sum (scan), and reduc…