| 2008 |
|---|
| 4 | EE | Armando Solar-Lezama,
Christopher Grant Jones,
Rastislav Bodík:
Sketching concurrent data structures.
PLDI 2008: 136-148 |
| 2007 |
|---|
| 3 | EE | Armando Solar-Lezama,
Gilad Arnold,
Liviu Tancau,
Rastislav Bodík,
Vijay A. Saraswat,
Sanjit A. Seshia:
Sketching stencils.
PLDI 2007: 167-178 |
| 2006 |
|---|
| 2 | EE | Armando Solar-Lezama,
Liviu Tancau,
Rastislav Bodík,
Sanjit A. Seshia,
Vijay A. Saraswat:
Combinatorial sketching for finite programs.
ASPLOS 2006: 404-415 |
| 2005 |
|---|
| 1 | EE | Armando Solar-Lezama,
Rodric M. Rabbah,
Rastislav Bodík,
Kemal Ebcioglu:
Programming by sketching for bit-streaming programs.
PLDI 2005: 281-294 |
