I'm a developer at Microsoft Research Cambridge, in
Programming Principles and Tools group.
Most of my activities are centered
research and development. I work on
the Glasgow Haskell
Compiler, in particular I'm the author of most of the
runtime system, and large parts of the compiler and
Here are some open-source tools I (co-)maintain:
- The Glasgow Haskell Compiler (GHC)
- I'm one of the principle developers of GHC, the World's Leading
Haskell Compiler (well, we think so).
- A documentation tool for Haskell libraries.
- A tool for generating parsers in Haskell, much like Yacc for
- A tool for generating lexical analysers for Haskell (can you see
a pattern emerging? :-), much like Lex/Flex for C.
Projects I'm currently involved in:
- Multi-processor GHC, STM, parallelism
- My main activity of late has been working on support for
parallel programming using GHC. There are three strands to this:
- Concurrent Haskell and STM.
- Deterministic ("pure") parallelism.
recent paper on the multicore support in GHC's
- Data-parallel Haskell.
- This is the working title for the next revision of the Haskell
language. I'm a co-chair on the committee.
- I'm organising a workshop for people involved in the
development of Haskell tools and infrastructure, on 5 September
2009 in Edinburgh.
Program comittee memberships:
My publications can be found on a separate page.