high performance computing | STAIR: Software Technology and Artificial Intelligence Research Laboratory

tag: high performance computing

2019.10.23
A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language

parallel processing, concurrency, type system, operational semantics, high performance computing, program verification
2018.01.31
CCA/EBT: Code Comprehension Assistance Tool for Evidence-Based Performance Tuning (HPCAsia2018) CCA/EBT: Code Comprehension Assistance Tool for Evidence-Based Performance Tuning (HPCAsia2018)

program analysis, evidence-based performance tuning, Fortran, high performance computing, machine learning
2017.07.10
事例に基づくプログラム性能チューニング支援 Evidence-Based Performance Tuning

evidence-based performance tuning, Fortran, performance engineering, high performance computing, data mining, machine learning, program analysis