Computing Education (Curricula, Error Messages, Peer Review, etc) [Active Area]

Policy Analysis and Authoring

Synthesizing APIs from Relational Specifications

Features and Capabilities

Timing Diagrams (Diagrammatic Reasoning and Formal Methods)

Aspect-Oriented Verification

Feature-Oriented Verification

General Computer-Aided Verification

Software Engineering Issues

Verification in Practice

Teaching Issues