Garrin Kimmell

Think Fast: A Tensor Streaming Processor (TSP) for Accelerating Deep Learning Workloads

Dennis Abts, Jonathan Ross, Jonathan Sparling et al. · 2020 · 83 citations

Engineering, Machine Learning, Think Fast +20

A software-defined tensor streaming multiprocessor for large-scale machine learning

Dennis Abts, Garrin Kimmell, Andrew C. Ling et al. · 2022 · 37 citations · Full text

Cluster Computing, Engineering, Machine Learning +18

Equational reasoning about programs with general recursion and call-by-value semantics

Garrin Kimmell, Aaron Stump, Harley Eades et al. · 2012 · 25 citations

Engineering, Type Theory, Verification +20

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems

Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn et al. · Electronic Proceedings in Theoretical Computer Science · 2012 · 17 citations · Full text

Programming Language Theory, Syntax, Engineering +15

The Groq Software-defined Scale-out Tensor Streaming Multiprocessor : From chips-to-systems architectural overview

Dennis Abts, John Kim, Garrin Kimmell et al. · 2022 · 17 citations