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)
+1 785-864-3226 (FAX)
Address:The University of Kansas,
2001 Eaton Hall,
1520 West 15th Street,
Lawrence, KS 66045-7621
Office:Room 2024 (Eaton) /
Room 252 (Nichols Hall)
Office hours:Wednesday 2:00-4:00
(or by appointment)

Research

We use functional programming to solve problems in ways that are amicable to acceleration (GPUs, Multi-cores, FPGAs), and supports assurance arguments (using semi-formal methods like equational reasoning). As a group we make aggressive use of functional languages, extending the technology where needed, and ultimately strive to close gaps between high level specifications and highly efficient implementations. We then deploy our new technologies into diverse application areas, including telemetry, high performance computing and real-time systems.

Our operating assumption is that a well written functional program can perform effectively as a concise executable specification of a solution to a problem. However, the scope and influence of our ideas is intended to be broader than simply their use inside our functional language community.

Teaching

I am teaching Programming Language Paradigms (EECS 368) in Fall 2011.

Presentations

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

2011

  • Jan 28th, Generating Implementations of Error Correcting Codes using Kansas Lava, University of Texas Computer Science Department, Programming Languages Group Lunchtime Seminar Series, Austin, TX.

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

2011
Gill, A., and A. Farmer, "Deriving an Efficient FPGA Implementation of a Low Density Parity Check Forward Error Corrector", The 16th ACM SIGPLAN International Conference on Functional Programming, 09/2011. Abstract
Gill, A., "Declarative FPGA Circuit Synthesis using Kansas Lava", The International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA'11), Las Vegas, Nevada, USA, 07/2011.
Gill, A., T. Bull, D. DePardo, A. Farmer, E. Komp, and E. Perrins, "Using Functional Programming to Generate an LDPC Forward Error Corrector", The 19th Annual IEEE International Symposium on Field-Programmable Custom Computing Machines, Salt Lake City, 05/2011. Abstract
Matlage, K., "ChalkBoard: A Functional Image Description Language and its Practical Applications", EECS, vol. MS: University of Kansas, 04/2011. Abstract
Bull, T., "Forward Error Correction and Functional Programming", EECS, vol. MS: University of Kansas, 04/2011.
Gill, A., and G. Kimmell, Capturing Functions and Catching Satellites, , no. ITTC-FY2011-TR-29952011-1, 01/2011. Abstract
2010
Gill, A., G. Kimmell, and K. Matlage, "Improving the Presentation of Technical Material in Video Talks using Post Production", 2010 Midwest Section Conference of the American Society for Engineering Education, Lawrence, KS, 09/2010. Abstract
Matlage, K., and A. Gill, "Every Animation Should Have a Beginning, a Middle, and an End", Trends in Functional Programming, 2010. Abstract
Hutton, G., M. Jaskelioff, and A. Gill, "Factorising Folds for Faster Functions", Journal of Functional Programming, vol. 20, issue 3-4, 2010. 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, 2010. Abstract
Farmer, A., G. Kimmell, and A. Gill, "What's the matter with Kansas Lava?", Trends in Functional Programming, 2010. 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.

Bio

Andrew (Andy) Gill was born and educated in Scotland, and has spent his professional career in the United States. Andy received his Ph.D. from the University of Glasgow in 1996, then spent three years in industry as a compiler developer, and a year in academia as a principal project scientist. He co-founded Galois in 2000, a technology transfer company that used language technologies to create trustworthiness in critical systems. In 2008 he returned to academia and research, joining the University of Kansas and the Information and Telecommunication Technology Center.



Theme by Dr. Radut.