{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:37Z","timestamp":1772164117520,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,5]],"date-time":"2018-11-05T00:00:00Z","timestamp":1541376000000},"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,11,5]]},"DOI":"10.1145\/3278122.3278131","type":"proceedings-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T11:28:39Z","timestamp":1540380519000},"page":"79-92","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Meta-programming for cross-domain tensor optimizations"],"prefix":"10.1145","author":[{"given":"Adilla","family":"Susungi","sequence":"first","affiliation":[{"name":"MINES ParisTech, France \/ PSL Research University, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norman A.","family":"Rink","sequence":"additional","affiliation":[{"name":"TU Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Albert","family":"Cohen","sequence":"additional","affiliation":[{"name":"Inria, France \/ ENS, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeronimo","family":"Castrillon","sequence":"additional","affiliation":[{"name":"TU Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claude","family":"Tadonki","sequence":"additional","affiliation":[{"name":"MINES ParisTech, France \/ PSL Research University, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2017. NumPy package for scientific computing with Python. http: \/\/www.numpy.org\/ .  2017. NumPy package for scientific computing with Python. http: \/\/www.numpy.org\/ ."},{"key":"e_1_3_2_1_2_1","unstructured":"Mart\u00edn Abadi and Ashish Agarwal et al. 2015. TensorFlow: LargeScale Machine Learning on Heterogeneous Distributed Systems. http:\/\/download.tensorflow.org\/paper\/whitepaper2015.pdf.  Mart\u00edn Abadi and Ashish Agarwal et al. 2015. TensorFlow: LargeScale Machine Learning on Heterogeneous Distributed Systems. http:\/\/download.tensorflow.org\/paper\/whitepaper2015.pdf."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2566630"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2854038.2854048"},{"key":"e_1_3_2_1_5_1","volume-title":"10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings. 272\u2013283","author":"Bastoul C\u00e9dric","year":"2004","unstructured":"C\u00e9dric Bastoul and Paul Feautrier . 2004 . More Legal Transformations for Locality. In Euro-Par 2004 Parallel Processing , 10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings. 272\u2013283 . C\u00e9dric Bastoul and Paul Feautrier. 2004. More Legal Transformations for Locality. In Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings. 272\u2013283."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2004.840311"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.25080\/Majora-92bf1922-003"},{"key":"e_1_3_2_1_8_1","volume-title":"ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).","author":"Bondhugula Uday","unstructured":"Uday Bondhugula , Albert Hartono , J. Ramanujam , and P. Sadayappan . 2008. A Practical Automatic Polyhedral Program Optimization System . In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). Uday Bondhugula, Albert Hartono, J. Ramanujam, and P. Sadayappan. 2008. A Practical Automatic Polyhedral Program Optimization System. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)."},{"key":"e_1_3_2_1_10_1","volume-title":"TVM: End-to-End Optimization Stack for Deep Learning. CoRR abs\/1802.04799","author":"Chen Tianqi","year":"2018","unstructured":"Tianqi Chen , Thierry Moreau , Ziheng Jiang , Haichen Shen , Eddie Q. Yan , Leyuan Wang , Yuwei Hu , Luis Ceze , Carlos Guestrin , and Arvind Krishnamurthy . 2018 . TVM: End-to-End Optimization Stack for Deep Learning. CoRR abs\/1802.04799 (2018). arXiv: 1802.04799 http:\/\/arxiv. org\/abs\/1802.04799 Tianqi Chen, Thierry Moreau, Ziheng Jiang, Haichen Shen, Eddie Q. Yan, Leyuan Wang, Yuwei Hu, Luis Ceze, Carlos Guestrin, and Arvind Krishnamurthy. 2018. TVM: End-to-End Optimization Stack for Deep Learning. CoRR abs\/1802.04799 (2018). arXiv: 1802.04799 http:\/\/arxiv. org\/abs\/1802.04799"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254079"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088149.1088169"},{"key":"e_1_3_2_1_13_1","volume-title":"David Padua, and Keshav Pingali.","author":"Donadio Sebastien","year":"2006","unstructured":"Sebastien Donadio , James Brodman , Thomas Roeder , Kamen Yotov , Denis Barthou , Albert Cohen , Mar\u00eda Jes\u00fas Garzar\u00e1n , David Padua, and Keshav Pingali. 2006 . A Language for the Compact Representation of Multiple Program Versions. Springer Berlin Heidelberg , Berlin, Heidelberg, 136\u2013151. Sebastien Donadio, James Brodman, Thomas Roeder, Kamen Yotov, Denis Barthou, Albert Cohen, Mar\u00eda Jes\u00fas Garzar\u00e1n, David Padua, and Keshav Pingali. 2006. A Language for the Compact Representation of Multiple Program Versions. Springer Berlin Heidelberg, Berlin, Heidelberg, 136\u2013151."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-006-0012-3"},{"key":"e_1_3_2_1_15_1","volume-title":"Harris corner detection on a NUMA manycore. Future Generation Computer Systems","author":"Haggui Olfa","year":"2018","unstructured":"Olfa Haggui , Claude Tadonki , Lionel Lacassagne , Fatma Sayadi , and Bouraoui Ouni . 2018. Harris corner detection on a NUMA manycore. Future Generation Computer Systems ( 2018 ). Olfa Haggui, Claude Tadonki, Lionel Lacassagne, Fatma Sayadi, and Bouraoui Ouni. 2018. Harris corner detection on a NUMA manycore. Future Generation Computer Systems (2018)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062354"},{"key":"e_1_3_2_1_17_1","volume-title":"Fast Static Condensation for the Helmholtz Equation in a Spectral-Element Discretization","author":"Huismann Immo","unstructured":"Immo Huismann , J\u00f6rg Stiller , and Jochen Fr\u00f6hlich . 2016. Fast Static Condensation for the Helmholtz Equation in a Spectral-Element Discretization . Springer International Publishing , Cham , 371\u2013380. Immo Huismann, J\u00f6rg Stiller, and Jochen Fr\u00f6hlich. 2016. Fast Static Condensation for the Helmholtz Equation in a Spectral-Element Discretization. Springer International Publishing, Cham, 371\u2013380."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133901"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2627373.2627387"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2687415"},{"key":"e_1_3_2_1_21_1","volume-title":"Euro-Par 2004 Parallel Processing","author":"M\u00fcller-Pfefferkorn Ralph","unstructured":"Ralph M\u00fcller-Pfefferkorn , Wolfgang E. Nagel , and Bernd Trenkler . 2004. Optimizing Cache Access: A Tool for Source-to-Source Transformations and Real-Life Compiler Tests . In Euro-Par 2004 Parallel Processing , Marco Danelutto, Marco Vanneschi, and Domenico Laforenza (Eds.). Springer Berlin Heidelberg, Berlin , Heidelberg , 72\u201381. Ralph M\u00fcller-Pfefferkorn, Wolfgang E. Nagel, and Bernd Trenkler. 2004. Optimizing Cache Access: A Tool for Source-to-Source Transformations and Real-Life Compiler Tests. In Euro-Par 2004 Parallel Processing, Marco Danelutto, Marco Vanneschi, and Domenico Laforenza (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 72\u201381."},{"key":"e_1_3_2_1_22_1","first-page":"2","article-title":"SPIRAL","volume":"93","author":"Puschel M.","year":"2005","unstructured":"M. Puschel , J. M. F. Moura , J. R. Johnson , D. Padua , M. M. Veloso , B. W. Singer , Jianxin Xiong , F. Franchetti , A. Gacic , Y. Voronenko , K. Chen , R. W. Johnson , and N. Rizzolo . 2005 . SPIRAL : Code Generation for DSP Transforms. Proc. IEEE 93 , 2 (Feb 2005), 232\u2013275. M. Puschel, J. M. F. Moura, J. R. Johnson, D. Padua, M. M. Veloso, B. W. Singer, Jianxin Xiong, F. Franchetti, A. Gacic, Y. Voronenko, K. Chen, R. W. Johnson, and N. Rizzolo. 2005. SPIRAL: Code Generation for DSP Transforms. Proc. IEEE 93, 2 (Feb 2005), 232\u2013275.","journal-title":"Code Generation for DSP Transforms. Proc. IEEE"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462176"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.Companion.2012.134"},{"key":"e_1_3_2_1_25_1","volume-title":"Modeling of languages for tensor manipulation. CoRR abs\/1801.08771","author":"Rink Norman A.","year":"2018","unstructured":"Norman A. Rink . 2018. Modeling of languages for tensor manipulation. CoRR abs\/1801.08771 ( 2018 ). arXiv: 1801.08771 http:\/\/arxiv.org\/abs\/ 1801.08771 Norman A. Rink. 2018. Modeling of languages for tensor manipulation. CoRR abs\/1801.08771 (2018). arXiv: 1801.08771 http:\/\/arxiv.org\/abs\/ 1801.08771"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183895.3183900"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004458"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3168812"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2854038.2854060"},{"key":"e_1_3_2_1_30_1","volume-title":"Design of a high-performance GEMM-like Tensor-Tensor Multiplication. CoRR abs\/1607.00145","author":"Springer Paul","year":"2016","unstructured":"Paul Springer and Paolo Bientinesi . 2016. Design of a high-performance GEMM-like Tensor-Tensor Multiplication. CoRR abs\/1607.00145 ( 2016 ). http:\/\/arxiv.org\/abs\/1607.00145 Paul Springer and Paolo Bientinesi. 2016. Design of a high-performance GEMM-like Tensor-Tensor Multiplication. CoRR abs\/1607.00145 (2016). http:\/\/arxiv.org\/abs\/1607.00145"},{"key":"e_1_3_2_1_31_1","volume-title":"TTC: A Tensor Transposition Compiler for Multiple Architectures. CoRR abs\/1607.01249","author":"Springer Paul","year":"2016","unstructured":"Paul Springer , Aravind Sankaran , and Paolo Bientinesi . 2016 . TTC: A Tensor Transposition Compiler for Multiple Architectures. CoRR abs\/1607.01249 (2016). http:\/\/arxiv.org\/abs\/1607.01249 Paul Springer, Aravind Sankaran, and Paolo Bientinesi. 2016. TTC: A Tensor Transposition Compiler for Multiple Architectures. CoRR abs\/1607.01249 (2016). http:\/\/arxiv.org\/abs\/1607.01249"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784754"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/3049832.3049841"},{"key":"e_1_3_2_1_34_1","volume-title":"Proceedings of the 7th International Workshop on Polyhedral Compilation Techniques (IMPACT \u201917)","author":"Susungi Adilla","year":"2017","unstructured":"Adilla Susungi , Albert Cohen , and Claude Tadonki . 2017 . More Data Locality for Static Control Programs on NUMA Architectures . In Proceedings of the 7th International Workshop on Polyhedral Compilation Techniques (IMPACT \u201917) . Adilla Susungi, Albert Cohen, and Claude Tadonki. 2017. More Data Locality for Static Control Programs on NUMA Architectures. In Proceedings of the 7th International Workshop on Polyhedral Compilation Techniques (IMPACT \u201917)."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3136040.3136050"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2010.04.018"},{"key":"e_1_3_2_1_37_1","volume-title":"Automatic Correction of Loop Transformations. In 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007","author":"Vasilache Nicolas","year":"2007","unstructured":"Nicolas Vasilache , Albert Cohen , and Louis-No\u00ebl Pouchet . 2007 . Automatic Correction of Loop Transformations. In 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007 ), Brasov, Romania , September 15-19, 2007. 292\u2013304. Nicolas Vasilache, Albert Cohen, and Louis-No\u00ebl Pouchet. 2007. Automatic Correction of Loop Transformations. In 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007), Brasov, Romania, September 15-19, 2007. 292\u2013304."},{"key":"e_1_3_2_1_38_1","volume-title":"Tensor Comprehensions: FrameworkAgnostic High-Performance Machine Learning Abstractions. CoRR abs\/1802.04730","author":"Vasilache Nicolas","year":"2018","unstructured":"Nicolas Vasilache , Oleksandr Zinenko , Theodoros Theodoridis , Priya Goyal , Zachary DeVito , William S. Moses , Sven Verdoolaege , Andrew Adams , and Albert Cohen . 2018 . Tensor Comprehensions: FrameworkAgnostic High-Performance Machine Learning Abstractions. CoRR abs\/1802.04730 (2018). arXiv: 1802.04730 http:\/\/arxiv.org\/abs\/1802. 04730 Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary DeVito, William S. Moses, Sven Verdoolaege, Andrew Adams, and Albert Cohen. 2018. Tensor Comprehensions: FrameworkAgnostic High-Performance Machine Learning Abstractions. CoRR abs\/1802.04730 (2018). arXiv: 1802.04730 http:\/\/arxiv.org\/abs\/1802. 04730"},{"key":"e_1_3_2_1_39_1","volume-title":"POET: Parameterized Optimizations for Empirical Tuning. In 2007 IEEE International Parallel and Distributed Processing Symposium. 1\u20138.","author":"Yi Q.","unstructured":"Q. Yi , K. Seymour , H. You , R. Vuduc , and D. Quinlan . 2007 . POET: Parameterized Optimizations for Empirical Tuning. In 2007 IEEE International Parallel and Distributed Processing Symposium. 1\u20138. Q. Yi, K. Seymour, H. You, R. Vuduc, and D. Quinlan. 2007. POET: Parameterized Optimizations for Empirical Tuning. In 2007 IEEE International Parallel and Distributed Processing Symposium. 1\u20138."}],"event":{"name":"GPCE '18: 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","location":"Boston MA USA","acronym":"GPCE '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3278122.3278131","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3278122.3278131","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:54:09Z","timestamp":1750190049000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3278122.3278131"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,5]]},"references-count":38,"alternative-id":["10.1145\/3278122.3278131","10.1145\/3278122"],"URL":"https:\/\/doi.org\/10.1145\/3278122.3278131","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3393934.3278131","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,11,5]]},"assertion":[{"value":"2018-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}