Final Report on XStack: Software Synthesis for High Productivity ExaScale Computing
- Massachusetts Inst. of Technology (MIT), Cambridge, MA (United States). Computer Science and Artificial Intelligence Lab.
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.
- Research Organization:
- Massachusetts Inst. of Technology (MIT), Cambridge, MA (United States)
- Sponsoring Organization:
- USDOE Office of Science (SC)
- Contributing Organization:
- Univ. of California, Berkeley, CA (United States)
- DOE Contract Number:
- SC0005372
- OSTI ID:
- 1261628
- Report Number(s):
- DOE-MIT-05372-0
- Country of Publication:
- United States
- Language:
- English
Similar Records
Software Synthesis for High Productivity Exascale Computing
Data Locality Enhancement of Dynamic Simulations for Exascale Computing (Final Report)
Center for Energy Efficient Materials (CEEM) (Final Technical Report)
Technical Report
·
Wed Sep 01 00:00:00 EDT 2010
·
OSTI ID:1261628
Data Locality Enhancement of Dynamic Simulations for Exascale Computing (Final Report)
Technical Report
·
Fri Nov 29 00:00:00 EST 2019
·
OSTI ID:1261628
Center for Energy Efficient Materials (CEEM) (Final Technical Report)
Technical Report
·
Wed Nov 26 00:00:00 EST 2014
·
OSTI ID:1261628