parallel processing, concurrency, type system, operational semantics, high performance computing, program verification
program analysis, evidence-based performance tuning, Fortran, high performance computing, machine learning
evidence-based performance tuning, Fortran, performance engineering, high performance computing, data mining, machine learning, program analysis