domain-specific language, work stealing, load balancing, task parallel processing, termination, confluence, rewriting, concurrency, operational semantics
concurrency, parallel processing, type system, operational semantics, high performance computing, program verification
operational semantics, data race freedom, bisimulation, model checking, memory consistency models