Date: 2010-12-09 Time: 11:45 Room: [[http://www.cs.uu.nl/docs/reach/bbl.php][BBL]] [[http://www.cs.uu.nl/info/plan/bbl.php]] ----+++++ Speaker: Andreas Resios ----+++++ Title: Hoopl: Dataflow optimizations made easy ----+++++ Abstract These days it is common for compilers to include an optimization phase which improves the performance of the generated program. Some of the most popular optimizations are transformations based on dataflow analyses. Although the components involved in dataflow analysis are rather general at a conceptual level, most implementations contain details of a particular compiler (e.g. a custom control flow graph representation). In order to create generic optimizers that could be used by multiple compilers an analysis and transformation engine is required. In this talk we describe such an engine, *Hoopl*, a reusable Haskell library which facilitates the definition of dataflow analyses and transformations for a compiler written in Haskell.