1 citations · 1 across the 9 of their papers we have counts for
10 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…
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…
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,…
GPU Implementations for Midsize Integer Addition and Multiplication
Cosmin E. Oancea, Stephen M. Watt
This paper explores practical aspects of using a high-level functional language for GPU-based arithmetic on ``midsize'' integers. By this we mean integers of up to about a quarter…
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…
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…
Bigger Buffer k-d Trees on Multi-Many-Core Systems
Fabian Gieseke, Cosmin Eugen Oancea, Ashish Mahabal +2
A buffer k-d tree is a k-d tree variant for massively-parallel nearest neighbor search. While providing valuable speed-ups on modern many-core devices in case both a large number o…