Hi, my name is Rudy Braquehais. I am a PhD student in the Department of Computer Science at the University of York, UK under the supervision of Colin Runciman. My research is on tools to facilitate the testing of functional programs, such as: LeanCheck, Extrapolate, Speculate and FitSpec. I have presented a paper at the first day of the Haskell Symposium 2017.

There were several interesting talks (and papers) on this year’s ICFP and Haskell Symposium. Of the ICFP, some of favorites were:

• “A Pretty but not Greedy Printer” by Jean-Philippe Bernardy (pretty-compact library);
• “Effect-Driven QuickChecking of Compilers” by Jan Midtgaard; and
• “Compiling to Categories” by Conal Eliott (concat library).

and on the Haskell Symposium:

• “Algebraic Graphs with Class” by Andrey Mokhov (Alga library);
• “Ode on a Random Urn” by Leonidas Lampropoulos (urn-random library); and
• “QuickSpec: A Lightweight Theory Exploration Tool for Programmers” by Maximilian Algehed (QuickSpec tool).

As you can see by the above links, authors generally provide their libraries in a public repository for use for free. So, other researchers can easily replicate results that are described in each paper.

Recordings of most of those talks will be available on YouTube on a near future. I’ll update this post with links then.