Building Compilers by Combining Algebras. - Garrin Kimmell; Ed Komp; Perry Alexander (ECBS, 2005)

Prufrock: a framework for constructing polytypic theorem provers. - Justin Ward; Garrin Kimmell; Perry Alexander (ASE, 2005)

Constructing language processors with algebra combinators. - Philip Weaver; Garrin Kimmell; Nicolas Frisby; Perry Alexander (GPCE, 2007)

Modular and generic programming with interpreterlib. - Philip Weaver; Garrin Kimmell; Nicolas Frisby; Perry Alexander (ASE, 2007)

Synthesizing Software Defined Radio Components from Rosetta (invited). - Garrin Kimmell; Ed Komp; Gary J. Minden; Joseph B. Evans; Perry Alexander (FDL, 2008)

System Synthesis from a Monadic Functional Language. - Garrin Kimmell (2008)

Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software. - William L. Harrison; Adam M. Procter; Jason Agron; Garrin Kimmell; Gerard Allwein (DSL, 2009)

Introducing Kansas Lava. - Andy Gill; Tristan Bull; Garrin Kimmell; Erik Perrins; Ed Komp; Brett Werling (IFL, 2009)

Writing Composable Software with InterpreterLib. - Mark Snyder; Nicolas Frisby; Garrin Kimmell; Perry Alexander (SC@TOOLS, 2009)

What's the Matter with Kansas Lava? - Andrew Farmer; Garrin Kimmell; Andy Gill (Trends in Functional Programming, 2010)

Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava. - Andy Gill; Tristan Bull; Andrew Farmer; Garrin Kimmell; Ed Komp (Trends in Functional Programming, 2010)

Type Preservation as a Confluence Problem. - Aaron Stump; Garrin Kimmell; Roba El Haj Omar (RTA, 2011)

Equational reasoning about programs with general recursion and call-by-value semantics. - Garrin Kimmell; Aaron Stump; Harley D. Eades III; Peng Fu 001; Tim Sheard; Stephanie Weirich; Chris Casinghino; Vilhelm Sjöberg; Nathan Collins; Ki Yung Ahn (PLPV, 2012)

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems - Vilhelm Sjöberg; Chris Casinghino; Ki Yung Ahn; Nathan Collins; Harley D. Eades III; Peng Fu 001; Garrin Kimmell; Tim Sheard; Aaron Stump; Stephanie Weirich (MSFP, 2012)

A Rewriting View of Simple Typing - Aaron Stump; Hans Zantema; Garrin Kimmell; Roba El Haj Omar (Log. Methods Comput. Sci., 2012)

Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava. - Andy Gill; Tristan Bull; Andrew Farmer; Garrin Kimmell; Ed Komp (High. Order Symb. Comput., 2012)

Think Fast: A Tensor Streaming Processor (TSP) for Accelerating Deep Learning Workloads. - Dennis Abts; Jonathan Ross; Jonathan Sparling; Mark Wong-VanHaren; Max Baker; Tom Hawkins; Andrew Bell; John Thompson; Temesghen Kahsai; Garrin Kimmell; Jennifer Hwang; Rebekah Leslie-Hurd; et al. (ISCA, 2020)

Challenges/Opportunities to Enable Dependable Scale-out System with Groq Deterministic Tensor-Streaming Processors. - Dennis Abts; Ibrahim Ahmed 007; Andrew Bitar; Matthew Boyd; John Kim 001; Garrin Kimmell; Andrew C. Ling (DSN (Supplements), 2022)

The Groq Software-defined Scale-out Tensor Streaming Multiprocessor : From chips-to-systems architectural overview. - Dennis Abts; John Kim 001; Garrin Kimmell; Matthew Boyd; Kris Kang; Sahil Parmar; Andrew C. Ling; Andrew Bitar; Ibrahim Ahmed 007; Jonathan Ross (HCS, 2022)

A software-defined tensor streaming multiprocessor for large-scale machine learning. - Dennis Abts; Garrin Kimmell; Andrew C. Ling; John Kim 001; Matthew Boyd; Andrew Bitar; Sahil Parmar; Ibrahim Ahmed 007; Roberto DiCecco; David Han; John Thompson; Michael Bye; et al. (ISCA, 2022)