Collaborative Research: Mechanical Transformation of Knowledge to Libraries

该项目采用一种完全不同的方法来解决图书馆开发问题，在这种方法中，知识抽象在适当的层次上被表示出来，然后将这些知识转换为针对不同目标平台和环境进行优化的实现。这里的主要智能优点是高质量数字代码生成的自动化。更广泛的影响是，对于库开发人员来说，抽象驱动的自动化可以显着减少“软件差距”--新体系结构和新软件开发之间的延迟，以最大限度地利用它。这将广泛影响使用HPC的所有学科。

The proposed project approaches the problem of library development by a fundamentally different approach -- one in which the knowledge abstractions at an appropriate level are represented and then this knowledge is converted into implementations optimized for different target platforms and circumstances. The primary intellectual merit here is the automation of high quality numerical code generation. The broader impact is that abstraction driven automation for library developers can significantly cut down the "software gap" -- delay between development of new architectures and new software that maximizes its use. The impact of this will be broad across all disciplines that use HPC.