Before that I worked on the Phoenix Compiler Framework at Microsoft and the High Level Optimizer at HP.