De auteurs doen onderzoek naar compilers die precieze en gebruikersvriendelijke foutmeldingen genereren, voor ondersteuning van onderwijs in programmeren. Samen met anderen ontwikkelden zij Helium, een compiler voor Haskell. Helium gaat uit van een aantal goede gewoontes en levert suggesties bij een aantal veel voorkomende fouten.