Book ChapterDOI
The nofib Benchmark Suite of Haskell Programs
Will Partain
- pp 195-202
Reads0
Chats0
TLDR
The need for, make-up of, and “rules of the game” for a benchmark suite of Haskell programs are described, which will encourage sound, quantitative assessment of lazy functional programming systems.Abstract:
This position paper describes the need for, make-up of, and “rules of the game” for a benchmark suite of Haskell programs. (It does not include results from running the suite.) Those of us working on the Glasgow Haskell compiler hope this suite will encourage sound, quantitative assessment of lazy functional programming systems. This version of this paper reflects the state of play at the initial pre-release of the suite.read more
Citations
More filters
Proceedings ArticleDOI
A fast Fourier transform compiler
TL;DR: The internals of this special-purpose compiler, called genfft, are described in some detail, and it is argued that a specialized compiler is a valuable tool.
Playing by the rules: rewriting as a practical optimisation technique in GHC
TL;DR: While programmers are unlikely to write su h expressions themselves, they an easily appear when aggressive inlining brings together ode that was written separately.
Dynamic Binary Analysis and Instrumentation
TL;DR: This dissertation advances the theory and practice of dynamic binary analysis and instrumentation with an emphasis on the importance of the use and support of metadata, and shows that metadata is the key component of dynamic analysis.
Proceedings ArticleDOI
Stream fusion: from lists to streams to nothing at all
TL;DR: An automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion systems, and reimplemented the Haskell standard List library on top of this framework, providing stream fusion for Haskell lists.
Journal ArticleDOI
A transformation-based optimiser for Haskell
Simon Jones,André L. Santos +1 more
TL;DR: This paper reports on the practical experience of the transformational approach to compilation, in the context of a substantial compiler.
References
More filters
Book
Computer Architecture: A Quantitative Approach
TL;DR: This best-selling title, considered for over a decade to be essential reading for every serious student and practitioner of computer design, has been updated throughout to address the most important trends facing computer designers today.
Journal ArticleDOI
SPLASH: Stanford parallel applications for shared-memory
TL;DR: This work presents the Stanford Parallel Applications for Shared-Memory (SPLASH), a set of parallel applications for use in the design and evaluation of shared-memory multiprocessing systems, and describes the applications currently in the suite in detail.
Journal ArticleDOI
Non-strict languages-programming and implementation
S. C. Wray,J. Fairbairn +1 more
TL;DR: This paper takes as an example an interactive functional program and describes the programming techniques depending on non-strict evaluation which improved its design, and describes Tim, a method of implementing non-Strict languages for which the penalty for using lazy evaluation is very small.
Proceedings ArticleDOI
Performance of Lisp systems
TL;DR: The issues involved in evaluating the performance of Lisp systems are described, and the thesis is that benchmarking is most effective when performed in conjunction with an analysis of the underlying Lisp implementation and computer architecture.