Login / Signup
Scott Kovach
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Image Understanding
Multiscale
Relational Databases
Intermediate Representations
Top Venues
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>
Scott Kovach
,
Praneeth Kolichala
,
Tiancheng Gu
,
Fredrik Kjolstad
Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs.
Proc. ACM Program. Lang.
7 (PLDI) (2023)
Scott Kovach
,
Fredrik Kjolstad
Correct Compilation of Semiring Contractions.
CoRR
(2022)