The Reduceron Matthew Naylor, Colin Runciman and Jason Reich



Sponsored by



Engineering and Physical

Sciences Research Council, UK



FPGA kit provided by





Introduction

From October 2008 to March 2010, we worked on the EPSRC-funded project The Reduceron: High-Level Symbolic Computing on FPGA. This web-page makes available the results of the project.

Published material

The design, implementation, and evaluation of the Reduceron are described in detail in our paper

The Reduceron reconfigured and re-evaluated

(to appear in the Journal of Functional Programming)

This is an extended version of a paper accepted to ICFP'10. Other relevent published material includes our paper Supercompilation and the Reduceron (accepted to META'10) and, from the beginning of the project, our talk proposal (accepted to HFL'09).

The benchmark programs used in our experiments are available here.

Presentations

Colin presented on 27 September 2010 about the Reduceron at ICFP'10, Baltimore.

Colin presented on 21 July 2010 about guaranteed primitive redex speculation at the Nottingham FP group away day; we hope to have more on this topic soon.

Matthew presented on 26 November 2009 about the Reduceron at FitA, Microsoft Cambridge.

Jason presented on 3 July 2010 about Supercompilation and the Reduceron at Meta'10, Russia.

Matthew also presented at Birmingham University (invited talk), HFL'09, and YDS'08 (invited talk).

Implementation

York Lava The Haskell library used to describe the Reduceron F-lite A compiler for the language that runs on the Reduceron Reduceron The reduction machine itself

F-lite and York Lava are discussed in memos 9 and 23 respectively. More recent versions of these packages may be available on hackage.

Memos

The following memos record our work-in-progress thoughts and ideas. In general, they are drafty in nature: some are sketchy, some are incomplete, and some are subsumed by later memos and published papers.

Previous work

The Reduceron was first developed as part of Matthew's thesis, circa 2007. Here are some of the materials that arose from the thesis work.