Loop and data transformations for sparse matrix code

Anand Venkat, Mary Hall, Michelle Strout

Research output: Chapter in Book/Report/Conference proceedingConference contribution

25 Scopus citations

Abstract

This paper introduces three new compiler transformations for representing and transforming sparse matrix computations and their data representations. In cooperation with run-time inspection, our compiler derives transformed matrix representations and associated transformed code to implement a variety of representations targeting different architecture platforms. This systematic approach to combining code and data transformations on sparse computations, which extends a polyhedral transformation and code generation framework, permits the compiler to compose these transformations with other transformations to generate code that is on average within 5% and often exceeds manually-tuned, highperformance sparse matrix libraries CUSP and OSKI. Additionally, the compiler-generated inspector codes are on average 1.5× faster than OSKI and perform comparably to CUSP, respectively. Copyright is held by the owner/author(s). Publication rights licensed to ACM.

Original languageEnglish (US)
Title of host publicationPLDI 2015 - Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation
EditorsSteve Blackburn, David Grove
PublisherAssociation for Computing Machinery
Pages521-532
Number of pages12
ISBN (Electronic)9781450334686
DOIs
StatePublished - Jun 3 2015
Externally publishedYes
Event36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015 - Portland, United States
Duration: Jun 13 2015Jun 17 2015

Publication series

NameProceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Volume2015-June

Conference

Conference36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015
Country/TerritoryUnited States
CityPortland
Period6/13/156/17/15

Keywords

  • Inspector/executor
  • Loop transformations
  • Non-affine
  • Polyhedral model
  • Sparse matrices

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Loop and data transformations for sparse matrix code'. Together they form a unique fingerprint.

Cite this