Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia. Sketching stencils. In Jeanne Ferrante, Kathryn S. McKinley, editors, Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007. pages 167-178, ACM, 2007. [doi]
@inproceedings{Solar-LezamaATBSS07,
title = {Sketching stencils},
author = {Armando Solar-Lezama and Gilad Arnold and Liviu Tancau and Rastislav Bodík and Vijay A. Saraswat and Sanjit A. Seshia},
year = {2007},
doi = {10.1145/1250734.1250754},
url = {http://doi.acm.org/10.1145/1250734.1250754},
researchr = {https://researchr.org/publication/Solar-LezamaATBSS07},
cites = {0},
citedby = {0},
pages = {167-178},
booktitle = {Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007},
editor = {Jeanne Ferrante and Kathryn S. McKinley},
publisher = {ACM},
isbn = {978-1-59593-633-2},
}