Recent NSF grants II
Exploratory programming techniques for program execution monitoring
Scalable static techniques for exhaustive and incremental analyses of C systems
And more: inspections & reviews, process-based environments, VPL, software architecture, program restructuring, evolution of persistent ADTs, and many more