Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia
Sketching stencils
PLDI, 2007.
@inproceedings{PLDI-2007-Solar-LezamaATBSS,
author = "Armando Solar-Lezama and Gilad Arnold and Liviu Tancau and Rastislav Bodík and Vijay A. Saraswat and Sanjit A. Seshia",
booktitle = "{Proceedings of the 28th Conference on Programming Language Design and Implementation}",
doi = "10.1145/1250734.1250754",
editor = "Jeanne Ferrante and Kathryn S. McKinley",
isbn = "978-1-59593-633-2",
pages = "167--178",
publisher = "{ACM}",
title = "{Sketching stencils}",
year = 2007,
}
Tags: