Sketching Stencils

Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, and Sanjit A. Seshia. Sketching Stencils. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 167–178, ACM Press, June 2007.

Download

[pdf] 

Abstract

(unavailable)

BibTeX

@inproceedings{solar-pldi07,
  author    = {Armando Solar-Lezama and
               Gilad Arnold and
               Liviu Tancau and
               Rastislav Bod\'{\i}k and
               Vijay A. Saraswat and
               Sanjit A. Seshia},
  title     = {Sketching Stencils},
  booktitle = {Proceedings of the ACM SIGPLAN Conference on Programming
               Language Design and Implementation (PLDI)},
  year      = {2007},
  month = {June},
  pages     = {167--178},
  publisher = {ACM Press},
}