Andrew Farmer Andrew Farmer (afarmer at ittc dot ku.edu) is a Ph.D. student with Dr. 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. Personal webpage: http://andrewfarmer.name Twitter: http://twitter.com/xich Google+: http://gplus.to/afarmer

Publications

• M. Adams, A. Farmer, and J. P. Magalhães. Optimizing syb is easy! Submitted to the International Conference on Functional Programming, 2013. URL http://www.ittc.ku.edu/csdl/fpg/files/Adams-13-OSIE.pdf.
• A. Gill, T. Bull, A. Farmer, G. Kimmell, and E. Komp. Types and associated type families for hardware simulation and synthesis: The internals and externals of Kansas Lava, 2012. Submitted to the Journal of Higher-Order and Symbolic Computation.
• N. Sculthorpe, A. Farmer, and A. Gill. The HERMIT in the tree: Mechanizing program transformations in the GHC core language. In Proceedings of the 24th Symposium on Implementation and Application of Functional Languages, 2013. URL http://www.ittc.ku.edu/csdl/fpg/files/Sculthorpe-13-HERMITinTree.pdf.
• A. Farmer, A. Gill, E. Komp, and N. Sculthorpe. The HERMIT in the machine: A plugin for the interactive transformation of GHC core language programs. In Proceedings of the ACM SIGPLAN Haskell Symposium, Haskell ’12, pages 1–12. ACM, 2012. ISBN 978-1-4503-1574-6. doi: 10.1145/2364506.2364508. URL http://doi.acm.org/10.1145/2364506.2364508.
• A. Farmer and A. Gill. DSLs for interactive web services. In 1st International Workshop on Cross-model Language Design and Implementation, Sep 2012. (published on workshop website, http://workshops.inf.ed.ac.uk/xldi2012/).
• A. Gill and A. Farmer. Deriving an efficient FPGA implementation of a low density parity check forward error corrector. In Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, ICFP ’11, pages 209–220. ACM, Sep 2011. ISBN 978-1-4503-0865-6. doi: 10.1145/2034773.2034804. URL http://doi.acm.org/10.1145/2034773.2034804.
• A. Gill, T. Bull, D. DePardo, A. Farmer, E. Komp, and E. Perrins. Using functional programming to generate an LDPC forward error corrector. In Proceedings of the IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines, FCCM ’11, pages 133–140. IEEE Computer Society, May 2011. ISBN 978-0-7695-4301-7. doi: 10.1109/FCCM.2011.31. URL http://dx.doi.org/10.1109/FCCM.2011.31.
• A. Gill, 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. In Proceedings of Trends in Functional Programming, volume 6546 of LNCS. Springer-Verlag, May 2010.
• A. Farmer, G. Kimmell, and A. Gill. What’s the matter with Kansas Lava? In Proceedings of Trends in Functional Programming. Springer-Verlag, LNCS 6546, May 2010.

Presentations

• Introducing HERMIT: A Plugin for Transforming GHC Core Language Programs. Galois Tech Talk. Portland, Oregon. April 2013. Slides
• Towards a HERMIT-based DSL for Specifying Optimizations in GHC. Portland State PL Club. Portland, Oregon. February 2013. Slides
• Introducing HERMIT: A Plugin for Transforming GHC Core Language Programs. Portland State PL Club. Portland, Oregon. January 2013. Slides
• Haskell DSLs for Interactive Web Services. First International Workshop on Cross-model Language Design and Implementation (XLDI '12), Copenhagen, Denmark. September 2012. Slides Video
• HERMIT: A Plugin for Transforming GHC Core Language Programs. 2012 Oregon Programming Languages Summer School, student talk session, Eugene, Oregon. July 2012. Slides
• The HERMIT Equational Reasoning Framework. ITTC Industry Advisory Board Poster Session, Lawrence, Kansas. June 2012. Winner of Student Poster Competition.
• KURE-ing Reverse. 2011 Symposium on Implementation and Application of Functional Languages, Lawrence, Kansas. October 2011.
• Kansas Lava: Using and Abusing GHC's Type Extensions. 2010 Haskell Implementors Workshop, Baltimore, Maryland. October 2010. Slides, Video.
• Generating Implementations of Error Correcting Codes using Kansas Lava. Portland State University, Portland, Oregon. July 2010.
• Debugging the Internals of Kansas Lava. ITTC Industry Advisory Board Poster Session, Lawrence, Kansas. June 2010.
• What's the Matter with Kansas Lava? Symposium on Trends in Functional Programming, Norman, Oklahoma. May 2010.