3 citations · 4 across the 3 of their papers we have counts for
3 papers
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…
Combinatory Adjoints and Differentiation
Martin Elsman, Fritz Henglein, Robin Kaarsgaard +2
We develop a compositional approach for automatic and symbolic differentiation based on categorical constructions in functional analysis where derivatives are linear functions on a…
AD for an Array Language with Nested Parallelism
Robert Schenck, Ola Rønning, Troels Henriksen +1
We present a technique for applying (forward and) reverse-mode automatic differentiation (AD) on a non-recursive second-order functional array language that supports nested paralle…