"dataflow rewriting engine"

[John Dias]

I've added some text and links to point the reader in the right direction. Here's the new text, cribbed from the Wiki:

Dataflow optimization: We can define a new optimization simply by defining a lattice of dataflow facts (akin to a specialized logic) and then writing the dataflow-transfer functions found in compiler textbooks. Handing these functions to the dataflow engine produces a new optimization that is not only useful on its own, but that can easily be composed with other optimizations to create an integrated "superoptimization" that is strictly more powerful than any sequence of individual optimizations, no matter how many times they are re-run. The dataflow engine is based on (Lerner, Grove, and Chambers 2002 http://citeseer.ist.psu.edu/old/lerner01composing.html); you can find a functional implementation of the dataflow engine presented in (Ramsey and Dias 2005 http://www.cs.tufts.edu/~nr/pubs/zipcfg-abstract.html).

Let me know how I can further clarify the text,
-j

> -----Original Message-----
> From: Simon Peyton-Jones
> Sent: Tuesday, August 26, 2008 1:32 PM
> To: Norman Ramsey; John Dias
> Cc: Chad Scherrer; GHC Users
> Subject: RE: "dataflow rewriting engine"
>
> Norman, John
>
> Would you care to respond to this? (Perhaps by amplifying the wiki
> page?)  A good starting point is perhaps Craig's paper.
>
> Simon
>
> | -----Original Message-----
> | From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow-
> haskell-users-bounces at haskell.org] On
> | Behalf Of Chad Scherrer
> | Sent: 22 August 2008 22:21
> | To: GHC Users
> | Subject: "dataflow rewriting engine"
> |
> | Hello GHC,
> |
> | This page
> |
> http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Integrated
> CodeGen
> | mentions a to-be-developed "dataflow rewriting engine". Can someone
> | please send a description of what this will do?
> |
> | Thanks!
> | --
> |
> | Chad Scherrer
> |
> | "Time flies like an arrow; fruit flies like a banana" -- Groucho Marx
> | _______________________________________________
> | Glasgow-haskell-users mailing list
> | Glasgow-haskell-users at haskell.org
> | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users