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

Submitted
Gill, A., and G. Kimmell, "Capturing Functions and Catching Satellites", Trends in Functional Programming, Submitted. Abstract
Matlage, K., and A. Gill, "Every Animation Should Have a Beginning, a Middle, and an End", Trends in Functional Programming, Submitted. Abstract
Gill, A., "Improving the Presentation of Technical Material in Video Talks using Post Production", American Society for Engineering Education (ASEE) Midwest Section, 2010 Conference, Lawrence, KS, Submitted. Abstract
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, Submitted. Abstract
Farmer, A., G. Kimmell, and A. Gill, "What's the matter with Kansas Lava?", Trends in Functional Programming, Submitted. Abstract
In Press
Hutton, G., M. Jaskelioff, and A. Gill, "Factorising Folds for Faster Functions", Journal of Functional Programming, In Press. Abstract
2009
Matlage, K., and A. Gill, "ChalkBoard: Mapping Functions to Polygons", IFL, 11/2009. Abstract
Gill, A., T. Bull, G. Kimmell, E. Perrins, E. Komp, and B. Werling, "Introducing Kansas Lava", IFL'09, 11/2009. Abstract
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.
Bull, T., E. Perrins, and A. Gill, "Implementation of the Viterbi Algorithm 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
Gill, A., and T. Swift, Practical Aspects of Declarative Languages, : Springer, LNCS 5418, 01/2009.

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.



Theme by Dr. Radut.