Current Research Interests:

Analysis of Software Designs (papers)

Project Nitpick
Ladybug
Ladybug/OCL
 

Program Analysis

Shape analysis
Cheddar project: combining multiple simple analyses
Path grammars
 

Discrete Search (papers)

Performance characteristics of discrete search
Discrete search over complex objects

Inactive Research Interests:

Object Databases (papers)

Query languages
Class-based concurrency control

Human Computer Interaction

Prototyping support tools
Programming support for user interfaces

A complete list of publications appears here