Tiling is a well known program transformation, typically applied to loop programs, used to reorder the computation with many different goals: exploiting locality in the memory hierarchy, adapting the granularity of computation to data transfers, and/or exposing coarsegrain parallelism, to name just a few. The tiling transformation, T : ‡ 7→ 〈‡t, ‡l〉 maps a point z in the iteration space to a ti...
