Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs

Scott Kovach; Praneeth Kolichala; Tiancheng Gu; Fredrik Kjolstad

doi:10.1145/3591268

PLDI · June 2023

Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs

Scott Kovach Praneeth KolichalaTiancheng 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

BibTeX

@article{kovach2023indexed,
  author    = {Kovach, Scott and Kolichala, Praneeth and Gu, Tiancheng and Kjolstad, Fredrik},
  title     = {Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs},
  journal   = {Proceedings of the ACM on Programming Languages},
  year      = {2023},
  month     = jun,
  volume    = {7},
  number    = {PLDI},
  articleno = {154},
  numpages  = {25},
  publisher = {Association for Computing Machinery},
  address   = {New York, NY, USA},
  doi       = {10.1145/3591268},
  url       = {https://doi.org/10.1145/3591268}
}

Citation

Scott Kovach, Praneeth Kolichala, Tiancheng Gu, and Fredrik Kjolstad. Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs. PLDI, 2023.

All publications