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.