a photo of the author eating a pretzel
Scott Kovach
github: kovach
gates 494

I'm a computer science Ph.D. student at Stanford advised by Fredrik Kjolstad.

I think about how programming languages support formal reasoning, compositionality, and application extension by users. Right now I'm working on etch.

I like functional programming, relational languages, algebraic optimizations, naive realism, and games.


(PLDI23) Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs
Scott Kovach, Praneeth Kolichala, Tiancheng Gu, Fredrik Kjolstad