-
Chapter and Conference Paper
Advances in Lazy SmallCheck
A property-based testing library enables users to perform lightweight verification of software. This paper presents improvements to the Lazy SmallCheck property-based testing library. Users can now test propertie...
-
Chapter and Conference Paper
Lazy Generation of Canonical Test Programs
Property-based testing can be a highly effective form of lightweight verification, but it relies critically on the method used to generate test cases. If we wish to test properties of compilers and related too...
-
Chapter and Conference Paper
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA
For the memory intensive task of graph reduction, modern PCs are limited not by processor speed, but by the rate that data can travel between processor and memory. This limitation is known as the von Neumann bott...