Garrin Kimmell

According to our database, Garrin Kimmell authored at least 20 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

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

Proceedings of the ISCA '22: The 49th Annual International Symposium on Computer Architecture, New York, New York, USA, June 18, 2022

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

Dennis Abts, John Kim, Garrin Kimmell, Matthew Boyd, Kris Kang, Sahil Parmar, Andrew C. Ling, Andrew Bitar, Ibrahim Ahmed, Jonathan Ross

Proceedings of the 2022 IEEE Hot Chips 34 Symposium, 2022

Challenges/Opportunities to Enable Dependable Scale-out System with Groq Deterministic Tensor-Streaming Processors.

Dennis Abts, Ibrahim Ahmed, Andrew Bitar, Matthew Boyd, John Kim, Garrin Kimmell, Andrew C. Ling

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

2020

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, 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

Proceedings of the 47th ACM/IEEE Annual International Symposium on Computer Architecture, 2020

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

A Rewriting View of Simple Typing

Aaron Stump, Hans Zantema, Garrin Kimmell, Roba El Haj Omar

Log. Methods Comput. Sci., 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, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich

Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

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

Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn

Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

2011

Type Preservation as a Confluence Problem.

Aaron Stump, Garrin Kimmell, Roba El Haj Omar

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

2010

Constructing language processors with algebra combinators.

Nicolas Frisby, Garrin Kimmell, Philip Weaver, Perry Alexander

Sci. Comput. Program., 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

Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

What's the Matter with Kansas Lava?

Andrew Farmer, Garrin Kimmell, Andy Gill

Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

2009

Writing Composable Software with InterpreterLib.

Mark Snyder, Nicolas Frisby, Garrin Kimmell, Perry Alexander

Proceedings of the Software Composition - 8th International Conference, 2009

Introducing Kansas Lava.

Andy Gill, Tristan Bull, Garrin Kimmell, Erik Perrins, Ed Komp, Brett Werling

Proceedings of the Implementation and Application of Functional Languages, 2009

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

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2008

System Synthesis from a Monadic Functional Language.

Garrin Kimmell

PhD thesis, 2008

Synthesizing Software Defined Radio Components from Rosetta (invited).

Garrin Kimmell, Ed Komp, Gary J. Minden, Joseph B. Evans, Perry Alexander

Proceedings of the Forum on specification and Design Languages, 2008

2007

Modular and generic programming with interpreterlib.

Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2005

Prufrock: a framework for constructing polytypic theorem provers.

Justin Ward, Garrin Kimmell, Perry Alexander

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Building Compilers by Combining Algebras.

Garrin Kimmell, Ed Komp, Perry Alexander

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005