Research Program

Here is a summary of my projects, talks, and external collaborations.

2009-2011

Efficient Hardware Implementation of Iterative FEC Decoders.

On this project we will be using a functional language based hardware description compiler developed at KU to render VHDL. The PI on this project is Erik Perrins.

• Tristan Bull, expected MS 2010
• Andrew Farmer, expected MS 2011
• Kevin Matlage, expected MS 2011
• Brandon Smith, expected BS 2010
• Brett Werling (co-advisor), expected MS 2010

I have one opening for another MS student, and have a number of interesting BS projects that I am willing to supervise.

We build tools to enable us to test our ideas, and measure their significance and effectiveness.

2006-

Haskell Program Coverage (HPC) is a high-fidelity coverage tool for Haskell, now in widespread use throughout the Haskell community.

2008-

KURE is a Haskell-hosted DSL for authoring rewriting systems, and in use in various research projects at KU.

2009-

Chalkboard is a Haskell-hosted DSL for describing 2D static and dynamic images. It is being used to experiment with some new inovations in hosting Domain Specific Languages, as well as generating high quality images for teaching and explaining research ideas.

TIMBER is a prototype of a Haskell based language for real-time systems. We use TIMBER to investigate expressing hard and soft real-time constraints using functional languages, as well as hardware generation issues.

The Glasgow Haskell Compiler is the premier Haskell compiler, currently being maintained as an open source project from inside Microsoft Research, Cambridge. Like many other groups in the functional language community, we use this compiler as a test-bed for our ideas.

September 23^rd, Chalkboard: Mapping Functions to Polygons, 21st Symposium on Implementation and Application of Functional Languages, Seton Hall University, South Orange, NJ, Paper, Slides, Animated Slides.

September 23^rd, Introducing Kansas Lava, 21st Symposium on Implementation and Application of Functional Languages, Seton Hall University, South Orange, NJ, Paper, Slides, Animated Slides.

September 3^rd, Type-Safe Observable Sharing in Haskell, 2009 ACM SIGPLAN Haskell Symposium, Edinburgh, UK, Paper, Slides, Animated Slides, Video.

September 1^st, The 12th ICFP Programming Contest Report, ACM SIGPLAN ICFP 2009, Edinburgh, UK, Slides, Animated Slides, Video.

July 15^th, KURE: A Haskell Hosted DSL for Writing Transformation Systems, IFIP TC2 Working Conference, DSL 2009, Oxford, UK, Paper, Slides.

June 3^rd, Type Directed Observable Sharing, Functional Programming Laboratory, Seminar Series, University of Nottingham, Paper.

April 3^rd, Language Technology and Functional Programming, 2009 ITTC Industry Advisory Board and KTEC Peer Review Meeting, Slides.

March 26^th, The Worker/Wrapper Transformation, Kanasas State University, Department of Computing and Information Sciences, Paper, Slides, Web Page.

October 28^th, Why Functional Programming Matters (Building Trustworthy Systems), Department of Computer Science, University of Missouri, Columbia.

February 15^th, The Worker/Wrapper Transformation and its relationship to rippling, CISA Seminar Series, Edinburgh, Paper, Slides, Web Page.

February 12^th, The Worker/Wrapper Transformation, 5th Fun in the Afternoon, London, Paper, Slides, Web Page.

February 5^th, The Worker/Wrapper Transformation, Edinburgh LFCS Seminar Series, Paper, Slides, Web Page.