Generating fast sparse matrix vector multiplication from a high level generic functional IR-Reference-Cited by-同舟云学术

Generating fast sparse matrix vector multiplication from a high level generic functional IR

Published:2020-02-22 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 29th International Conference on Compiler Construction
language:
Short-container-title:

Author:

Pizzuti Federico¹,Steuwer Michel²,Dubach Christophe¹

Affiliation:

1. University of Edinburgh, UK

2. University of Glasgow, UK

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3377555.3377896

Reference18 articles.

1. A Brief Overview of Agda – A Functional Language with Dependent Types

2. 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.

3. Format abstraction for sparse tensor algebra compilers

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms;ACM Transactions on Programming Languages and Systems;2024-05-22

2. (De/Re)-Compositions Expressed Systematically via MDH-Based Schedules;Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction;2023-02-17

3. Generating Work Efficient Scan Implementations for GPUs the Functional Way;Euro-Par 2022: Parallel Processing;2022

4. Generating high performance code for irregular data structures using dependent types;Proceedings of the 9th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing;2021-08-22

5. Computing persistent homology in Futhark;Proceedings of the 9th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing;2021-08-22