Sketching stencils.

Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodk, Vijay A. Saraswat, Sanjit A. Seshia

Browse the full PLDI paper archive.