Isil Dillig (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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

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

Selection of 5 from 5 records - Isil Dillig has 7 coauthors

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
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
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