CITATION — REFERENCE ENTRY

stng-speedup · kamil2016stng

Revision 0a28d956-99ce-463e-bcec-08dfa08f93db · 3/30/2026, 9:13:32 AM UTC
Citation
kamil2016stng
Claim ID
stng-speedup
Assertion
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.
Quote
the translated code achieving median performance speedups of 4.1X and up to 24X for non-trivial stencils as compared to the original implementation
Quote language
en
Locator
section: Abstract
Available in