Open AccessUsing Verified Lifting to Optimize Legacy Stencil Codes (Final Project Report)
Author(s) -
Alvin Cheung
Publication year - 2021
Publication title -
osti oai (u.s. department of energy office of scientific and technical information)
Language(s) - Uncategorized
Resource type - Reports
DOI - 10.2172/1765083
Subject(s) - stencil , computer science , leverage (statistics) , compiler , programming language , rewriting , computation , code (set theory) , program synthesis , source lines of code , parallel computing , computational science , software , artificial intelligence , set (abstract data type)
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