·
114 commits
to main
since this release
This tag is identical to the pldi23-etch_phase2_1.tar.gz file in https://doi.org/10.5281/zenodo.7809339, which is an artifact submitted in support of our PLDI 2023 paper:
Scott Kovach, Praneeth Kolichala, Tiancheng Gu, and Fredrik Kjolstad. 2023. Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs. Proc. ACM Program. Lang. 7, PLDI, Article 154 (June 2023), 25 pages. https://doi.org/10.1145/3591268
A preprint of the paper is available at https://cutfree.net/PLDI_2023_indexed_streams.pdf.