{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:21:33Z","timestamp":1750220493579,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,3,18]],"date-time":"2022-03-18T00:00:00Z","timestamp":1647561600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/L01503X\/1"],"award-info":[{"award-number":["EP\/L01503X\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPIN-2020-05889"],"award-info":[{"award-number":["RGPIN-2020-05889"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,3,19]]},"DOI":"10.1145\/3497776.3517777","type":"proceedings-article","created":{"date-parts":[[2022,3,18]],"date-time":"2022-03-18T17:28:13Z","timestamp":1647624493000},"page":"218-230","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Mapping parallelism in a functional IR through constraint satisfaction: a case study on convolution for mobile GPUs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8789-8268","authenticated-orcid":false,"given":"Naums","family":"Mogers","sequence":"first","affiliation":[{"name":"University of Edinburgh, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu","family":"Li","sequence":"additional","affiliation":[{"name":"University of Edinburgh, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentin","family":"Radu","sequence":"additional","affiliation":[{"name":"University of Sheffield, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Dubach","sequence":"additional","affiliation":[{"name":"McGill University, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,3,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3306346.3322967"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2019.8661197"},{"key":"#cr-split#-e_1_3_2_1_3_1.1","unstructured":"Ulysse Beaugnon Basile Cl\u00e9ment Nicolas Tollenaere and Albert Cohen. 2019. On the Representation of Partially Specified Implementations and its Application to the Optimization of Linear Algebra Kernels on GPU. arXiv preprint arXiv:1904.03383 https:\/\/doi.org\/10.48550\/arXiv.1904.03383 10.48550\/arXiv.1904.03383"},{"key":"#cr-split#-e_1_3_2_1_3_1.2","unstructured":"Ulysse Beaugnon Basile Cl\u00e9ment Nicolas Tollenaere and Albert Cohen. 2019. On the Representation of Partially Specified Implementations and its Application to the Optimization of Linear Algebra Kernels on GPU. arXiv preprint arXiv:1904.03383 https:\/\/doi.org\/10.48550\/arXiv.1904.03383"},{"volume-title":"13th $USENIX$ Symposium on Operating Systems Design and Implementation ($OSDI$ 18). 578\u2013594. https:\/\/doi.org\/10.5555\/3291168.3291211","author":"Chen Tianqi","key":"e_1_3_2_1_4_1","unstructured":"Tianqi Chen , Thierry Moreau , Ziheng Jiang , Lianmin Zheng , Eddie Yan , Haichen Shen , Meghan Cowan , Leyuan Wang , Yuwei Hu , and Luis Ceze . 2018. $TVM$ : An automated end-to-end optimizing compiler for deep learning . In 13th $USENIX$ Symposium on Operating Systems Design and Implementation ($OSDI$ 18). 578\u2013594. https:\/\/doi.org\/10.5555\/3291168.3291211 10.5555\/3291168.3291211 Tianqi Chen, Thierry Moreau, Ziheng Jiang, Lianmin Zheng, Eddie Yan, Haichen Shen, Meghan Cowan, Leyuan Wang, Yuwei Hu, and Luis Ceze. 2018. $TVM$: An automated end-to-end optimizing compiler for deep learning. In 13th $USENIX$ Symposium on Operating Systems Design and Implementation ($OSDI$ 18). 578\u2013594. https:\/\/doi.org\/10.5555\/3291168.3291211"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2873289"},{"key":"e_1_3_2_1_6_1","unstructured":"The Khronos Group. 2022. OpenCL Reference Pages. https:\/\/www.khronos.org\/registry\/OpenCL\/sdk\/2.2\/docs\/man\/html\/  The Khronos Group. 2022. OpenCL Reference Pages. https:\/\/www.khronos.org\/registry\/OpenCL\/sdk\/2.2\/docs\/man\/html\/"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3168824"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062354"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2018.00745"},{"key":"#cr-split#-e_1_3_2_1_10_1.1","unstructured":"Liangzhen Lai Naveen Suda and Vikas Chandra. 2018. Not all ops are created equal!. arXiv preprint arXiv:1801.04326 https:\/\/doi.org\/10.48550\/arXiv.1801.04326 10.48550\/arXiv.1801.04326"},{"key":"#cr-split#-e_1_3_2_1_10_1.2","unstructured":"Liangzhen Lai Naveen Suda and Vikas Chandra. 2018. Not all ops are created equal!. arXiv preprint arXiv:1801.04326 https:\/\/doi.org\/10.48550\/arXiv.1801.04326"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2020.3030548"},{"key":"e_1_3_2_1_12_1","unstructured":"Arm Ltd. 2021. Arm Compute Library. https:\/\/developer.arm.com\/ip-products\/processors\/machine-learning\/compute-library  Arm Ltd. 2021. Arm Compute Library. https:\/\/developer.arm.com\/ip-products\/processors\/machine-learning\/compute-library"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500595"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3366428.3380771"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451162"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375594"},{"key":"e_1_3_2_1_17_1","volume-title":"INRIA Rennes, LINA CNRS UMR, 6241","author":"Prud\u2019homme Charles","year":"2016","unstructured":"Charles Prud\u2019homme , Jean-Guillaume Fages , and Xavier Lorca . 2016. Choco solver documentation. TASC , INRIA Rennes, LINA CNRS UMR, 6241 ( 2016 ). Charles Prud\u2019homme, Jean-Guillaume Fages, and Xavier Lorca. 2016. Choco solver documentation. TASC, INRIA Rennes, LINA CNRS UMR, 6241 (2016)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462176"},{"key":"#cr-split#-e_1_3_2_1_19_1.1","unstructured":"Karen Simonyan and Andrew Zisserman. 2014. Very deep convolutional networks for large-scale image recognition. arXiv preprint arXiv:1409.1556 https:\/\/doi.org\/10.48550\/arXiv.1409.1556 10.48550\/arXiv.1409.1556"},{"key":"#cr-split#-e_1_3_2_1_19_1.2","unstructured":"Karen Simonyan and Andrew Zisserman. 2014. Very deep convolutional networks for large-scale image recognition. arXiv preprint arXiv:1409.1556 https:\/\/doi.org\/10.48550\/arXiv.1409.1556"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2968455.2968521"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2017.7863730"},{"key":"#cr-split#-e_1_3_2_1_22_1.1","unstructured":"Nicolas Vasilache Oleksandr Zinenko Theodoros Theodoridis Priya Goyal Zachary DeVito William S Moses Sven Verdoolaege Andrew Adams and Albert Cohen. 2018. Tensor comprehensions: Framework-agnostic high-performance machine learning abstractions. arXiv preprint arXiv:1802.04730 https:\/\/doi.org\/10.48550\/arXiv.1802.04730 10.48550\/arXiv.1802.04730"},{"key":"#cr-split#-e_1_3_2_1_22_1.2","unstructured":"Nicolas Vasilache Oleksandr Zinenko Theodoros Theodoridis Priya Goyal Zachary DeVito William S Moses Sven Verdoolaege Andrew Adams and Albert Cohen. 2018. Tensor comprehensions: Framework-agnostic high-performance machine learning abstractions. arXiv preprint arXiv:1802.04730 https:\/\/doi.org\/10.48550\/arXiv.1802.04730"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2400682.2400713"},{"key":"e_1_3_2_1_24_1","volume-title":"Stripe: Tensor compilation via the nested polyhedral model. arXiv preprint arXiv:1903.06498, https:\/\/doi.org\/10.48550\/arXiv.1903.06498","author":"Zerrell Tim","year":"2019","unstructured":"Tim Zerrell and Jeremy Bruestle . 2019 . Stripe: Tensor compilation via the nested polyhedral model. arXiv preprint arXiv:1903.06498, https:\/\/doi.org\/10.48550\/arXiv.1903.06498 10.48550\/arXiv.1903.06498 Tim Zerrell and Jeremy Bruestle. 2019. Stripe: Tensor compilation via the nested polyhedral model. arXiv preprint arXiv:1903.06498, https:\/\/doi.org\/10.48550\/arXiv.1903.06498"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3229762.3229764"},{"key":"e_1_3_2_1_26_1","volume-title":"Ameer Haj-Ali, Yida Wang, Jun Yang, Danyang Zhuo, and Koushik Sen.","author":"Zheng Lianmin","year":"2020","unstructured":"Lianmin Zheng , Chengfan Jia , Minmin Sun , Zhao Wu , Cody Hao Yu , Ameer Haj-Ali, Yida Wang, Jun Yang, Danyang Zhuo, and Koushik Sen. 2020 . Ansor : Generating high-performance tensor programs for deep learning. In 14th $USENIX$ Symposium on Operating Systems Design and Implementation ( $OSDI$ 20). 863\u2013879. https:\/\/doi.org\/10.5555\/3488766.3488815 10.5555\/3488766.3488815 Lianmin Zheng, Chengfan Jia, Minmin Sun, Zhao Wu, Cody Hao Yu, Ameer Haj-Ali, Yida Wang, Jun Yang, Danyang Zhuo, and Koushik Sen. 2020. Ansor: Generating high-performance tensor programs for deep learning. In 14th $USENIX$ Symposium on Operating Systems Design and Implementation ($OSDI$ 20). 863\u2013879. https:\/\/doi.org\/10.5555\/3488766.3488815"}],"event":{"name":"CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Seoul South Korea","acronym":"CC '22"},"container-title":["Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3497776.3517777","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3497776.3517777","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:49:26Z","timestamp":1750193366000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3497776.3517777"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,18]]},"references-count":30,"alternative-id":["10.1145\/3497776.3517777","10.1145\/3497776"],"URL":"https:\/\/doi.org\/10.1145\/3497776.3517777","relation":{},"subject":[],"published":{"date-parts":[[2022,3,18]]},"assertion":[{"value":"2022-03-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}