Sketching stencils
- Armando Solar-Lezama
- Gilad Arnold
- et al.
- 2007
- PLDI 2007
Publications
Date
Featured collections
Popular topics
6 results for Armando Solar-Lezama
Programming by sketching for bit-streaming programs
- Armando Solar-Lezama
- Rodric Rabbah
- et al.
- 2005
- PLDI 2005
Verifiably safe exploration for end-to-end reinforcement learning
- Nathan Hunt
- Nathan Fulton
- et al.
- 2021
- HSCC 2021
Combinatorial sketching for finite programs
- Armando Solar-Lezama
- Liviu Tancau
- et al.
- 2006
- ASPLOS 2006
Sketching stencils
- Armando Solar-Lezama
- Gilad Arnold
- et al.
- 2007
- ACM SIGPLAN Notices
Programming by sketching for bit-streaming programs
- Armando Solar-Lezama
- Rodric Rabbah
- et al.
- 2005
- ACM SIGPLAN Notices