Skip to Content

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 252 (Nichols Hall)

Research

Our 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

I am teaching EECS 368 Programming Language Paradigms in Fall 2010, and expect to be teaching High Assurance Software Engineering in Haskell (EECS 800) in Spring 2011.

Presentations

Here is a list of recent invited talks, conference presentations and briefings.

2010

  • July 21st, Generating Implementations of Error Correcting Codes using Kansas Lava,High-Assurance Systems Programming (HASP) group, Portland State University, jointly with Andrew Farmer.
  • May 18th, The Internals and Externals of Kansas Lava, Eleventh Symposium on Trends in Functional Programming, Norman, OK.
  • May 11th, Generating Implementations of Error Correcting Codes using Kansas Lava, 10th Annual High Confidence Software and Systems Conference, Linthicum Heights, MD, Slides, Quicktime Slides.
  • March 11th, Information Assurance, Functional Programming and Kansas Lava, Information Assurance Visit, ITTC.
  • February 26th, Forward Error Correction Codes and Kansas Lava, Brigham Young University, Provo, Utah, jointly with Erik Perrins.
  • January 18th, Capturing Functions and Catching Satellites, ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation, Madrid, Spain.

Recent Publications and Submissions

In Press
2009
Kimmell, G., K. Matlage, T. Bull, N. Frisby, A. Gill, M. Jantz, E. Komp, M. Peck, W. Peck, M. Snyder, et al., The 2009 ICFP Programming Contest Problem Specification, , no. ITTC-FY200?-TR-?????-??: Information Telecommunication and Technology Center, University of Kansas, Lawrence, KS, 10/2009.
Werling, B., E. Perrins, and A. Gill, "Implementation of an LDPC decoder using Functional Programming Languages", Proceedings of the International Telemetering Conference, 10/2009.
Gill, A., "Type-Safe Observable Sharing in Haskell", Proceedings of the 2009 ACM SIGPLAN Haskell Symposium, 09/2009. Abstract
Gill, A., "A Haskell Hosted DSL for Writing Transformation Systems", IFIP Working Conference on Domain Specific Languages, 07/2009. Abstract
Gill, A., and G. Hutton, "The worker/wrapper transformation", Journal of Functional Programming, vol. 19, no. 2: Cambridge University Press, pp. 227–251, 03/2009. Abstract

Professional Activities

History

Andy Gill has been an active researcher in functional programming for 20 years. Before joining KU and forming the FPG, Andy worked on optimizing functional languages at Edinburgh then Glasgow, running Haskell on virtual machines at OGI, and high assurance software at Galois.