Final Report on XStack: Software Synthesis for High Productivity ExaScale Computing
Author(s) -
Armando Solar-Lezama
Publication year - 2016
Publication title -
osti oai (u.s. department of energy office of scientific and technical information)
Language(s) - English
Resource type - Reports
DOI - 10.2172/1261628
Subject(s) - sketch , computer science , software engineering , productivity , equivalence (formal languages) , key (lock) , program synthesis , software , domain (mathematical analysis) , programming language , exascale computing , operating system , supercomputer , algorithm , mathematical analysis , linguistics , philosophy , mathematics , economics , macroeconomics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom