skip to main content

SciTech ConnectSciTech Connect

Title: Final Report on XStack: Software Synthesis for High Productivity ExaScale Computing

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.
Authors:
 [1]
  1. Massachusetts Inst. of Technology (MIT), Cambridge, MA (United States). Computer Science and Artificial Intelligence Lab.
Publication Date:
OSTI Identifier:
1261628
Report Number(s):
DOE-MIT--05372-0
DOE Contract Number:
SC0005372
Resource Type:
Technical Report
Research Org:
Massachusetts Inst. of Technology (MIT), Cambridge, MA (United States)
Sponsoring Org:
USDOE Office of Science (SC)
Contributing Orgs:
Univ. of California, Berkeley, CA (United States)
Country of Publication:
United States
Language:
English
Subject:
97 MATHEMATICS AND COMPUTING