| |
| 2007 | ||
|---|---|---|
| 4 | EE | Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins: An overview of the saturn project. PASTE 2007: 43-48 |
| 2006 | ||
| 3 | EE | Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang: Modular checking for buffer overflows in the large. ICSE 2006: 232-241 |
| 2 | EE | Brian Hackett, Alex Aiken: How is aliasing used in systems software? SIGSOFT FSE 2006: 69-80 |
| 2005 | ||
| 1 | EE | Brian Hackett, Radu Rugina: Region-based shape analysis with tracked locations. POPL 2005: 310-323 |
| 1 | Alexander Aiken (Alex Aiken) | [2] [4] |
| 2 | Suhabe Bugrara | [4] |
| 3 | Manuvir Das | [3] |
| 4 | Isil Dillig | [4] |
| 5 | Thomas Dillig | [4] |
| 6 | Peter Hawkins | [4] |
| 7 | Radu Rugina | [1] |
| 8 | Daniel Wang | [3] |
| 9 | Zhe Yang | [3] |