Changes between Version 13 and Version 14 of Status/Oct11

Show
Ignore:
Timestamp:
10/27/11 15:34:28 (19 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/Oct11

    v13 v14  
    113113Also on the go, but not yet fully baked, are: 
    114114 * Work on adding contracts to Hsakell, along the lines of Dana Xu's these, but using a first order logic theorem prover to check contract satisfaction (with Koen Claessen, Dimitrios Vytiniotis, Charles-Pierre Astolfi, and Nathan Collins). 
    115  * Extending the code generator to exploid vector instructions (with Peter Braam, Paul Monday, Duncan Coutts).  
     115 * Extending the code generator to exploit vector instructions (with Peter Braam, Paul Monday, Duncan Coutts) [[ VectorInstructions]]. 
     116 
    116117 * A modular package language for Haskell (with Derek Dreyer and Scott Kilpatrick) [[http://hackage.haskell.org/trac/ghc/wiki/PackageLanguage Packages]]. 
    117118 
    … …  
    140141 * [SHE] ''The Strathclyde Haskell Enhancement'', Conor !McBride, 2010, http://personal.cis.strath.ac.uk/~conor/pub/she/ 
    141142 
     143 * [!VectorInstructions] ''Using SIMD instructions via the LLVM back end'', GHC wiki page, http://hackage.haskell.org/trac/ghc/wiki/SimdLlvm