Language design for sequential and parallel programming, Programming language implementation; Programming language semantics; Compilers and interpreters; Runtime systems for program execution; Storage allocation and garbage collection; Languages and methods for writing program specifications; Languages and methods for secure and reliable programs; Testing and verification of programs
