CITATION — REFERENCE ENTRY
Verified Lifting of Stencil Computations — ACM SIGPLAN Notices
- Key
- kamil2016stng
- Authors
- Kamil, Shoaib; Cheung, Alvin; Itzhaky, Shachar; Solar-Lezama, Armando
- Issued
- 2016-6
- Type
- article-journal
- Container
- ACM SIGPLAN Notices
- Volume
- 51
- Issue
- 6
- Pages
- 711-726
Raw CSL JSON
{
"DOI": "10.1145/2980983.2908117",
"URL": "https://www.semanticscholar.org/paper/Verified-lifting-of-stencil-computations-Kamil-Cheung/84ca47db1b18083006d42ba111b9846aba258cea",
"page": "711-726",
"type": "article-journal",
"issue": "6",
"title": "Verified Lifting of Stencil Computations",
"author": [
{
"given": "Shoaib",
"family": "Kamil"
},
{
"given": "Alvin",
"family": "Cheung"
},
{
"given": "Shachar",
"family": "Itzhaky"
},
{
"given": "Armando",
"family": "Solar-Lezama"
}
],
"issued": {
"date-parts": [
[
2016,
6
]
]
},
"volume": "51",
"container-title": "ACM SIGPLAN Notices"
}
Claims
-
Verified lifting of stencil computations (the STNG system) automatically summarizes Fortran source code into a high-level predicate language and translates the lifted summaries into Halide, achieving median performance speedups of 4.1× and up to 24× for non-trivial stencils compared to the original implementation.
"the translated code achieving median performance speedups of 4.1X and up to 24X for non-trivial stencils as compared to the original implementation"
Available in