Output details
11 - Computer Science and Informatics
University of Leeds
Causality of Optimized Haskell: What is burning our cycles?
<08>GHC is the de facto standard implementation of Haskell, spearheading adoption of Haskell by numerous commercial and scientific users. Early work on Haskell performance profiling is limited by GHC's aggressive code optimization strategies: high-performance code couldn't be profiled accurately. Our work, funded by a Microsoft PhD Scholarship (Wortmann) supported by the GHC team at MSR Cambridge (Peyton Jone, Marlow), reports a breakthrough:a systematic theory for tracing runtime costs through optimization, and full implementation within the GHC compiler. The work promises to significantly extend the reach and utility of Haskell; profiling components are beginning to be merged into GHC's master release.