Final Report on XStack: Software Synthesis for High Productivity ExaScale Computing
Massachusetts Inst. of Technology (MIT), Cambridge, MA (United States), Armando Solar-Lezama, USDOE Office of Science (SC) · 2016
The goal of the project was to develop a programming model that would significantly improve productivity in the high-performance computing domain by bringing together three components: a) Automated equivalence checking, b) Sketch-based program synthesis, and c) Autotuning. The report provides an executive summary of the research accomplished through this project. At the end of the report is appended a paper that describes in more detail the key technical accomplishments from this project, and which was published in SC 2014.