Speaker: Dr Wim Vanderbauwhede

Title: Inferring Program Transformations from Type Transformations for
Partitioning of Ordered Sets into Overlapping Sections

Abstract: In the distributed computation of finite difference grids (e.g.
weather simulations), partitioning of arrays into overlapping sets is an
essential step. The overlapping regions are commonly known as "halos". I present
a formalism for order-preserving transformations of such halo-vector types into
overlapping sections.

I will show that this formalism allows to automatically derive instances of
dataflow-style programs consisting of opaque element-processing functions
combined using higher-order functions.