Verified Validation for Affine Scheduling in Polyhedral Compilation.

Xuyang Li, Hongjin Liang, Xinyu Feng

Browse the full TASE paper archive.