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

Alvin Cheung, Shoaib Kamil, Armando Solar-Lezama. Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis. In Thomas Ball, Rastislav Bodík, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett, editors, 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA. Volume 32 of LIPIcs, pages 51-62, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

Authors

Alvin Cheung

This author has not been identified. Look up 'Alvin Cheung' in Google

Shoaib Kamil

This author has not been identified. Look up 'Shoaib Kamil' in Google

Armando Solar-Lezama

This author has not been identified. Look up 'Armando Solar-Lezama' in Google