... | ... | @@ -109,15 +109,16 @@ impredicative instantiation as it now stands; it might change! |
|
|
on the order of 15%. **Simon is that right?**
|
|
|
|
|
|
- Roman Leshchinskiy, Don Stewart, and Duncan Coutts did some beautiful
|
|
|
work on *fusion*; see their papers **""**.
|
|
|
work on *fusion*; see their paper [ http://www.cse.unsw.edu.au/\~dons/papers/CSL06.html](http://www.cse.unsw.edu.au/~dons/papers/CSL06.html).
|
|
|
This fusion work is already being heavily used in the parallel array library
|
|
|
(see below), and they are also working on replacing foldr/build fusion with
|
|
|
stream fusion in the main base library (see their new paper **""**).
|
|
|
stream fusion in the main base library (see their new paper
|
|
|
[ http://www.cse.unsw.edu.au/\~dons/papers/CLS07.html](http://www.cse.unsw.edu.au/~dons/papers/CLS07.html)).
|
|
|
|
|
|
Their work highlighted the importance of the [SpecConstr](spec-constr) transformation, which Simon
|
|
|
implemented several years ago. Of course, they suggested many enhancements, many of
|
|
|
which Simon duly implemented; see the new paper "Constructor specialisation for Haskell
|
|
|
programs" **\\url{}**
|
|
|
programs" [ http://research.microsoft.com/\~simonpj/papers/spec-constr/](http://research.microsoft.com/~simonpj/papers/spec-constr/).
|
|
|
|
|
|
- Alexey Rodriguez visited us for three months from Utrecht, and implemented
|
|
|
a new back-end optimisation called *dynamic pointer tagging*. We have wanted
|
... | ... | @@ -131,9 +132,10 @@ impredicative instantiation as it now stands; it might change! |
|
|
University of New South Wales, are collaborating with us on support
|
|
|
for *nested data-parallel computation* in GHC.
|
|
|
We presented a paper at the Declarative Aspects of Multicore Programing
|
|
|
workshop in January 2007: **\\url{...}**, and made a first release of the
|
|
|
library in March **\\url{...}**. It's a pretty ambitious project, and we
|
|
|
have quite a way to go.
|
|
|
workshop in January 2007: [ http://www.cse.unsw.edu.au/\~chak/papers/CLPKM07.html](http://www.cse.unsw.edu.au/~chak/papers/CLPKM07.html),
|
|
|
and made a first release of the
|
|
|
library in March [ http://www.cse.unsw.edu.au/\~dons/polymer.html](http://www.cse.unsw.edu.au/~dons/polymer.html).
|
|
|
It's a pretty ambitious project, and we have quite a way to go.
|
|
|
You can peek at the current status on the project home page:
|
|
|
[ http://haskell.org/haskellwiki/GHC/Data_Parallel_Haskell](http://haskell.org/haskellwiki/GHC/Data_Parallel_Haskell).
|
|
|
|
... | ... | |