Soumyadip Bandyopadhyay, Kunal Banerjee. PRESGen: A Fully Automatic Equivalence Checker for Validating Optimizing and Parallelizing Transformations. In Atul Kumar, Santonu Sarkar, Michael Gerndt, editors, Proceedings of the 2017 Workshop on Software Engineering Methods for Parallel and High Performance Applications, SEM4HPC@HPDC 2017, Washington, DC, USA, June 26-30, 2017. pages 13-20, ACM, 2017. [doi]
Abstract is missing.