I'm a researcher in the Program Analysis and Transformation group in Hawthorne. My current research interests include refactoring, static program analysis, language design, language implementation and meta-tooling for building language-specific IDEs.
Over the last several years, I've worked on refactorings for the Eclipse Java Development Toolkit (JDT), including several type-related refactorings such as Infer Type Arguments (part of Eclipse 3.1 and later; see my publications for more information) and Introduce Type Parameters (a work in progress; again, see my publications list for more details).
I'm a member of the X10 group, whose goal is to create a next-generation object-oriented programming language targetted at highly concurrent programs for multi-core and massively parallel hardware platforms. This work is funded by the DARPA PERCS research program. X10 was released as open-source in December of 2006.
My main activity these days is leading the SAFARI (Simple Additive Framework for Analysis, Refactoring and IDEs) project. We're creating a meta-tooling framework to greatly accelerate the process of building full-featured language-specific IDEs for the Eclipse platform. SAFARI's goal is provide support for syntax highlighting, hyperlinking from references to declarations, source code folding, hover help, incremental building with dependency tracking, structural outlining, content assistance, source formatting, static analysis, refactoring, debugging and many other IDE services. You may have seen our demonstrations at OOPSLA 2006, EclipseCon 2006, SuperComputing 2006, or EclipseCon 2007.