Garrin Kimmell

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

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

Computing, Computer Engineering, Computer Science +17

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

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

Computing, Computer Engineering, Computer Science +17

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

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

Computing, Computer Science, Formal Methods +13

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

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

Engineering, Computer Engineering, Computer Science +10

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

Computing, Computer Science, Formal Methods +12