Changes between Version 8 and Version 9 of Status/Oct09


Ignore:
Timestamp:
Nov 3, 2009 3:12:54 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct09

    v8 v9  
    151151   top-level definitions that can be consulted by a core-to-core pass, 
    152152   and for a core-to-core pass to pass information to its successors 
    153    [!Annotations]. 
     153   [wiki:Annotations]. 
    154154   We expect to use these annotations increasingly in GHC itself. 
    155155 
     
    191191cruft; (c) exploit it, by implementing cool new optimisations at the `C--` level; 
    192192(d) take it further by integrating the native code generators into the  
    193 same pipeline.  You can read more on the wiki [!CodeGen]. 
     193same pipeline.  You can read more on the wiki [[wiki:Commentary/Compiler/NewCodeGenPipeline !CodeGen]]. 
    194194 
    195195Several passes of the new code generation pipeline are supported by Hoopl, 
    196196a Haskell library that makes it easy to write dataflow analyses and optimisations 
    197 over `C--` code [Hoopl].  We think Hoopl is pretty cool, and have well-advanced 
     197over `C--` code [[http://research.microsoft.com/~simonpj/papers/c-- Hoopl]].  We think Hoopl is pretty cool, and have well-advanced 
    198198ideas for how to improve it a lot more. 
    199199 
     
    213213 * [!LetGen] "Let should not be generalised", Dimitrios Vytiniotis, Simon Peyton Jones, and Tom Schrijvers, submitted to TLDI'10.  [http://research.microsoft.com/~simonpj/papers/constraints/index.htm] 
    214214 
    215  * [Hoopl] "Hoopl: dataflow optimisation made simple", Norman Ramsey, John Dias, and Simon Peyton Jones, rejected by POPL 2010. [[http://research.microsoft.com/~simonpj/papers/c--]] 
     215 * [Hoopl] "Hoopl: dataflow optimisation made simple", Norman Ramsey, John Dias, and Simon Peyton Jones, rejected by POPL 2010. [http://research.microsoft.com/~simonpj/papers/c--] 
    216216 
    217217 * [Terei] '''Manuel: what URL?'''