AutoBench: comparing the time performance of Haskell programs

Martin A. T. Handley, Graham Hutton
2018 Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell - Haskell 2018  
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
more » ... entation of the AutoBench system, demonstrate its utility with a number of case studies, and find that many QuickCheck correctness properties are also efficiency improvements.
doi:10.1145/3242744.3242749 dblp:conf/haskell/HandleyH18 fatcat:skc7hsppnvfmzh3lewgddmhiqy