Citation
Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodik, Vijay Saraswat, Sanjit A. Seshia. "Sketching Stencils". Proc. International Conference on Programming Languages Design and Implementation (PLDI), June, 2007.

Abstract
(No abstract.)

Electronic downloads

• http://www.eecs.berkeley.edu/~sseshia/pubdir/pldi07final.pdf

Citation formats

• HTML

  Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav 
  Bodik, Vijay Saraswat, Sanjit A. Seshia. <a
  href="http://www.gigascale.org/pubs/1016.html">Sketching
  Stencils</a>, Proc. International Conference on
  Programming Languages Design and Implementation (PLDI),
  June, 2007.

• Plain text

  Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav 
  Bodik, Vijay Saraswat, Sanjit A. Seshia. "Sketching
  Stencils". Proc. International Conference on Programming
  Languages Design and Implementation (PLDI), June, 2007.

• BibTeX

  @inproceedings{SolarLezamaArnoldTancauBodikSaraswatSeshia07_SketchingStencils,
      author = {Armando Solar-Lezama and Gilad Arnold and Liviu
                Tancau and Rastislav  Bodik and Vijay Saraswat and
                Sanjit A. Seshia},
      title = {Sketching Stencils},
      booktitle = {Proc. International Conference on Programming
                Languages Design and Implementation (PLDI)},
      month = {June},
      year = {2007},
      abstract = {(No abstract.)},
      URL = {http://www.gigascale.org/pubs/1016.html}
  }
  

Posted by Sanjit A. Seshia on 4 Jun 2007..

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.