Liviu Tancau, Rastislav Bodik, Vijay Saraswat, and Sanjit Seshia. Sketching stencils (2007)

by Armando Solar-Lezama, Gilad Arnold
Venue:In PLDI