| 2008 |
|---|
| 4 | EE | Isil Dillig,
Thomas Dillig,
Eran Yahav,
Satish Chandra:
The CLOSER: automating resource management in java.
ISMM 2008: 1-10 |
| 3 | EE | Isil Dillig,
Thomas Dillig,
Alex Aiken:
Sound, complete and scalable path-sensitive analysis.
PLDI 2008: 270-280 |
| 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 |
