6 papers
High-Level Big Integer Arithmetic in Futhark for GPUs
Cosmin E. Oancea, Stephen M. Watt
We report on GPU implementations of block-level addition, subtraction, multiplication and division for midsize integers, with operands of to bits using the high-l…
On GPU Implementation for Multi-Precision Integer Division
Martin B. Marchioro, Aske N. Raahauge, Marc I. Løvenskjold +2
This paper presents the issues arising in implementing a fast integer division algorithm on general purpose GPUs. The algorithm uses a Newton iteration based on the shifted inverse…
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,…