PolyCheck: dynamic verification of iteration space transformations on affine programs.

Wenlei Bao, Sriram Krishnamoorthy, Louis-Nol Pouchet, Fabrice Rastello, P. Sadayappan

Browse the full POPL paper archive.