Indexed Streams: A Formal Intermediate Representation for the Fused Execution of Contraction Operations

Scott Kovach; Praneeth Kolichala; Timothy Gu; Fredrik Kjolstad

doi:10.1145/3591268

PLDI · June 2023

Indexed Streams: A Formal Intermediate Representation for the Fused Execution of Contraction Operations

Scott Kovach Praneeth KolichalaTimothy Gu Fredrik Kjolstad

ACM SIGPLAN Conference on Programming Language Design and Implementation · PACMPL vol. 7, PLDI

Read PDF DOI Video

Topics Compiler representations Sparse tensor algebra Relational & query compilation

Related software

Etch: Indexed Streams A Lean 4 compiler and formalization of indexed streams — an operational intermediate representation for the fused execution of contraction programs across sparse tensor and relational algebra.

Cite this paper

Citation

Scott Kovach, Praneeth Kolichala, Timothy Gu, and Fredrik Kjolstad. Indexed Streams: A Formal Intermediate Representation for the Fused Execution of Contraction Operations. PLDI, 2023.

BibTeX

@inproceedings{kovach2023indexed,
  title     = {Indexed Streams: A Formal Intermediate Representation for the Fused Execution of Contraction Operations},
  author    = {Scott Kovach and Praneeth Kolichala and Timothy Gu and Fredrik Kjolstad},
  booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation},
  year      = {2023},
  month     = {jun},
  doi       = {10.1145/3591268},
  url       = {https://compilers.stanford.edu/publications/indexed-streams.pdf}
}

All publications