His research interests include compilers and programmming languages, and their use for software security, system reliability, and parallel programming. His research group developed the LLVM Compiler Infrastructure, a widely distributed and novel compiler framework for 'lifelong' optimization of programs. LLVM is in production use by several companies including Apple, Adobe, Cray, and others, and is included in both MacOS 10.5 and Apple's SDK.