Research Repository

See what's under the surface

AutoBench: comparing the time performance of Haskell programs

HANDLEY, MARTIN; HUTTON, GRAHAM

Authors

MARTIN HANDLEY Martin.Handley@nottingham.ac.uk

Abstract

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.

Start Date Sep 27, 2018
Publication Date Sep 27, 2018
Publisher Association for Computing Machinery
Pages 26-37
Book Title Proceedings of the 11th ACM SIGPLAN Haskell Symposium (Haskell '18)
ISBN 9781450358354
Institution Citation HANDLEY, M., & HUTTON, G. (2018). AutoBench: comparing the time performance of Haskell programs. In Proceedings of the 11th ACM SIGPLAN Haskell Symposium (Haskell '18), 26-37. doi:10.1145/3242744.3242749
DOI https://doi.org/10.1145/3242744.3242749
Keywords Time performance; Optimisation; Benchmarking
Additional Information Published in: Haskell 2018 Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell. Pages 26-37

St. Louis, MO, USA — September 27 - 28, 2018
ACM New York, NY, USA ©2018
ISBN: 978-1-4503-5835-4 doi: 10.1145/3242744.3242749

Files




You might also like


Downloadable Citations