Garrin Kimmell

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems

Stephanie Weirich, Tim Sheard, Peng Fu, 2012, MSFP.

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

Andrew S. Ling, Jonathan Ross, D. Abts, 2022, ISCA.

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

John Thompson, Temesghen Kahsai, Ashay Rane, 2020, 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA).

Modular Monadic Semantics for Aspect-Oriented Programming

Garrin Kimmell, Garrin Kimmell, 2004 .

Introducing Kansas Lava

Erik Perrins, Tristan Bull, Garrin Kimmell, 2009, IFL.

Constructing language processors with algebra combinators

Perry Alexander, Nicolas Frisby, Philip Weaver, 2007, GPCE '07.

System Synthesis from a Monadic Functional Language

Garrin Kimmell, Garrin Kimmell, 2008 .

Semantic Support for Model Composition

Perry Alexander, Garrin Kimmell, Cindy Kong, 2006 .

Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software

William L. Harrison, Adam M. Procter, Gerard Allwein, 2009, DSL.

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

Stephanie Weirich, Tim Sheard, Peng Fu, 2012, PLPV '12.