| |
| 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 | Gilad Arnold: Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding. SAS 2006: 204-220 |
| 1 | EE | Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham: Combining Shape Analyses by Intersecting Abstractions. VMCAI 2006: 33-48 |
| 1 | Rastislav Bodík | [3] |
| 2 | Roman Manevich | [1] |
| 3 | Shmuel Sagiv (Mooly Sagiv) | [1] |
| 4 | Vijay A. Saraswat | [3] |
| 5 | Sanjit A. Seshia | [3] |
| 6 | Ran Shaham | [1] |
| 7 | Armando Solar-Lezama | [3] |
| 8 | Liviu Tancau | [3] |