Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, and Sanjit A. Seshia. Sketching stencils (2007)

by Armando Solar-Lezama, Gilad Arnold
Venue:In Programming Languages Design and Implementation (PLDI