Hi Peter, as a start, here are few tickets concerning CSE: https://ghc.haskell.org/trac/ghc/query?status=!closed&keywords=~CSE I'm not sure if there are keywords for strictness analysis or let-floating on Trac. Here's the full list of keywords: https://ghc.haskell.org/trac/ghc/report/25?max=500. Hope that helps, Simon 2018-05-13 17:18 GMT+02:00 Peter Podlovics <peter.d.podlovics@gmail.com>:

Hi all,

During the summer, as a university project, I would like to make some contributions to GHC. There are three topics in particular that piqued my interest: common subexpression elimination, strictness analysis, and let-floating.

I would like to ask you whether there is any room for improvement in these parts of the compiler. Could you give me some pointers?

Thanks in advance, Peter

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

I’ve always thought that so-called “late lambda lifting” is not-very-well-explored candidate for pref improvement. Nick Frisby did some preliminary work, but it would (I believe) reward some careful attention. https://ghc.haskell.org/trac/ghc/wiki/LateLamLift Simon From: ghc-devs <ghc-devs-bounces@haskell.org> On Behalf Of Peter Podlovics Sent: 13 May 2018 16:18 To: ghc-devs@haskell.org Subject: Potential improvements for CSE, strictness analyzer, let-floating Hi all, During the summer, as a university project, I would like to make some contributions to GHC. There are three topics in particular that piqued my interest: common subexpression elimination, strictness analysis, and let-floating. I would like to ask you whether there is any room for improvement in these parts of the compiler. Could you give me some pointers? Thanks in advance, Peter