Brent Yorgey, PhD student at the University of Pennsylvania, visits the FP group and talks about his diagrams package.
Andrew Farmer passed his comprehensive PhD oral examination, with dissertation title ''Mechanizing Worker/Wrapper for Domain Specific Optimizations''. Congratulations Andrew!
Neil Sculthorpe gave a talk about the internals of HERMIT at the Haskell Symposium
Andrew Farmer gave a talk about HERMIT's web interface technology at the XLDI Workshop
Neil Sculthorpe gave a talk about using HERMIT at the IFL 2012
Neil Sculthorpe joins the FP group. He will work as a PostDoc on the HERMIT project. Welcome aboard Neil!
We (finally!) release Kansas Lava, and Kansas Lava Cores. There are available on hackage. Our webpage for Kansas Lava is http://ittc.ku.eduTools/KansasLava.
We are looking to[hire a PostDoc, to work on the HERMIT project. Please apply!
The Functional Programming Group at KU have be awarded an NSF grant to improving the applicability of Haskell-hosted semi-formal models to high assurance development. Specifically, this involves building a refinement toolkit inside GHC that uses a general form of the worker/wrapper transformation.
Andy Gill presented gave an invited talk "Declarative FPGA Circuit Synthesis using Kansas Lava", at ERSA'11, Las Vegas, NV.
Andy Gill presented "Functional Programming, Hardware Generation and Functor Chains" at Chalmers University, Sweden.
Andy Gill presented "Functional Programming, Hardware Generation and Functor Chains" at the University of Kent, England.
Andy Gill presented "Functional Programming, Hardware Generation and Functor Chains" at the University of Oxford, England.
Andy Gill presented "Deriving an Efficient FPGA Implementation of a Low Density Parity Check Forward Error Corrector" to WG2.1 in Reykjavik, Iceland.
Andy Gill presented "Using Functional Programming to Generate an LDPC Forward Error Corrector" at the 19th Annual IEEE International Symposium on Field-Programmable Custom Computing Machines.
Tristan Bull successfully defended his MS.
Kevin Matlage successfully defended his MS.
Andrew Farmer was selected to receive an NSF GK-12 fellowship for the 2011-2012 academic year. The fellowship, which includes a $30,000 stipend, supports partnerships between graduate students and middle school teachers to improve Fellows' teaching and communication skills, advance STEM education in middle schools, and provide role models for younger students.
Announcing the 2011 Symposium on Implementation and Application of Functional Languages, to be hosted by FPG at KU, October 3-5, 2011.
Andrew Farmer gave a talk about type functions and Kansas Lava at the Haskell Implementors Workshop. Slides, Video.
Simon Thompson visited FPG and CSDL, and gave two talks about Wrangler and HaRe.
Andy Gill gave a talk at ASEE, about post-processing video talks.
Paper about using ChalkBoard for video processing accepted and sent for publication at ASEE.
Andy Gill and Andrew Farmer spend week at Portland State University, in Portland, Oregon.
Paper about using ChalkBoard for video processing submitted.