1 citations · 1 across the 9 of their papers we have counts for
3 papers · 1 filter
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…
Comparing Parallel Functional Array Languages: Programming and Performance
David van Balen, Tiziano De Matteis, Clemens Grelck +12
Parallel functional array languages are an emerging class of programming languages that promise to combine low-effort parallel programming with good performance and performance por…
LEGO: A Layout Expression Language for Code Generation of Hierarchical Mapping
Amir Mohammad Tavakkoli, Cosmin Oancea, Mary Hall
We describe LEGO, a new approach to optimizing data movement whereby code is expressed as a layout-independent computation and composed with layouts for data and computation. This…