MIT has published a PhD thesis "Decoupling Algorithms from the Organization of Computation for High Performance Image Processing" by Jonathan Ragan-Kelley devoted mainly to Halide language and compiler. The thesis applies Halide for optimization of trade-offs between parallelism, locality, and the total amount of computation. One of the basic statements is that moving data in a processing system consumes the major power:
