Compiler testing/validation; program analysis/testing/verification; programming languages, methodologies, and tools; intelligent programming assistants, development environments; software security; education technologies