ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
Fri 6 Sep 2024 14:45 - 15:30 at Meeting 4 - Performance and Optimisation

We present an Integer Linear Programming based approach to finding the optimal fusion strategy for combinator-based parallel programs. While combinator-based languages or libraries provide a convenient interface for programming parallel hardware, fusing combinators to more complex operations is essential to achieve the desired performance. Our approach is not only suitable for languages with the usual map, fold, scan, indexing and scatter operations, but also gather operations, which access arrays in arbitrary order, and therefore goes beyond the traditional producer-consumer fusion. It can be parametrised with appropriate cost functions, and is fast enough to be suitable for just-in-time compilation.

Fri 6 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Performance and OptimisationFProPer at Meeting 4
14:00
45m
Talk
A comparison of OpenCL, CUDA, and HIP as compilation targets for a functional array language
FProPer
Troels Henriksen University of Copenhagen
14:45
45m
Talk
Fusing Gathers with Integer Linear Programming
FProPer
David van Balen , Gabriele Keller Utrecht University, Trevor L. McDonell Utrecht University, Ivo Gabe de Wolff Utrecht University