Garrin Kimmell
Computer Scientist
Kestrel Institute
3260 Hillview Ave
Palo Alto, CA 94304
kimmell at kestrel dot edu
Ph: (+1) 650-493-6871
My primary interest is the application of programming language technology in the synthesis of efficient and verifiably correct systems.
I am currently a computer scientist at the Kestrel Institute in Palo Alto, CA.
Previously, I was a postdoc at the University of Iowa, under the direction of Professor Aaron Stump, working on the design and implementation of the Trellys dependently-typed programming language.
In previous work, I was involved in the development of the Kansas Lava project, where we created a variant of the Lava domain-specific language embedded in Haskell. Using Kansas Lava, we implemented a number of telemetry circuits that were synthesized to FPGA. As part of my dissertation work, I designed and implemented Oread, a functional programming language for deploying systems to both FPGA and general-purpose CPU targets.
Aaron Stump, Garrin Kimmell, Hans Zantema, and Ruba El Haj Omar. A Rewriting View of Simple Typing. Draft. Submitted to Logical Methods in Computer Science.

Garrin Kimmell, Aaron Stump, Harley Eades, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjoberg, Nathan Collins, Ki Yung Ahn Equational Reasoning about Programs with General Recursion and Call By Value Semantics. Programming Languages meets Practical Verification (PLPV12), Philadelphia, PA. January 24th, 2012.

Stump, A., G. Kimmell, and Roba El-Haj Omar Type Preservation as a Confluence Problem Rewriting Techniques and Applications 2011

Farmer, A., G. Kimmell, and A. Gill What's the Matter with Kansas Lava Trends in Functional Programming, 2010

Gill, A., T. Bull, A. Farmer, G. Kimmell, and E. Komp Types and Type Families for Hardware Simulation and Synthesis: The Internals and Externals of Kansas Lava Trends in Functional Programming, 2010

Harrison, W., A. Procter, J. Agron, G. Kimmell, and G. Allwein. Model-driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software. IFIP Working Conference on Domain Specific Languages (DSLWC 09). Oxford,England, July 15-17, 2009.

Synder, M., N. Frisby, G. Kimmell, and P. Alexander. Writing Composable Software with InterpreterLib. Proceedings of the International Conference on Software Composition 2009. Zurich, Switzerland, July 2-3, 2009.

Gill, A., T. Bull, G. Kimmell, E. Perrins, E. Komp, and B. Werling Introducing Kansas Lava 21st International Symposium on Implementation and Application of Functional Languages