@inproceedings{sampaio:hal-01653819, TITLE = {{Simplification and Run-time Resolution of Data Dependence Constraints for Loop Transformations}}, AUTHOR = {Sampaio, Diogo and Pouchet, Louis-No{\"e}l and Rastello, Fabrice}, URL = {https://inria.hal.science/hal-01653819}, BOOKTITLE = {{ICS 2017 - International Conference on Supercomputing}}, ADDRESS = {Chicago, United States}, PAGES = {1-11}, YEAR = {2017}, MONTH = Jun, DOI = {10.1145/3079079.3079098}, KEYWORDS = {Quantifier Elimination ; Loop optimization ; Polynomials ; Polyhedral Transformation ; May-alias}, PDF = {https://inria.hal.science/hal-01653819/file/ics17.pdf}, HAL_ID = {hal-01653819}, HAL_VERSION = {v1}, }