Scott Kovach -

Registered user since Sat 17 Jun 2023

Name:Scott Kovach

Affiliation:Stanford University

Personal website: https://cutfree.net/

GitHub: https://github.com/kovach

Contributions

2023

DRAGSTERS

Author of Formalizing DRAGSTERS within the DRAGSTERS 2023-track

PLDI

Author of Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs within the PLDI Research Papers-track