PRESGen: A Fully Automatic Equivalence Checker for Validating Optimizing and Parallelizing Transformations.

Soumyadip Bandyopadhyay, Kunal Banerjee

Browse the full HPDC paper archive.