| 2007 | ||
|---|---|---|
| 2 | EE | Ajeet Shankar, Rastislav Bodík: DITTO: automatic incrementalization of data structure invariant checks (in Java). PLDI 2007: 310-319 |
| 2005 | ||
| 1 | EE | Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith: Runtime specialization with optimistic heap analysis. OOPSLA 2005: 327-343 |
| 1 | Rastislav Bodík | [1] [2] |
| 2 | S. Subramanya Sastry | [1] |
| 3 | James E. Smith | [1] |