Galois is pleased to host the following tech talk. These talks are open to the interested public--please join us! (There is no need to pre-register for the talk.)
title: Introducing HERMIT: A Plugin for Transforming GHC Core Language Programs
speaker: Andrew Farmer
time: Tuesday, 09 April 2013, 10:30am.
421 SW 6th Ave. Suite 300,
Portland, OR, USA
(3rd floor of the Commonwealth building)
The importance of reasoning about and refactoring programs is a central tenet of functional programming. Yet our compilers and development toolchains only provide rudimentary support for these tasks, leaving the programmer to do them by hand. This talk introduces HERMIT, a toolkit enabling informal but systematic transformation of Haskell programs from inside the Glasgow Haskell Compiler's optimization pipeline. With HERMIT, users can experiment with optimizations and equational reasoning, while the tedious heavy lifting of performing the actual transformations is done for them. The talk will explore design choices in HERMIT, demonstrate its use on examples, and seek input for further development and case studies.
Andrew Farmer is a Ph.D. student at the University of Kansas, working with Andy Gill. He received his B.S. in Computer Science from the University of Kansas in 2005 and went off to industry to write domain specific languages for web application development. Returning to KU in the fall of 2009, Andrew's interests include programming language design in general and specifically the compilation and optimization of functional languages. He has done work on testing and debugging tools for the Kansas Lava project. He is currently working on the HERMIT project, where he is interested in leveraging HERMIT's capabilities to write domain-and-program-specific optimizers.