Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Thu 27 Sep 2018 10:30 - 11:00 at Illinois Central - Session 1 Chair(s): Michael D. Adams

Two fundamental goals in programming are correctness (producing the right results) and efficiency (using as few resources as possible). Property-based testing tools such as QuickCheck provide a lightweight means to check the correctness of Haskell programs, but what about their efficiency? In this article, we show how QuickCheck can be combined with the Criterion benchmarking library to give a lightweight means to compare the time performance of Haskell programs. We present the design and implementation of the \emph{AutoBench} system, demonstrate its utility with a number of case studies, and find that many QuickCheck correctness properties are also efficiency improvements.

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
Session 1Haskell at Illinois Central
Chair(s): Michael D. Adams University of Utah
10:30
30m
Talk
AutoBench: Comparing the Time Performance of Haskell Programs
Haskell
Martin A. T. Handley University of Nottingham, UK, Graham Hutton University of Nottingham, UK
DOI
11:00
30m
Talk
Autobahn 2.0: Minimizing Bangs while Maintaining Performance (System Demonstration)
Haskell
Marilyn Sun Tufts University, USA, Kathleen Fisher Tufts University, USA
DOI
11:30
30m
Talk
Improving Typeclass Relations by Being Open
Haskell
Guido Martínez CIFASIS-CONICET, Argentina, Mauro Jaskelioff CONICET, Argentina, Guido De Luca Universidad Nacional de Rosario, Argentina
DOI