Publications and Recent Submissions

M. Grebe and A. Gill, “Threading the Arduino with Haskell,” in Post-Proceedings of Trends in Functional Programming, 2017.

A. Gill, “Aframe: A domain specific language for virtual reality: Extended abstract,” in Proceedings of the 2nd International Workshop on Real World Domain Specific Languages, RWDSL17, 2017.

J. Dawson, M. Grebe, and A. Gill, “Composable network stacks and remote monads,” in Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Haskell 2017, pp. 86–97, New York, NY, USA: ACM, 2017.

M. Grebe, D. Young, and A. Gill, “Rewriting a shallow dsl using a ghc compiler extension,” in Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, (New York, NY, USA), pp. 246–258, ACM, 2017.

M. Grebe and A. Gill, “Haskino: A remote monad for programming the Arduino,” in Practical Aspects of Declarative Languages, Lecture Notes in Computer Science, 2016.

B. Torrence, “The Life Changing HERMIT: A Case Study of the Worker/Wrapper Transformation,” Master’s thesis, The University of Kansas, January 2015.

A. Farmer, HERMIT: Mechanized Reasoning during Compilation in the Glasgow Haskell Compiler. PhD thesis, The University of Kansas, April 2015.

M. D. Adams, A. Farmer, and J. P. Magalhães, “Optimizing SYB Traversals Is Easy!,” Science of Computer Programming, vol. 112, Part 2, pp. 170 – 193, 2015. Selected and extended papers from Partial Evaluation and Program Manipulation 2014.

A. Farmer, N. Sculthorpe, and A. Gill, “Reasoning with the HERMIT: Tool support for equational reasoning on GHC Core programs,” in Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, (New York, NY, USA), pp. 23–34, ACM, 2015.

A. Gill, N. Sculthorpe, J. Dawson, A. Eskilson, A. Farmer, M. Grebe, J. Rosenbluth, R. Scott, and J. Stanton, “The remote monad design pattern,” in Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, (New York, NY, USA), pp. 59–70, ACM, 2015.

N. Sculthorpe and G. Hutton, “Work it, wrap it, fix it, fold it,” Journal of Functional Programming, vol. 24, no. 1, pp. 113–127, 2014.

M. D. Adams, A. Farmer, and J. P. Magalhães, “Optimizing SYB Is Easy!,” in Proceedings of the 2014 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM ’14, ACM, 2014. Won Best Paper Award.

A. Farmer, C. Höner zu Siederdissen, and A. Gill, “The HERMIT in the Stream,” in Proceedings of the 2014 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM ’14, ACM, 2014.

J. Bracker and A. Gill, “Sunroof: A monadic DSL for generating JavaScript,” in Practical Aspects of Declarative Languages (M. Flatt and H.-F. Guo, eds.), vol. 8324 of Lecture Notes in Computer Science, pp. 65–80, Springer International Publishing, 2014.

A. Gill, “Domain-specific languages and code synthesis using Haskell,” Commun. ACM, vol. 57, pp. 42–49, June 2014. Also appeared in ACM Queue, Vol 12(4), April 2014.

N. Sculthorpe, N. Frisby, and A. Gill, “The Kansas University Rewrite Engine: A Haskell-embedded strategic programming language with custom closed universes,” Journal of Functional Programming, vol. 24, pp. 434–473, 7 2014.

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, vol. 8241 of Lecture Notes in Computer Science, pp. 86–103, 2013.

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,” Journal of Higher-Order and Symbolic Computation, pp. 1–20, 2013.

N. Sculthorpe, J. Bracker, G. Giorgidze, and A. Gill, “The constrained-monad problem,” in Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, pp. 287–298, ACM, 2013.

A. Gill and B. Neuenschwander, “Handshaking in Kansas Lava using patch logic,” in Practical Aspects of Declarative Languages, vol. 7149 of LNCS, Springer-Verlag, January 2012.

N. Frisby, A. Gill, and P. Alexander, “A pattern for almost homomorphic functions,” in ACM SIGPLAN Workshop on Generic Programming, Sep 2012.

A. Farmer and A. Gill, “Haskell DSLs for interactive web services,” in 1st International Workshop on Cross-model Language Design and Implementation, Sep 2012.

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, pp. 1–12, ACM, 2012.

A. Gill and G. Kimmell, “Capturing functions and catching satellites,” tech. rep., January 2011. ITTC Technical Report ITTC-FY2011-TR-29952011-1.

T. Bull, “Forward error correction and functional programming,” Master’s thesis, The University of Kansas, 2011.

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, pp. 133–140, IEEE Computer Society, May 2011.

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, pp. 209–220, ACM, Sep 2011.

A. Gill, “Declarative FPGA circuit synthesis using Kansas Lava,” in The International Conference on Engineering of Reconfigurable Systems and Algorithms, July 2011.

A. Gill and J. Hage, eds., Implementation and Application of Functional Languages, Springer, LNCS 7257, October 2011.

A. Gill, G. Kimmell, and K. Matlage, “Improving the presentation of technical material in video talks using post production,” in 2010 Midwest Section Conference of the American Society for Engineering Education, September 2010.

A. Farmer, G. Kimmell, and A. Gill, “What’s the matter with Kansas Lava?,” in Post-Proceedings of Trends in Functional Programming, Springer-Verlag, LNCS 6546, May 2010.

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 Post-Proceedings of Trends in Functional Programming, vol. 6546 of LNCS, Springer-Verlag, May 2010.

