A synthesis-and-matching system learns library behavior from I/O examples and suggests replacements with new accelerator libraries, yielding 1.1x to over 10x end-to-end speedups.
Portability in scientific computing: The molecular dynamics non-bonded forces calculation as a case study,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Type-Directed Program Synthesis and Constraint Generation for Library Portability
A synthesis-and-matching system learns library behavior from I/O examples and suggests replacements with new accelerator libraries, yielding 1.1x to over 10x end-to-end speedups.