Sketching stencils
- Armando Solar-Lezama
- Gilad Arnold
- et al.
- 2007
- PLDI 2007
Conference paper
Publications
3 results for Liviu Tancau
Sketching stencils
- Armando Solar-Lezama
- Gilad Arnold
- et al.
- 2007
- ACM SIGPLAN Notices
PaperCombinatorial sketching for finite programs
- Armando Solar-Lezama
- Liviu Tancau
- et al.
- 2006
- ASPLOS 2006
Conference paper