skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

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

Abstract

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

Citation Formats

Solar-Lezama, Armando. Final Report on XStack: Software Synthesis for High Productivity ExaScale Computing. United States: N. p., 2016. Web. doi:10.2172/1261628.
Solar-Lezama, Armando. Final Report on XStack: Software Synthesis for High Productivity ExaScale Computing. United States. doi:10.2172/1261628.
Solar-Lezama, Armando. Tue . "Final Report on XStack: Software Synthesis for High Productivity ExaScale Computing". United States. doi:10.2172/1261628. https://www.osti.gov/servlets/purl/1261628.
@article{osti_1261628,
title = {Final Report on XStack: Software Synthesis for High Productivity ExaScale Computing},
author = {Solar-Lezama, Armando},
abstractNote = {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.},
doi = {10.2172/1261628},
journal = {},
number = ,
volume = ,
place = {United States},
year = {Tue Jul 12 00:00:00 EDT 2016},
month = {Tue Jul 12 00:00:00 EDT 2016}
}

Technical Report:

Save / Share: