Formal loop merging for signal transforms.

Franz Franchetti, Yevgen Voronenko, Markus Pschel

Browse the full PLDI paper archive.