Pseudoknot: a Float-Intensive Benchmark for Functional Compilers (0)
| Venue: | Journal of functional programming |
| Citations: | 5 - 1 self |
BibTeX
@INPROCEEDINGS{Hartel_pseudoknot:a,
author = {Pieter H. Hartel and Marc Feeley and Martin Alt and Lennart Augustsson and Peter Baumann and Marcel Beemster and Christine H. Flood and Wolfgang Grieskamp and John H. G. van Groningen and Kevin Hammond and Bogumil Hausman and Xavier Leroy},
title = {Pseudoknot: a Float-Intensive Benchmark for Functional Compilers},
booktitle = {Journal of functional programming},
year = {},
pages = {13--1}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Over 20 implementations of different functional languages are compared using one program. Aspects studied are compile time and execution time. Another important point is how the program can be modified and tuned to obtain maximal performance on each language implementation. Finally, an interesting question is whether laziness is or is not beneficial for this application. With few exceptions, the compilers take a long time to compile this program. Compilers that generate C or Lisp are much slower than those that generate native code directly. Interestingly, there is no clear distinction between the runtime performance of eager and lazy implementations when appropriate annotations are used: lazy implementations have clearly come of age for this application. The speed of C can even be approached by some implementations, but not without special measures such as strictness annotations. No implementation that has been tested actually equals the performance of C. 1 Introduction At the Dagstu...
Citations
| 375 | Deforestation: Transforming programs to eliminate trees - Wadler - 1990 |
| 135 | Miranda—a non-strict functional language with polymorphic types - Turner - 1996 |
| 89 | Revised Report on the Algorithmic Language Scheme - Rees, Clinger - 1986 |
| 23 | Generating efficient code for lazy functional languages - Smesters, Nocker, et al. - 1991 |
| 11 | Generating efficient portable code for a strict applicative language - Schulte, Grieskamp - 1992 |
| 8 | system manual - Miranda - 1990 |
| 6 | 1+1 = 1: an optimizing CAML compiler - Serrano, Weis - 1994 |
| 2 | Bigloo 1.7 user's manual - Serrano - 1994 |
| 2 | Code generation for a lazy functional language - Wentworth - 1991 |
| 1 | Nhc - nearly a Haskell compiler - ojemo - 1994 |
| 1 | RUFL reference manual - Wentworth - 1992 |
