4 papers · 1 filter
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…
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…
Scheduling Languages: A Past, Present, and Future Taxonomy
Mary Hall, Cosmin Oancea, Anne C. Elster +4
Scheduling languages express to a compiler a sequence of optimizations to apply. Compilers that support a scheduling language interface allow exploration of compiler optimizations,…