Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs. - Scott Kovach; Praneeth Kolichala; Tiancheng Gu; Fredrik Kjolstad (Proc. ACM Program. Lang., 2023)

Fast Collection Operations from Indexed Stream Fusion. - Scott Kovach; Praneeth Kolichala; Kyle A. Miller; David Broman; Fredrik Kjolstad (CoRR, 2025)