Andy Gill
Assistant Professor

Electrical Engineering and Computer Science
School of Engineering
The University of Kansas

Email:andygill at ku.edu
Phone:+1 785-864-8817 (Eaton) /
+1 785-864-4712 (ITTC)
Address:The University of Kansas,
2001 Eaton Hall,
1520 West 15th Street,
Lawrence, KS 66045-7621
Office:Room 2024 (Eaton) /
Room 134 (Nichols Hall)

Research

Links: Research

Functional languages are a productive medium for expressing algorithms and solving specific classes of problems. When functional languages are applicable, they are amazingly effective. A well written functional program is a concise executable specification of a solution to a problem.

My research program improves both the applicability and effectiveness of functional languages by creating language extensions, compiler technologies, and offline translation technologies. We then deploy these new technologies into diverse application areas, including telemetry and real-time systems. The scope and influence of these ideas is larger than simply their use inside our functional language community. The long term goal of our community at large is to change how we build software and design hardware.

Teaching

Spring
2009

EECS 690/700 Functional Programming teaches how to solve engineering problems efficiently in a modern functional language. Topics may include basic functional idioms, introduction to Haskell, IO and purity, functional data structures and algorithms, monads and applicative functors, parsing combinators, DSLs and hardware description DSLs, advanced type systems, making assurance arguments, testing and debugging. These topics will be explored using a hands-on style with case studies, program assignments and projects.

Fall
2008

EECS 368 Programming Language Paradigms is an introduction to programming language fundamentals. The objective of the course is to provide an introduction to alternative programming models that compliment the traditional imperative models taught in introductory courses. The course will provide theoretical insight into various aspects of modern languages while requiring hands-on development of programs using Java, Scheme, and Haskell.

Selected Publications and Recent Submissions

Recently
Published
Type-Safe Observable Sharing in Haskell, Andy Gill, Proceedings of the 2009 ACM SIGPLAN Haskell Symposium, Sep 2009.
The worker/wrapper transformation, Andy Gill and Graham Hutton, Journal of Functional Programming, March 2009.
A Haskell Hosted DSL for Writing Transformation Systems, Andy Gill, IFIP Working Conference on Domain Specific Languages, July 2009.
Unrestricted Call-by-Value Recursion, Johan Nordlander and Magnus Carlsson and Andy Gill, ACM SIGPLAN Workshop on ML, September 2008.
Asynchronous Exceptions as an Effect, William L. Harrison and Gerard Allwein and Andy Gill and Adam Procter, Ninth International Conference on Mathematics of Program Construction, July 2008.

Recent and Future Professional Activities

Recent
Organizer, Midwest Programming Languages Day, May 8th 2009
PC Member for the Symposium on the Implementation and Application of Functional Languages (IFL'08)
PC Co-Chair for Practical Aspects of Declarative Languages (PADL'09)
PC Chair for the Haskell Symposium (HASKELL'08)
PC Member for Mathematically Structured Functional Programming (MSFP'08)
PC Member for the Haskell Workshop (HASKELL'07)