Domain-specific languages for HPC

We are investigating domain-specific languages that can be used in conjunction with other, established general-purpose languages in HPC applications. For example, specifying tensor computations using high-level syntax enables more transformations to be performed by the compiler, resulting in better-performing implementations than a low-level loop-based C/C++ or Fortran implementation. At the same time, most of the implementation of existing and new applications rely on general-purpose languages and hence any portion of the implementation, which relies on DSLs must be integrated seamlessly with the rest of the implementation languages.