| |
| 2007 | ||
|---|---|---|
| 2 | EE | Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins: An overview of the saturn project. PASTE 2007: 43-48 |
| 1 | EE | Isil Dillig, Thomas Dillig, Alex Aiken: Static error detection using semantic inconsistency inference. PLDI 2007: 435-445 |
| 1 | Alexander Aiken (Alex Aiken) | [1] [2] |
| 2 | Suhabe Bugrara | [2] |
| 3 | Thomas Dillig | [1] [2] |
| 4 | Brian Hackett | [2] |
| 5 | Peter Hawkins | [2] |