While I have worked in many areas of computer systems, the core of my current work is compiler technology. Much of my work aims to push the frontiers of compiler research through moving up the "food chain" - exploiting properties and opportunities special to particular classes of application. This has led me to engage deeply with collaborators in finite element methods, and computer vision.