Garrin Kimmell

21 papers A* 4A 1B 1C 1Journal 3Unranked 10

Year	Rank	Type	Title / Venue / Authors
2022	A*	`conf`	A software-defined tensor streaming multiprocessor for large-scale machine learning. ISCA 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
2022	—	`conf`	Challenges/Opportunities to Enable Dependable Scale-out System with Groq Deterministic Tensor-Streaming Processors. DSN (Supplements) Dennis Abts, Ibrahim Ahmed, Andrew Bitar, Matthew Boyd, John Kim, Garrin Kimmell, Andrew C. Ling
2022	—	`conf`	The Groq Software-defined Scale-out Tensor Streaming Multiprocessor : From chips-to-systems architectural overview. HCS Dennis Abts, John Kim, Garrin Kimmell, Matthew Boyd, Kris Kang, Sahil Parmar, Andrew C. Ling, Andrew Bitar, Ibrahim Ahmed, Jonathan Ross
2020	A*	`conf`	Think Fast: A Tensor Streaming Processor (TSP) for Accelerating Deep Learning Workloads. ISCA 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, Adrián Macías, Brian Kurtz
2012	J	`jnl`	A Rewriting View of Simple Typing Log. Methods Comput. Sci. Aaron Stump, Hans Zantema, Garrin Kimmell, Roba El Haj Omar
2012	—	`conf`	Equational reasoning about programs with general recursion and call-by-value semantics. PLPV Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn
2012	—	`conf`	Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems MSFP Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich
2012	J	`jnl`	Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava. High. Order Symb. Comput. Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp
2011	—	`conf`	Type Preservation as a Confluence Problem. RTA Aaron Stump, Garrin Kimmell, Roba El Haj Omar
2010	J	`jnl`	Constructing language processors with algebra combinators. Sci. Comput. Program. Nicolas Frisby, Garrin Kimmell, Philip Weaver, Perry Alexander
2010	—	`conf`	Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava. Trends in Functional Programming Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp
2010	—	`conf`	What's the Matter with Kansas Lava? Trends in Functional Programming Andrew Farmer, Garrin Kimmell, Andy Gill
2009	—	`conf`	Introducing Kansas Lava. IFL Andy Gill, Tristan Bull, Garrin Kimmell, Erik Perrins, Ed Komp, Brett Werling
2009	—	`conf`	Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software. DSL William L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein
2009	A	`conf`	Writing Composable Software with InterpreterLib. SC Mark Snyder, Nicolas Frisby, Garrin Kimmell, Perry Alexander
2008	C	`conf`	Synthesizing Software Defined Radio Components from Rosetta (invited). FDL Garrin Kimmell, Ed Komp, Gary J. Minden, Joseph B. Evans, Perry Alexander
2008	—	`—`	System Synthesis from a Monadic Functional Language. Garrin Kimmell
2007	B	`conf`	Constructing language processors with algebra combinators. GPCE Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander
2007	A*	`conf`	Modular and generic programming with interpreterlib. ASE Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander
2005	—	`conf`	Building Compilers by Combining Algebras. ECBS Garrin Kimmell, Ed Komp, Perry Alexander
2005	A*	`conf`	Prufrock: a framework for constructing polytypic theorem provers. ASE Justin Ward, Garrin Kimmell, Perry Alexander