{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:18Z","timestamp":1772164038121,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T00:00:00Z","timestamp":1528675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,11]]},"DOI":"10.1145\/3192366.3192401","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T08:16:01Z","timestamp":1528791361000},"page":"529-542","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Polyhedral auto-transformation with no integer linear programming"],"prefix":"10.1145","author":[{"given":"Aravind","family":"Acharya","sequence":"first","affiliation":[{"name":"Indian Institute of Science, India"}]},{"given":"Uday","family":"Bondhugula","sequence":"additional","affiliation":[{"name":"Indian Institute of Science, India"}]},{"given":"Albert","family":"Cohen","sequence":"additional","affiliation":[{"name":"Inria, France \/ ENS, France"}]}],"member":"320","published-online":{"date-parts":[[2018,6,11]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"An Approach for Finding Permutations Quickly: Fusion and Dimension matching. CoRR abs\/1803.10726","author":"Acharya Aravind","year":"2018","unstructured":"Aravind Acharya , Uday Bondhugula , and Albert Cohen . 2018. An Approach for Finding Permutations Quickly: Fusion and Dimension matching. CoRR abs\/1803.10726 ( 2018 ). arXiv: 1312.1070 http:\/\/arxiv.org\/abs\/1803.10726 Aravind Acharya, Uday Bondhugula, and Albert Cohen. 2018. An Approach for Finding Permutations Quickly: Fusion and Dimension matching. CoRR abs\/1803.10726 (2018). arXiv: 1312.1070 http:\/\/arxiv.org\/abs\/1803.10726"},{"key":"e_1_3_2_2_3_1","volume-title":"Clan: The Chunky Loop Analyzer.","author":"Bastoul C\u00e9dric","year":"2004","unstructured":"C\u00e9dric Bastoul . 2004 . Clan: The Chunky Loop Analyzer. (2004). The Clan user guide. C\u00e9dric Bastoul. 2004. Clan: The Chunky Loop Analyzer. (2004). The Clan user guide."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2896389"},{"key":"e_1_3_2_2_5_1","volume-title":"Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model. In International conference on Compiler Construction (ETAPS CC).","author":"Bondhugula Uday","unstructured":"Uday Bondhugula , M. Baskaran , Sriram Krishnamoorthy , J. Ramanujam , A. Rountev , and P. Sadayappan . 2008 . Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model. In International conference on Compiler Construction (ETAPS CC). Uday Bondhugula, M. Baskaran, Sriram Krishnamoorthy, J. Ramanujam, A. Rountev, and P. Sadayappan. 2008. Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model. In International conference on Compiler Construction (ETAPS CC)."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375595"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407835"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407835"},{"key":"e_1_3_2_2_9_1","volume-title":"https:\/\/www.gnu.org\/software\/glpk\/","author":"Linear Programming GNU.","year":"2000","unstructured":"GNU. 2000. GLPK (GNU Linear Programming Kit). ( 2000 ). https:\/\/www.gnu.org\/software\/glpk\/ . GNU. 2000. GLPK (GNU Linear Programming Kit). (2000). https:\/\/www.gnu.org\/software\/glpk\/."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626412500107"},{"key":"e_1_3_2_2_11_1","volume-title":"Gurobi Optimization","author":"Inc.","year":"2016","unstructured":"Inc. Gurobi Optimization . 2016 . Gurobi Optimizer Reference Manual . (2016). http:\/\/www.gurobi.com Inc. Gurobi Optimization. 2016. Gurobi Optimizer Reference Manual. (2016). http:\/\/www.gurobi.com"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462187"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/305138.305197"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(98)00021-0"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737954"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2963101"},{"key":"e_1_3_2_2_17_1","volume-title":"Encyclopedia of Parallel Computing. 1756\u20131765.","author":"Meister Beno\u00eet","unstructured":"Beno\u00eet Meister , Nicolas Vasilache , David Wohlford , Muthu Baskaran , Allen Leung , and Richard Lethin . 2011. R-Stream Compiler . In Encyclopedia of Parallel Computing. 1756\u20131765. Beno\u00eet Meister, Nicolas Vasilache, David Wohlford, Muthu Baskaran, Allen Leung, and Richard Lethin. 2011. R-Stream Compiler. In Encyclopedia of Parallel Computing. 1756\u20131765."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694364"},{"key":"e_1_3_2_2_19_1","unstructured":"Pluto 2008. PLUTO: A polyhedral automatic parallelizer and locality optimizer for multicores. (2008). http:\/\/plutocompiler.sourceforge.net.  Pluto 2008. PLUTO: A polyhedral automatic parallelizer and locality optimizer for multicores. (2008). http:\/\/plutocompiler.sourceforge.net."},{"key":"e_1_3_2_2_20_1","volume-title":"Dec 18, 2017.","year":"2008","unstructured":"Pluto. 2008 . Pluto: An automatic polyhedral parallelizer and locality optimzer. (2008). https:\/\/github.com\/bondhugula\/pluto commit:b5eedac65a8614b74168c27e578ecc780d84bd98 , Dec 18, 2017. Pluto. 2008. Pluto: An automatic polyhedral parallelizer and locality optimzer. (2008). https:\/\/github.com\/bondhugula\/pluto commit:b5eedac65a8614b74168c27e578ecc780d84bd98, Dec 18, 2017."},{"key":"e_1_3_2_2_21_1","unstructured":"Polybench v4.2 2016. Polybench suite. (2016). http:\/\/polybench.sourceforge.net.  Polybench v4.2 2016. Polybench suite. (2016). http:\/\/polybench.sourceforge.net."},{"key":"e_1_3_2_2_22_1","volume-title":"Scalable Hierarchical Polyhedral Compilation. In 2016 45th International Conference on Parallel Processing (ICPP). 432\u2013 441","author":"Pradelle B.","unstructured":"B. Pradelle , B. Meister , M. Baskaran , A. Konstantinidis , T. Henretty , and R. Lethin . 2016 . Scalable Hierarchical Polyhedral Compilation. In 2016 45th International Conference on Parallel Processing (ICPP). 432\u2013 441 . B. Pradelle, B. Meister, M. Baskaran, A. Konstantinidis, T. Henretty, and R. Lethin. 2016. Scalable Hierarchical Polyhedral Compilation. In 2016 45th International Conference on Parallel Processing (ICPP). 432\u2013 441."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2014.29"},{"key":"e_1_3_2_2_24_1","unstructured":"SNU. 2011. SNU NPB Suite. (2011). http:\/\/aces.snu.ac.kr\/software\/snunpb\/.  SNU. 2011. SNU NPB Suite. (2011). http:\/\/aces.snu.ac.kr\/software\/snunpb\/."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429127"},{"key":"e_1_3_2_2_26_1","volume-title":"International workshop on Polyhedral Compilation Techniques (IMPACT).","author":"Vasilache Nicolas","year":"2012","unstructured":"Nicolas Vasilache , Benoit Meister , Muthu Baskaran , and Richard Lethin . 2012 . Joint Scheduling and Layout Optimization to Enable Multi-Level Vectorization . In International workshop on Polyhedral Compilation Techniques (IMPACT). Nicolas Vasilache, Benoit Meister, Muthu Baskaran, and Richard Lethin. 2012. Joint Scheduling and Layout Optimization to Enable Multi-Level Vectorization. In International workshop on Polyhedral Compilation Techniques (IMPACT)."},{"key":"e_1_3_2_2_27_1","volume-title":"ISL: An Integer Set Library for the Polyhedral Model. In Mathematical Software - ICMS","author":"Verdoolaege Sven","year":"2010","unstructured":"Sven Verdoolaege . 2010 . ISL: An Integer Set Library for the Polyhedral Model. In Mathematical Software - ICMS 2010, Komei Fukuda, Joris Hoeven , Michael Joswig, and Nobuki Takayama (Eds.). Vol. 6327 . Springer , 299\u2013302. Sven Verdoolaege. 2010. ISL: An Integer Set Library for the Polyhedral Model. In Mathematical Software - ICMS 2010, Komei Fukuda, Joris Hoeven, Michael Joswig, and Nobuki Takayama (Eds.). Vol. 6327. Springer, 299\u2013302."},{"key":"e_1_3_2_2_28_1","volume-title":"Polyhedral Extraction Tool. In International workshop on Polyhedral Compilation Techniques (IMPACT).","author":"Verdoolaege Sven","year":"2012","unstructured":"Sven Verdoolaege and Tobias Grosser . 2012 . Polyhedral Extraction Tool. In International workshop on Polyhedral Compilation Techniques (IMPACT). Sven Verdoolaege and Tobias Grosser. 2012. Polyhedral Extraction Tool. In International workshop on Polyhedral Compilation Techniques (IMPACT)."}],"event":{"name":"PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Philadelphia PA USA","acronym":"PLDI '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192401","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192401","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:07:53Z","timestamp":1750198073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192401"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,11]]},"references-count":27,"alternative-id":["10.1145\/3192366.3192401","10.1145\/3192366"],"URL":"https:\/\/doi.org\/10.1145\/3192366.3192401","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296979.3192401","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,11]]},"assertion":[{"value":"2018-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}