 | 2009 |
|---|
| 5 |       | Isil Dillig,
Thomas Dillig,
Alex Aiken:
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers.
CAV 2009: 233-247 |
| 2008 |
|---|
| 4 | | Isil Dillig,
Thomas Dillig,
Eran Yahav,
Satish Chandra:
The CLOSER: automating resource management in java.
ISMM 2008: 1-10 |
| 3 | | Isil Dillig,
Thomas Dillig,
Alex Aiken:
Sound, complete and scalable path-sensitive analysis.
PLDI 2008: 270-280 |
| 2007 |
|---|
| 2 | | Alex Aiken,
Suhabe Bugrara,
Isil Dillig,
Thomas Dillig,
Brian Hackett,
Peter Hawkins:
An overview of the saturn project.
PASTE 2007: 43-48 |
| 1 | | Isil Dillig,
Thomas Dillig,
Alex Aiken:
Static error detection using semantic inconsistency inference.
PLDI 2007: 435-445 |
