AutoBench: comparing the time performance of Haskell programs

Handley, Martin A.T. and Hutton, Graham (2018) AutoBench: comparing the time performance of Haskell programs. In: Haskell Symposium 2018, 27-28 September 2018, St Louis, Missouri, USA.

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (2MB) | Preview


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 AutoBench system, demonstrate its utility with a number of case studies, and find that many QuickCheck correctness properties are also efficiency improvements.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Published in: Proceedings of the 11th ACM SIGPLAN Haskell Symposium (Haskell '18),ISBN: 978-1-4503-5835-4, doi: 10.1145/3242744.3242749
Keywords: Time performance; Optimisation; Benchmarking
Schools/Departments: University of Nottingham, UK > Faculty of Science > School of Computer Science
Depositing User: Lashkova, Mrs Olga
Date Deposited: 13 Sep 2018 09:52
Last Modified: 28 Sep 2018 04:30

Actions (Archive Staff Only)

Edit View Edit View