ICFP 2018 (series) / Haskell 2018 (series) / Haskell 2018 /
AutoBench: Comparing the Time Performance of Haskell Programs
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 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Thu 27 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00 | |||
10:30 30mTalk | AutoBench: Comparing the Time Performance of Haskell Programs Haskell DOI | ||
11:00 30mTalk | Autobahn 2.0: Minimizing Bangs while Maintaining Performance (System Demonstration) Haskell DOI | ||
11:30 30mTalk | 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 |