Generation and Verification of High-Performance Mathematical Software and Hardware

该项目延续了麦克马斯特大学和IBM加拿大公司长达十年的合作，发明了新的软件策略，以更好地利用处理电子商务和分析的z大型机以及为科学提供动力的POWER超级计算机。Coconut （COde CONstructing User Tool）是我们的实验性编译平台，包含一系列嵌入Haskell的领域特定语言，以及符号代码生成和一些新颖的调度策略。这项资助的工作将允许我们完成随机生成指令时间表的工作，以便不仅产生非常高效的代码，而且了解可能的时间表的空间，深入了解现有的调度策略，并制定新的策略。它还将使我们能够充分开发一个拟议的处理器增强功能，该功能有望将机器学习时间缩短一半。

This project continues a decade-long collaboration between McMaster University and IBM Canada, inventing new software strategies to better utilize the z Mainframes which transact eCommerce and analytics and POWER supercomputers powering science. Coconut (COde CONstructing User Tool) is our experimental compiler platform, and comprises a series of Domain Specific Languages embedded in Haskell, together with symbolic code generation and several novel scheduling strategies. The work funded by this grant will allow us to finish work on randomly generating instruction schedules in order to not only produce very efficient code, but to understand the space of possible schedules, gain insight into existing scheduling strategies, and formulate new strategies. It will also allow us to fully develop a proposed processor enhancement which promises to cut Machine Learning times in half. The applications which will directly benefit from this work are Machine Learning and and Blockchain.