Garrin Kimmell

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 4

Top Venues

ISCA

HCS

DSN (Supplements)

University of Kansas, USA (PHD)

Education History

University of Kansas, USA

PHD

Publications

Dennis Abts, Ibrahim Ahmed, Andrew Bitar, Matthew Boyd, John Kim, Garrin Kimmell, Andrew C. Ling
Challenges/Opportunities to Enable Dependable Scale-out System with Groq Deterministic Tensor-Streaming Processors. DSN (Supplements) (2022)
Dennis Abts, Garrin Kimmell, Andrew C. Ling, John Kim, Matthew Boyd, Andrew Bitar, Sahil Parmar, Ibrahim Ahmed, Roberto DiCecco, David Han, John Thompson, Michael Bye, Jennifer Hwang, Jeremy Fowers, Peter Lillian, Ashwin Murthy, Elyas Mehtabuddin, Chetan Tekur, Thomas Sohmers, Kris Kang, Stephen Maresh, Jonathan Ross
A software-defined tensor streaming multiprocessor for large-scale machine learning. ISCA (2022)
Dennis Abts, John Kim, Garrin Kimmell, Matthew Boyd, Kris Kang, Sahil Parmar, Andrew C. Ling, Andrew Bitar, Ibrahim Ahmed, Jonathan Ross
The Groq Software-defined Scale-out Tensor Streaming Multiprocessor : From chips-to-systems architectural overview. HCS (2022)
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, Michael Bye, E. R. Creswick, Matthew Boyd, Mahitha Venigalla, Evan Laforge, Jon Purdy, Purushotham Kamath, Dinesh Maheshwari, Michael Beidler, Geert Rosseel, Omar Ahmad, Gleb Gagarin, Richard Czekalski, Ashay Rane, Sahil Parmar, Jeff Werner, Jim Sproch, Adrian Macias, Brian Kurtz
Think Fast: A Tensor Streaming Processor (TSP) for Accelerating Deep Learning Workloads. ISCA (2020)
Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn
Equational reasoning about programs with general recursion and call-by-value semantics. PLPV (2012)
Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp
Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava. High. Order Symb. Comput. 25 (2-4) (2012)
Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich
Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems MSFP (2012)
Aaron Stump, Hans Zantema, Garrin Kimmell, Roba El Haj Omar
A Rewriting View of Simple Typing Log. Methods Comput. Sci. 9 (1) (2012)
Aaron Stump, Garrin Kimmell, Roba El Haj Omar
Type Preservation as a Confluence Problem. RTA (2011)
Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp
Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava. Trends in Functional Programming (2010)
Andrew Farmer, Garrin Kimmell, Andy Gill
What's the Matter with Kansas Lava? Trends in Functional Programming (2010)
Nicolas Frisby, Garrin Kimmell, Philip Weaver, Perry Alexander
Constructing language processors with algebra combinators. Sci. Comput. Program. 75 (7) (2010)
Mark Snyder, Nicolas Frisby, Garrin Kimmell, Perry Alexander
Writing Composable Software with InterpreterLib. SC@TOOLS (2009)
Andy Gill, Tristan Bull, Garrin Kimmell, Erik Perrins, Ed Komp, Brett Werling
Introducing Kansas Lava. IFL (2009)
William L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein
Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software. DSL (2009)
Garrin Kimmell, Ed Komp, Gary J. Minden, Joseph B. Evans, Perry Alexander
Synthesizing Software Defined Radio Components from Rosetta (invited). FDL (2008)
Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander
Modular and generic programming with interpreterlib. ASE (2007)
Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander
Constructing language processors with algebra combinators. GPCE (2007)
Garrin Kimmell, Ed Komp, Perry Alexander
Building Compilers by Combining Algebras. ECBS (2005)
Justin Ward, Garrin Kimmell, Perry Alexander
Prufrock: a framework for constructing polytypic theorem provers. ASE (2005)

Garrin Kimmell.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Garrin Kimmell