Information Technology and Telecommunications Center
University of Kansas
Nichols Hall
2335 Irving Hill Rd
Lawrence, KS
kimmell at ku dot edu
Research
My research interests lie in the application of functional programming languages to the development of embedded systems, including the design and integration of custom-designed hardware and software components.
A challenge in building such systems is the conflict in abstractions used to design the hardware and software elements of the system. Functional languages have proven to be an adept medium not only for representing elements at a variety of abstractions, but also as the basis for defining new abstractions for representing domain-specific design problems.
Education
Ph.D. (Computer Science), University of Kansas, 2008
B.S. (Computer Science), University of Kansas, 2001
Publications
Ward, J., G. Kimmell and P. Alexander. Prufrock: A Framework for Constructing
Generic Theorem Provers. Submitted to Journal of Automated Software Engineering.
Under revision.
Kimmell, G., P. Weaver, N. Frisby, and P. Alexander, Constructing Language Processors with Algebra Combinators, Invited submission to Science of Computer Programming. Under revision.
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.
Kimmell, G, E. Komp, G. Minden, J. Evans, and
P. Alexander. Synthesizing Software Defined Radio Components from
Rosetta. Proceedings of the Forum on specification and Design Languages.
Stuttgart, Germany, September 23-25, 2008.
Weaver, P., G. Kimmell, N. Frisby, and P. Alexander. Modular and Generic
Programming with InterpreterLib. Proceedings of the 22nd International Conference on
Automated Software Engineering. Atlanta, Georgia, November 5-9, 2007.
Weaver, P., G. Kimmell, N. Frisby, and P. Alexander. Constructing Language
Processors with Algebra Combinators. Proceedings of the Sixth International Conference on
Generative Programming and Component Engineering. Salzburg, Austria, October
1-3,2007.
Ward, J., G. Kimmell, and P. Alexander. Prufrock: A Framework for Constructing Polytypic Theorem Provers. Proceedings of the 20th International Conference on Automated Software Engineering.} Long Beach, CA, 2005.
Streb, J., G. Kimmell, N. Frisby, P. Alexander. Domain Specific Model
Composition Using A Lattice Of Coalgebras. Proceedings of the OOPSLA Workshop on
Domain Specific Modeling. Portland, OR, October, 2006.
Kimmell, G., E. Komp and P. Alexander. Building Compilers by Combining Algebras.
Proceedings of the IEEE Engineering of Computer-Based Systems Symposium and Workshop. Washington, DC, April 4-7, 2005.
Kimmell, G.} and P. Alexander. Modular Monadic Semantics for Aspect Oriented Programs. Poster presentation at the ACM International Conference on Functional Programming. Snowbird, UT, September 19-22, 2004.
Minden, G., J. Evans, P. Alexander, E. Komp and G. Kimmell. A Framework for
Retargeting Radio Designs. Technical Memo AFRL-RY-WPTR-2008-1262, The University of
Kansas. August 2008.
Alexander, P., G. Kimmell, and D. Burke. Security as a System Property: Modeling
Trust and Security in Rosetta. Technical Memo, The University of Kansas. January 4, 2007.
Komp, E., G. Kimmell, J. Ward, and P. Alexander. The Rhaskell Evaluation Environment. Technical Memo, The University of Kansas. 2003.
