| |
| 2008 | ||
|---|---|---|
| 2 | EE | Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang: Ranking Abstractions. ESOP 2008: 148-162 |
| 2007 | ||
| 1 | EE | Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn: Variance analyses from invariance analyses. POPL 2007: 211-224 |
| 1 | Josh Berdine | [1] |
| 2 | Byron Cook | [1] [2] |
| 3 | Dino Distefano | [1] |
| 4 | Sumit Gulwani | [2] |
| 5 | Peter W. O'Hearn | [1] |
| 6 | Shmuel Sagiv (Mooly Sagiv) | [2] |
| 7 | Hongseok Yang | [2] |