AutoBench: comparing the time performance of Haskell programs-Reference-Cited by-同舟云学术

AutoBench: comparing the time performance of Haskell programs

Published:2018-12-07 Issue:7 Volume:53 Page:26-37
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Handley Martin A. T.¹,Hutton Graham¹

Affiliation:

1. University of Nottingham, 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.

Funder

Engineering and Physical Sciences Research Council

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/3299711.3242749

Reference41 articles.

1. Testing telecoms software with quviq QuickCheck

2. D. Beardsley. 2018. Fake. https://hackage.haskell.org/package/fake . D. Beardsley. 2018. Fake. https://hackage.haskell.org/package/fake .

3. J. Bernardy P. Jansson and K. Claessen. 2010. Testing Polymorphic Properties. ESOP. 10.1007/978-3-642-11957-6_8 J. Bernardy P. Jansson and K. Claessen. 2010. Testing Polymorphic Properties. ESOP. 10.1007/978-3-642-11957-6_8

4. N. Brown. 2010. Progression. https://hackage.haskell.org/package/ progression . N. Brown. 2010. Progression. https://hackage.haskell.org/package/ progression .

5. J. Christiansen and S. Fischer. 2008. EasyCheck - Test Data for Free. FLOPS . J. Christiansen and S. Fischer. 2008. EasyCheck - Test Data for Free. FLOPS .