Mechanical Certification of Loop Pipelining Transformations: A Preview.

Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie

Browse the full ITP paper archive.