{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,20]],"date-time":"2026-09-20T16:42:19Z","timestamp":1789922539039,"version":"4.0.1"},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T00:00:00Z","timestamp":1497398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002322","name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,6,14]]},"DOI":"10.1145\/3079079.3079098","type":"proceedings-article","created":{"date-parts":[[2017,5,31]],"date-time":"2017-05-31T19:31:40Z","timestamp":1496259100000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Simplification and runtime resolution of data dependence constraints for loop transformations"],"prefix":"10.1145","author":[{"given":"Diogo N.","family":"Sampaio","sequence":"first","affiliation":[{"name":"Univ. Grenoble Alpes, Grenoble, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Louis-No\u00ebl","family":"Pouchet","sequence":"additional","affiliation":[{"name":"Colorado State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabrice","family":"Rastello","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, Grenoble, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814285"},{"key":"e_1_3_2_1_2_1","volume-title":"Dependence analysis","author":"Banerjee U.","year":"1997","unstructured":"Banerjee , U. Dependence analysis , vol. 3 . Springer Science & Business Media , 1997 . Banerjee, U. Dependence analysis, vol. 3. Springer Science & Business Media, 1997."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11970-5_16"},{"key":"e_1_3_2_1_4_1","volume-title":"Software Vectorization Handbook","author":"Bik A. J. C.","year":"2004","unstructured":"Bik , A. J. C. Software Vectorization Handbook , The : Applying Intel Multimedia Extensions for Maximum Performance. Intel Press , 2004 . Bik, A. J. C. Software Vectorization Handbook, The: Applying Intel Multimedia Extensions for Maximum Performance. Intel Press, 2004."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375595"},{"key":"e_1_3_2_1_7_1","volume-title":"http:\/\/www.boost.org\/","author":"Boost","year":"1999","unstructured":"Boost c++ libraries. http:\/\/www.boost.org\/ , 1999 . Boost c++ libraries. http:\/\/www.boost.org\/, 1999."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/968708.968710"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/968708.968710"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.546613"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2006.13"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2008.2002049"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/209937.209947"},{"key":"e_1_3_2_1_14_1","volume-title":"http:\/\/dst.lbl.gov\/ACSSoftware\/colt\/","author":"Colt","year":"1999","unstructured":"Colt . http:\/\/dst.lbl.gov\/ACSSoftware\/colt\/ , 1999 . Colt. http:\/\/dst.lbl.gov\/ACSSoftware\/colt\/, 1999."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168908"},{"key":"e_1_3_2_1_16_1","unstructured":"Efficient java matrix library. http:\/\/ejml.org.  Efficient java matrix library. http:\/\/ejml.org."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407931"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407835"},{"key":"e_1_3_2_1_19_1","volume-title":"5th International Workshop on Polyhedral Compilation Techniques (2015","author":"Feautrier P.","year":"2015","unstructured":"Feautrier , P. The power of polynomials . In 5th International Workshop on Polyhedral Compilation Techniques (2015 ). http:\/\/impact.gforge.inria.fr\/impact 2015 \/. Feautrier, P. The power of polynomials. In 5th International Workshop on Polyhedral Compilation Techniques (2015). http:\/\/impact.gforge.inria.fr\/impact2015\/."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/645989.674312"},{"key":"e_1_3_2_1_21_1","unstructured":"Gimple. https:\/\/gcc.gnu.org\/onlinedocs\/gccint\/GIMPLE.html.  Gimple. https:\/\/gcc.gnu.org\/onlinedocs\/gccint\/GIMPLE.html."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-006-0012-3"},{"key":"e_1_3_2_1_23_1","first-page":"22","article-title":"Polly - performing polyhedral optimizations on a low-level intermediate representation","volume":"04","author":"Grosser T.","year":"2012","unstructured":"Grosser , T. , Groesllinger , A. , and Lengauer , C . Polly - performing polyhedral optimizations on a low-level intermediate representation . Parallel Processing Letters 04 , 22 ( 2012 ), X. Grosser, T., Groesllinger, A., and Lengauer, C. Polly - performing polyhedral optimizations on a low-level intermediate representation. Parallel Processing Letters 04, 22 (2012), X.","journal-title":"Parallel Processing Letters"},{"key":"e_1_3_2_1_24_1","volume-title":"5th International Workshop on Polyhedral Compilation Techniques (2015","author":"Grosser T.","year":"2015","unstructured":"Grosser , T. , Pop , S. , Ramanujam , J. , and Sadayappan , P . On recovering multi-dimensional arrays in polly . In 5th International Workshop on Polyhedral Compilation Techniques (2015 ). http:\/\/impact.gforge.inria.fr\/impact 2015 \/. Grosser, T., Pop, S., Ramanujam, J., and Sadayappan, P. On recovering multi-dimensional arrays in polly. In 5th International Workshop on Polyhedral Compilation Techniques (2015). http:\/\/impact.gforge.inria.fr\/impact2015\/."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2751205.2751248"},{"key":"e_1_3_2_1_26_1","volume-title":"Department of Informatics and Mathematics","author":"Gr\u00f6sslinger A.","year":"2003","unstructured":"Gr\u00f6sslinger , A. Extending the polyhedron model to inequality systems with non-linear parameters using quantifier elimination. Master's thesis , Department of Informatics and Mathematics , University of Passau , 2003 . Gr\u00f6sslinger, A. Extending the polyhedron model to inequality systems with non-linear parameters using quantifier elimination. Master's thesis, Department of Informatics and Mathematics, University of Passau, 2003."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2005.09.012"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/192007.192012"},{"key":"e_1_3_2_1_29_1","unstructured":"Ibm. XL C\/C++ for Linux. http:\/\/www-03.ibm.com\/software\/products\/en\/xlcpp-linux.  Ibm. XL C\/C++ for Linux. http:\/\/www-03.ibm.com\/software\/products\/en\/xlcpp-linux."},{"key":"e_1_3_2_1_30_1","volume-title":"Math kernel library. https:\/\/software.intel.com\/en-us\/intel-mkl","author":"Intel","year":"2003","unstructured":"Intel . Math kernel library. https:\/\/software.intel.com\/en-us\/intel-mkl , 2003 . Intel. Math kernel library. https:\/\/software.intel.com\/en-us\/intel-mkl, 2003."},{"key":"e_1_3_2_1_31_1","unstructured":"Intel Willow Garage and Itseez. http:\/\/opencv.org\/.  Intel Willow Garage and Itseez. http:\/\/opencv.org\/."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73588"},{"key":"e_1_3_2_1_33_1","volume-title":"Universit\u00e9 de Strasbourg","author":"Jimborean A.","year":"2012","unstructured":"Jimborean , A. Adapting the Polytope Model for Dynamic and Speculative Parallelization. Theses , Universit\u00e9 de Strasbourg , Sept. 2012 . Jimborean, A. Adapting the Polytope Model for Dynamic and Speculative Parallelization. Theses, Universit\u00e9 de Strasbourg, Sept. 2012."},{"key":"e_1_3_2_1_34_1","volume-title":"Gcc patch: implementation of alias versioning in vectorizer. https:\/\/gcc.gnu.org\/ml\/gcc-patches\/2006-05\/msg00266.html","author":"Kaplansky V.","year":"2006","unstructured":"Kaplansky , V. Gcc patch: implementation of alias versioning in vectorizer. https:\/\/gcc.gnu.org\/ml\/gcc-patches\/2006-05\/msg00266.html , 2006 . Kaplansky, V. Gcc patch: implementation of alias versioning in vectorizer. https:\/\/gcc.gnu.org\/ml\/gcc-patches\/2006-05\/msg00266.html, 2006."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/2190025.2190061"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462187"},{"key":"e_1_3_2_1_37_1","unstructured":"Lapack. http:\/\/www.netlib.org\/lapack\/.  Lapack. http:\/\/www.netlib.org\/lapack\/."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263719"},{"key":"e_1_3_2_1_39_1","unstructured":"Llvm assembly language. http:\/\/llvm.org\/docs\/LangRef.html.  Llvm assembly language. http:\/\/llvm.org\/docs\/LangRef.html."},{"key":"e_1_3_2_1_40_1","volume-title":"Universit\u00e9 de Strasbourg","author":"Martinez Caama\u00f1o J. M.","year":"2016","unstructured":"Martinez Caama\u00f1o , J. M. Fast and Flexible Compilation Techniques for Effective Speculative Polyhedral Parallelization. Theses , Universit\u00e9 de Strasbourg , Sept. 2016 . Martinez Caama\u00f1o, J. M. Fast and Flexible Compilation Techniques for Effective Speculative Polyhedral Parallelization. Theses, Universit\u00e9 de Strasbourg, Sept. 2016."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/143095.143130"},{"key":"e_1_3_2_1_42_1","first-page":"145","volume-title":"Proceedings of the 2006 GCC Developers Summit","author":"Nuzman D.","year":"2006","unstructured":"Nuzman , D. , and Zaks , A . Autovectorization in gcc-two years later . In Proceedings of the 2006 GCC Developers Summit ( 2006 ), Citeseer , pp. 145 -- 158 . Nuzman, D., and Zaks, A. Autovectorization in gcc-two years later. In Proceedings of the 2006 GCC Developers Summit (2006), Citeseer, pp. 145--158."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254124"},{"key":"e_1_3_2_1_44_1","volume-title":"International journal of parallel programming 41, 5","author":"Park E.","year":"2013","unstructured":"Park , E. , Cavazos , J. , Pouchet , L.-N. , Bastoul , C. , Cohen , A. , and Sadayappan , P . Predictive modeling in a polyhedral optimization space . International journal of parallel programming 41, 5 ( 2013 ), 704--750. Park, E., Cavazos, J., Pouchet, L.-N., Bastoul, C., Cohen, A., and Sadayappan, P. Predictive modeling in a polyhedral optimization space. International journal of parallel programming 41, 5 (2013), 704--750."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/11587514_15"},{"key":"e_1_3_2_1_46_1","volume-title":"the Polyhedral Compiler Collection, version 1.3","author":"Pouchet L.-N.","year":"2010","unstructured":"Pouchet , L.-N. Pocc , the Polyhedral Compiler Collection, version 1.3 , 2010 . http:\/\/pocc.sourceforge.net. Pouchet, L.-N. Pocc, the Polyhedral Compiler Collection, version 1.3, 2010. http:\/\/pocc.sourceforge.net."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925844.1926449"},{"key":"e_1_3_2_1_48_1","volume-title":"PolyBench\/C 4.1","author":"Pouchet L.-N.","year":"2015","unstructured":"Pouchet , L.-N. , and Yuki , T . PolyBench\/C 4.1 , 2015 . http:\/\/polybench.sourceforge.net. Pouchet, L.-N., and Yuki, T. PolyBench\/C 4.1, 2015. http:\/\/polybench.sourceforge.net."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125848"},{"key":"e_1_3_2_1_50_1","first-page":"1","volume-title":"Languages, Compilers and Run-Time Systems for Scalable Computers","author":"Pugh W.","year":"1996","unstructured":"Pugh , W. , and Wonnacott , D . Non-linear array dependence analysis . In Languages, Compilers and Run-Time Systems for Scalable Computers , B. Szymanski and B. Sinharoy, Eds. Springer US , 1996 , pp. 1 -- 14 . Pugh, W., and Wonnacott, D. Non-linear array dependence analysis. In Languages, Compilers and Run-Time Systems for Scalable Computers, B. Szymanski and B. Sinharoy, Eds. Springer US, 1996, pp. 1--14."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-7315(92)90027-K"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1024597010150"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(01)00041-X"},{"key":"e_1_3_2_1_54_1","volume-title":"Universit\u00e9 de Strasbourg","author":"Sukumaran-Rajam A.","year":"2015","unstructured":"Sukumaran-Rajam , A. Beyond the Realm of the Polyhedral Model: Combining Speculative Program Parallelization with Polyhedral Compilation. Theses , Universit\u00e9 de Strasbourg , Nov. 2015 . Sukumaran-Rajam, A. Beyond the Realm of the Polyhedral Model: Combining Speculative Program Parallelization with Polyhedral Compilation. Theses, Universit\u00e9 de Strasbourg, Nov. 2015."},{"key":"e_1_3_2_1_55_1","volume-title":"Fourier-motzkin with non-linear symbolic constant coefficients. M.eng. thesis","author":"Suriana P. A.","year":"2016","unstructured":"Suriana , P. A. Fourier-motzkin with non-linear symbolic constant coefficients. M.eng. thesis , Massachusetts Institute of Technology , Cambridge, MA , February 2016 . Suriana, P. A. Fourier-motzkin with non-linear symbolic constant coefficients. M.eng. thesis, Massachusetts Institute of Technology, Cambridge, MA, February 2016."},{"key":"e_1_3_2_1_56_1","volume-title":"GCC Research Opportunities Workshop (GROW'10)","author":"Trifunovic K.","year":"2010","unstructured":"Trifunovic , K. , Cohen , A. , Edelsohn , D. , Li , F. , Grosser , T. , Jagasia , H. , Ladelsky , R. , Pop , S. , Sj\u00f6din , J. , and Upadrasta , R . Graphite two years after: First lessons learned from real-world polyhedral compilation . In GCC Research Opportunities Workshop (GROW'10) ( 2010 ). Trifunovic, K., Cohen, A., Edelsohn, D., Li, F., Grosser, T., Jagasia, H., Ladelsky, R., Pop, S., Sj\u00f6din, J., and Upadrasta, R. Graphite two years after: First lessons learned from real-world polyhedral compilation. In GCC Research Opportunities Workshop (GROW'10) (2010)."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2581122.2544141"},{"key":"e_1_3_2_1_58_1","volume-title":"High Performance Compilers for Parallel Computing","author":"Wolfe M.","year":"1996","unstructured":"Wolfe , M. High Performance Compilers for Parallel Computing , 1 st ed. Adison-Wesley , 1996 . Wolfe, M. High Performance Compilers for Parallel Computing, 1st ed. Adison-Wesley, 1996.","edition":"1"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/353939"}],"event":{"name":"ICS '17: 2017 International Conference on Supercomputing","location":"Chicago Illinois","acronym":"ICS '17","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the International Conference on Supercomputing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3079079.3079098","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3079079.3079098","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:25Z","timestamp":1750215805000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3079079.3079098"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,14]]},"references-count":58,"alternative-id":["10.1145\/3079079.3079098","10.1145\/3079079"],"URL":"https:\/\/doi.org\/10.1145\/3079079.3079098","relation":{},"subject":[],"published":{"date-parts":[[2017,6,14]]},"assertion":[{"value":"2017-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}