{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T17:53:05Z","timestamp":1771955585409,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,2,22]],"date-time":"2020-02-22T00:00:00Z","timestamp":1582329600000},"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":[[2020,2,22]]},"DOI":"10.1145\/3377555.3377896","type":"proceedings-article","created":{"date-parts":[[2020,2,24]],"date-time":"2020-02-24T16:22:40Z","timestamp":1582561360000},"page":"85-95","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Generating fast sparse matrix vector multiplication from a high level generic functional IR"],"prefix":"10.1145","author":[{"given":"Federico","family":"Pizzuti","sequence":"first","affiliation":[{"name":"University of Edinburgh, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Steuwer","sequence":"additional","affiliation":[{"name":"University of Glasgow, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Dubach","sequence":"additional","affiliation":[{"name":"University of Edinburgh, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,2,24]]},"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"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_6"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Edwin Brady. 2013. Idris: general purpose programming with dependent types. In PLPV. ACM 1\u20132.  Edwin Brady. 2013. Idris: general purpose programming with dependent types. In PLPV. ACM 1\u20132.","DOI":"10.1145\/2428116.2428118"},{"key":"e_1_3_2_1_4_1","volume-title":"TVM: An Automated End-to-End Optimizing Compiler for Deep Learning","author":"Chen Tianqi","year":"2018"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276493"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122955.3122971"},{"key":"e_1_3_2_1_9_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_10_1","volume-title":"Oancea","author":"Henriksen Troels","year":"2017"},{"key":"e_1_3_2_1_11_1","volume-title":"Amarasinghe","author":"Kjolstad Fredrik","year":"2017"},{"key":"e_1_3_2_1_12_1","volume-title":"OOPSLA","author":"Lei\u00dfa Roland","year":"2018"},{"key":"e_1_3_2_1_13_1","volume-title":"Epigram: Practical Programming with Dependent Types. In Advanced Functional Programming (Lecture Notes in Computer Science)","author":"McBride Conor","year":"2004"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Trevor L. McDonell Manuel M. T. Chakravarty Gabriele Keller and Ben Lippmeier. 2013. Optimising purely functional GP U programs. In ICFP. ACM.  Trevor L. McDonell Manuel M. T. Chakravarty Gabriele Keller and Ben Lippmeier. 2013. Optimising purely functional GP U programs. In ICFP. ACM.","DOI":"10.1145\/2500365.2500595"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3331553.3342614"},{"key":"e_1_3_2_1_16_1","volume-title":"Amarasinghe","author":"Ragan-Kelley Jonathan","year":"2013"},{"key":"e_1_3_2_1_17_1","volume-title":"14th IEEE International Conference on High Performance Computing and Communication &amp","author":"Simecek Ivan","year":"2012"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Michel Steuwer Christian Fensch Sam Lindley and Christophe Dubach. 2015. Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. In ICFP. ACM 205\u2013217.  Michel Steuwer Christian Fensch Sam Lindley and Christophe Dubach. 2015. Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. In ICFP. ACM 205\u2013217.","DOI":"10.1145\/2858949.2784754"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Michel Steuwer Toomas Remmelg and Christophe Dubach. 2017. Lift: a functional data-parallel IR for high-performance GP U code generation. In CGO. ACM 74\u201385.  Michel Steuwer Toomas Remmelg and Christophe Dubach. 2017. Lift: a functional data-parallel IR for high-performance GP U code generation. In CGO. ACM 74\u201385.","DOI":"10.1109\/CGO.2017.7863730"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2584665"}],"event":{"name":"CC '20: 29th International Conference on Compiler Construction","location":"San Diego CA USA","acronym":"CC '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 29th International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377555.3377896","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377555.3377896","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:18Z","timestamp":1750199598000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377555.3377896"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,22]]},"references-count":18,"alternative-id":["10.1145\/3377555.3377896","10.1145\/3377555"],"URL":"https:\/\/doi.org\/10.1145\/3377555.3377896","relation":{},"subject":[],"published":{"date-parts":[[2020,2,22]]},"assertion":[{"value":"2020-02-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}