Generation and Verification of High-Performance Mathematical Software and Hardware

点击翻译按钮获取中文摘要

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.