Bruce Collie, Philip Ginsbach, Michael F. P. O'Boyle. Type-Directed Program Synthesis and Constraint Generation for Library Portability. In 28th International Conference on Parallel Architectures and Compilation Techniques, PACT 2019, Seattle, WA, USA, September 23-26, 2019. pages 55-67, IEEE, 2019. [doi]
Abstract is missing.