Publication - Proceedings Article PolyCheck: dynamic verification of iteration space transformations on affine programs

https://doi.org/10.1145/2837614.2837656
Conference Proceedings
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Authors
Wenlei Bao, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, P. Sadayappan
English