K. Matlage and A. Gill, “Every animation should have a beginning, a middle, and an end,” in Post-Proceedings of Trends in Functional Programming, vol. 6546 of LNCS, Springer-Verlag, May 2010.

G. Hutton, M. Jaskelioff, and A. Gill, “Factorising folds for faster functions,” Journal of Functional Programming, vol. 20, no. 3-4, pp. 353–373, 2010.

A. Gill and G. Hutton, “The worker/wrapper transformation,” Journal of Functional Programming, vol. 19, pp. 227–251, March 2009.

A. Gill and T. Swift, eds., Practical Aspects of Declarative Languages, Springer, LNCS 5418, January 2009.

G. Kimmell, K. Matlage, T. Bull, N. Frisby, A. Gill, M. Jantz, E. Komp, M. Peck, W. Peck, M. Snyder, and B. Werling, “The 2009 ICFP programming contest problem specification,” tech. rep., Information Telecommunication and Technology Center, University of Kansas, Lawrence, KS, June 2009.

A. Gill, “A Haskell hosted DSL for writing transformation systems,” in Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages, DSL ’09, pp. 285–309, Springer-Verlag, July 2009.

A. Gill, “Type-safe observable sharing in Haskell,” in Proceedings of the Second ACM SIGPLAN Haskell Symposium, Haskell ’09, (New York, NY, USA), pp. 117–128, ACM, Sep 2009.

T. Bull, E. Perrins, and A. Gill, “Implementation of the viterbi algorithm using functional programming languages,” in Proceedings of the International Telemetering Conference, Oct 2009. (Student Paper).

B. Werling, E. Perrins, and A. Gill, “Implementation of an LDPC decoder using functional programming languages,” in Proceedings of the International Telemetering Conference, Oct 2009. (Student Paper).

A. Gill, T. Bull, G. Kimmell, E. Perrins, E. Komp, and B. Werling, “Introducing Kansas Lava,” in Proceedings of the Symposium on Implementation and Application of Functional Languages, vol. 6041 of LNCS, Springer-Verlag, Sep 2009.

K. Matlage and A. Gill, “ChalkBoard: Mapping functions to polygons,” in Proceedings of the Symposium on Implementation and Application of Functional Languages, vol. 6041 of LNCS, Springer-Verlag, Sep 2009.

W. L. Harrison, G. Allwein, A. Gill, and A. Procter, “Asynchronous exceptions as an effect,” in Ninth International Conference on Mathematics of Program Construction, Springer-Verlag, July 2008.

J. Nordlander, M. Carlsson, and A. J. Gill, “Unrestricted pure call-by-value recursion,” in Proceedings of the 2008 ACM SIGPLAN workshop on ML, ML ’08, pp. 23–34, ACM, 2008.

S. Marlow, J. Iborra, B. Pope, and A. Gill, “A lightweight interactive debugger for Haskell,” in Proceedings of the 2007 ACM SIGPLAN Workshop on Haskell, ACM Press, September 2007.

A. Gill and C. Runciman, “Haskell Program Coverage,” in Proceedings of the 2007 ACM SIGPLAN Workshop on Haskell, ACM Press, September 2007.

A. Gill, “Introducing the Haskell Equational Reasoning Assistant,” in Proceedings of the 2006 ACM SIGPLAN Workshop on Haskell, pp. 108–109, ACM Press, 2006.

A. Moran, J. Teisher, A. Gill, E. Pasalic, and J. Veneruso, “Automated translation of legacy code for ATE,” in Proceedings of the IEEE International Test Conference, pp. 148–156, IEEE Computer Society, 2001.

A. Gill, “Debugging Haskell by observing intermediate data structures,” in Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, Technical report of the University of Nottingham, 2000.

C. Okasaki and A. Gill, “Fast mergeable integer maps,” in ACM SIGPLAN Workshop on ML, pp. 77–86, September 1998.

A. Gill, Cheap deforestation for non-strict functional languages. PhD thesis, The University of Glasgow, January 1996.

A. Gill, “The technology behind a graphical user interface for an equational reasoning assistant,” in Proceedings of the 1995 Glasgow Workshop on Functional Programming, Electronic Workshops in Computing, Ullapool, Scotland, 1995.

A. Gill and S. Peyton Jones, “Cheap deforestation in practice: An optimizer for Haskell,” in IFIP Congress (1), pp. 581–586, 1994.

A. Gill, J. Launchbury, and S. Peyton Jones, “A short cut to deforestation,” in FPCA ’93: Proceedings of the conference on Functional Programming Languages and Computer Architecture, pp. 223–232, ACM Press, 1993.

J. Launchbury, A. Gill, J. Hughes, S. Marlow, S. Peyton Jones, and P. Wadler, “Avoiding unnecessary updates,” in Glasgow Workshop on Functional Programming, Workshops in Computing, pp. 144–153, Springer-Verlag, 1992.

A. Gill, “A novel approach towards peephole optimisations,” in Proceedings of the 1991 Glasgow Workshop on Functional Programming (R. Heldal, C. K. Holst, and P. Wadler, eds.), Workshops in Computing, pp. 100–111, Springer, August 1991.