Core-to-core transformations: current state-of-the-art?

[Simon Peyton Jones]

SpecConstr: http://research.microsoft.com/en-us/um/people/simonpj/papers/spec-constr/index.htm

CPR: http://research.microsoft.com/en-us/um/people/simonpj/papers/cpr/index.htm

Inliner: http://research.microsoft.com/en-us/um/people/simonpj/papers/inlining/index.htm

Short cut deforestation: http://research.microsoft.com/en-us/um/people/simonpj/papers/andy-thesis.ps.gz

Unboxed values: http://research.microsoft.com/en-us/um/people/simonpj/papers/unboxed-values.ps.Z

RULES: http://research.microsoft.com/en-us/um/people/simonpj/papers/rules.htm
| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Jan
| Stolarek
| Sent: 15 July 2014 10:11
| To: ghc-devs at haskell.org
| Subject: Core-to-core transformations: current state-of-the-art?
| 
| Hi devs,
| 
| I'm curious about the current state of core-to-core transformations
| inside GHC. I know about following papers that cover this subject:
| 
| 1. "Compilation by Transformation in Non-Strict Functional Languages",
| a PhD dissertation by Santos (I assume this summarizes earlier papers
| by Santos and SPJ).
| 2. "A transformation-based optimiser for Haskell", paper by SPJ and
| Santos.
| 3. "Let-floating: moving bindings to give faster programs", paper by
| SPJ, Partain and Santos.
| 4. "Modular, Higher-Order Cardinality Analysis in Theory and Practice",
| paper by Sergey, Vytiniotis and SPJ.
| 
| Is there any other work that I should be aware of? Are there
| transformations implemented in GHC that were not described in any
| paper?
| 
| Janek
| 
| PS. I'm aware of the wiki pages that list the GHC papers.
| _______________________________________________
| ghc-devs mailing list
| ghc-devs at haskell.org
| http://www.haskell.org/mailman/listinfo/ghc-devs