{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:15Z","timestamp":1750220835397,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,18]],"date-time":"2019-08-18T00:00:00Z","timestamp":1566086400000},"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":["1819353"],"award-info":[{"award-number":["1819353"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,8,18]]},"DOI":"10.1145\/3331553.3342614","type":"proceedings-article","created":{"date-parts":[[2019,7,29]],"date-time":"2019-07-29T20:51:45Z","timestamp":1564433505000},"page":"14-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Position-dependent arrays and their application for high performance code generation"],"prefix":"10.1145","author":[{"given":"Federico","family":"Pizzuti","sequence":"first","affiliation":[{"name":"University of Edinburgh, UK"}]},{"given":"Michel","family":"Steuwer","sequence":"additional","affiliation":[{"name":"University of Glasgow, UK"}]},{"given":"Christophe","family":"Dubach","sequence":"additional","affiliation":[{"name":"University of Edinburgh, UK"}]}],"member":"320","published-online":{"date-parts":[[2019,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Strategy Preserving Compilation for Parallel Functional Code. CoRR abs\/1710.08332","author":"Atkey Robert","year":"2017","unstructured":"Robert Atkey , Michel Steuwer , Sam Lindley , and Christophe Dubach . 2017. Strategy Preserving Compilation for Parallel Functional Code. CoRR abs\/1710.08332 ( 2017 ). Robert Atkey, Michel Steuwer, Sam Lindley, and Christophe Dubach. 2017. Strategy Preserving Compilation for Parallel Functional Code. CoRR abs\/1710.08332 (2017)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3115936.3115937"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1377603.1377606"},{"key":"e_1_3_2_1_4_1","first-page":"1","article-title":"Idris: general purpose programming with dependent types","author":"Brady Edwin","year":"2013","unstructured":"Edwin Brady . 2013 . Idris: general purpose programming with dependent types . In PLPV. ACM , 1 - 2 . Edwin Brady. 2013. Idris: general purpose programming with dependent types. In PLPV. ACM, 1-2.","journal-title":"PLPV. ACM"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122955.3122971"},{"key":"e_1_3_2_1_6_1","first-page":"1286","article-title":"Matrix-vector multiplication and triangular linear solver using GPGPU for symmetric positive definite matrices derived from elliptic equations","author":"de Castro Martins Thiago","year":"2012","unstructured":"Thiago de Castro Martins , Jacqueline de Miranda Kian , Andr\u00e9 Kubagawa Sato , and Marcos de Sales Guerra Tsuzuki . 2012 . Matrix-vector multiplication and triangular linear solver using GPGPU for symmetric positive definite matrices derived from elliptic equations . In SCIS&ISIS. IEEE , 1286 - 1291 . Thiago de Castro Martins, Jacqueline de Miranda Kian, Andr\u00e9 Kubagawa Sato, and Marcos de Sales Guerra Tsuzuki. 2012. Matrix-vector multiplication and triangular linear solver using GPGPU for symmetric positive definite matrices derived from elliptic equations. In SCIS&ISIS. IEEE, 1286-1291.","journal-title":"SCIS&ISIS. IEEE"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sigpro.2015.09.017"},{"key":"e_1_3_2_1_8_1","unstructured":"Google et al. 2017. XLA (Accelerated Linear Algebra): domain-specific compiler for linear algebra that optimizes TensorFlow computations.  Google et al. 2017. XLA (Accelerated Linear Algebra): domain-specific compiler for linear algebra that optimizes TensorFlow computations."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/504210.504213"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Bastian Hagedorn Larisa Stoltzfus Michel Steuwer Sergei Gorlatch and Christophe Dubach. 2018. High performance stencil code generation with Lift. In CGO. ACM.   Bastian Hagedorn Larisa Stoltzfus Michel Steuwer Sergei Gorlatch and Christophe Dubach. 2018. High performance stencil code generation with Lift. In CGO . ACM.","DOI":"10.1145\/3168824"},{"key":"e_1_3_2_1_11_1","volume-title":"Oancea","author":"Henriksen Troels","year":"2017","unstructured":"Troels Henriksen , Niels G. W. Serup , Martin Elsman , Fritz Henglein , and Cosmin E . Oancea . 2017 . Futhark: purely functional GPU-programming with nested parallelism and in-place array updates. In PLDI. ACM. Troels Henriksen, Niels G. W. Serup, Martin Elsman, Fritz Henglein, and Cosmin E. Oancea. 2017. Futhark: purely functional GPU-programming with nested parallelism and in-place array updates. In PLDI. ACM."},{"key":"e_1_3_2_1_12_1","volume-title":"Epigram: Practical Programming with Dependent Types. In Advanced Functional Programming (Lecture Notes in Computer Science)","author":"McBride Conor","year":"2004","unstructured":"Conor McBride . 2004 . Epigram: Practical Programming with Dependent Types. In Advanced Functional Programming (Lecture Notes in Computer Science) , Vol. 3622 . Springer , 130-170. Conor McBride. 2004. Epigram: Practical Programming with Dependent Types. In Advanced Functional Programming (Lecture Notes in Computer Science), Vol. 3622. Springer, 130-170."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Trevor L. McDonell Manuel M. T. Chakravarty Gabriele Keller and Ben Lippmeier. 2013. Optimising purely functional GPU programs. In ICFP. ACM.   Trevor L. McDonell Manuel M. T. Chakravarty Gabriele Keller and Ben Lippmeier. 2013. Optimising purely functional GPU programs. In ICFP . ACM.","DOI":"10.1145\/2500365.2500595"},{"key":"e_1_3_2_1_14_1","volume-title":"Amarasinghe","author":"Ragan-Kelley Jonathan","year":"2013","unstructured":"Jonathan Ragan-Kelley , Connelly Barnes , Andrew Adams , Sylvain Paris , Fr\u00e9do Durand , and Saman P . Amarasinghe . 2013 . Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines. In PLDI. ACM. Jonathan Ragan-Kelley, Connelly Barnes, Andrew Adams, Sylvain Paris, Fr\u00e9do Durand, and Saman P. Amarasinghe. 2013. Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines. In PLDI. ACM."},{"key":"e_1_3_2_1_15_1","first-page":"22","article-title":"Performance portable GPU code generation for matrix multiplication. In GPGPU@PPoPP","author":"Remmelg Toomas","year":"2016","unstructured":"Toomas Remmelg , Thibaut Lutz , Michel Steuwer , and Christophe Dubach . 2016 . Performance portable GPU code generation for matrix multiplication. In GPGPU@PPoPP . ACM , 22 - 31 . Toomas Remmelg, Thibaut Lutz, Michel Steuwer, and Christophe Dubach. 2016. Performance portable GPU code generation for matrix multiplication. In GPGPU@PPoPP. ACM, 22-31.","journal-title":"ACM"},{"key":"e_1_3_2_1_16_1","volume-title":"Glow: Graph Lowering Compiler Techniques for Neural Networks. CoRR abs\/1805.00907","author":"Rotem Nadav","year":"2018","unstructured":"Nadav Rotem , Jordan Fix , Saleem Abdulrasool , Summer Deng , Roman Dzhabarov , James Hegeman , Roman Levenstein , Bert Maher , Nadathur Satish , Jakob Olesen , Jongsoo Park , Artem Rakhov , and Misha Smelyanskiy . 2018 . Glow: Graph Lowering Compiler Techniques for Neural Networks. CoRR abs\/1805.00907 (2018). Nadav Rotem, Jordan Fix, Saleem Abdulrasool, Summer Deng, Roman Dzhabarov, James Hegeman, Roman Levenstein, Bert Maher, Nadathur Satish, Jakob Olesen, Jongsoo Park, Artem Rakhov, and Misha Smelyanskiy. 2018. Glow: Graph Lowering Compiler Techniques for Neural Networks. CoRR abs\/1805.00907 (2018)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784754"},{"key":"e_1_3_2_1_18_1","first-page":"74","article-title":"Lift: a functional data-parallel IR for high-performance GPU code generation","author":"Steuwer Michel","year":"2017","unstructured":"Michel Steuwer , Toomas Remmelg , and Christophe Dubach . 2017 . Lift: a functional data-parallel IR for high-performance GPU code generation . In CGO. ACM , 74 - 85 . Michel Steuwer, Toomas Remmelg, and Christophe Dubach. 2017. Lift: a functional data-parallel IR for high-performance GPU code generation. In CGO. ACM, 74-85.","journal-title":"CGO. ACM"},{"key":"e_1_3_2_1_19_1","volume-title":"Tensor Comprehensions: Framework-Agnostic 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: Framework-Agnostic High-Performance Machine Learning Abstractions. CoRR abs\/1802.04730 (2018). 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. CoRR abs\/1802.04730 (2018)."}],"event":{"name":"ICFP '19: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Berlin Germany","acronym":"ICFP '19"},"container-title":["Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3331553.3342614","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3331553.3342614","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:39Z","timestamp":1750202019000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3331553.3342614"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,18]]},"references-count":19,"alternative-id":["10.1145\/3331553.3342614","10.1145\/3331553"],"URL":"https:\/\/doi.org\/10.1145\/3331553.3342614","relation":{},"subject":[],"published":{"date-parts":[[2019,8,18]]},"assertion":[{"value":"2019-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}