@inproceedings{bao:hal-01234104, TITLE = {{PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs}}, AUTHOR = {Bao, Wenlei and Sriram, Krishnamachari and Pouchet, Louis-No{\"e}l and Rastello, Fabrice and Ponnuswamy, Sadayappan}, URL = {https://inria.hal.science/hal-01234104}, BOOKTITLE = {{Proceedings of the 43nd Annual \{ACM SIGPLAN-SIGACT\} Symposium on Principles of Programming Languages, \{POPL\} 2016}}, ADDRESS = {St Petersburg, United States}, PUBLISHER = {{ACM}}, YEAR = {2016}, MONTH = Jan, KEYWORDS = {hybrid verification ; loop transformations ; polyhedral framework ; program equivalence}, HAL_ID = {hal-01234104}, HAL_VERSION = {v1}, }