Published in: LIPIcs, Volume 32, 1st Summit on Advances in Programming Languages (SNAPL 2015)
Alvin Cheung, Shoaib Kamil, and Armando Solar-Lezama. Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis. In 1st Summit on Advances in Programming Languages (SNAPL 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 32, pp. 51-62, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{cheung_et_al:LIPIcs.SNAPL.2015.51, author = {Cheung, Alvin and Kamil, Shoaib and Solar-Lezama, Armando}, title = {{Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis}}, booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)}, pages = {51--62}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-80-4}, ISSN = {1868-8969}, year = {2015}, volume = {32}, editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.51}, URN = {urn:nbn:de:0030-drops-50162}, doi = {10.4230/LIPIcs.SNAPL.2015.51}, annote = {Keywords: compilers, domain-specific languages, program synthesis, cross compilation, verification} }
Feedback for Dagstuhl Publishing