parallel processing, concurrency, type system, operational semantics, high performance computing, program verification
program verification, model checking, memory consistency models
program verification, model checking, memory consistency models
model checking, garbage collection, program verification, memory consistency models
memory consistency models, program verification, model checking