https://123dok.net/document/1y9kekwz-antarex-a-dsl-based-approach-to-adaptively-optimizing-and-enforcing-extra-functional-properties-in-high-performance-computing.html