Research of Craig A. Damon


Home         Schedule      Teaching      Professional      Research     CV         Personal


I have temporarily shelved my research

Recent Research Interests:

Program Analysis

Path grammars
  Shape analysis
Cheddar project: combining multiple simple analyses

Analysis of Software Designs (papers)

Project Nitpick
Ladybug
Ladybug/OCL
 

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