Verified lifting of stencil computations.

Shoaib Kamil, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama

Browse the full PLDI paper archive.