Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis

Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis

This paper describes a new approach to program optimization that allows general purpose code to benefit from the optimization power of domain-specific compilers. The key to this approach is a synthesis-based technique to raise the level of abstraction of general-purpose code to enable aggressive dom...

Full description

Bibliographic Details
Main Authors: Cheung, Alvin, Kamil, Shoaib, Solar Lezama, Armando
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:en_US
Published: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik 2018
Online Access:http://hdl.handle.net/1721.1/113362
https://orcid.org/0000-0001-7604-8252

Internet

http://hdl.handle.net/1721.1/113362
https://orcid.org/0000-0001-7604-8252

Similar Items