Thomas Dillig

Stanford University

	2011
13		Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken: Simplifying Loop Invariant Generation Using Splitter Predicates. CAV 2011: 703-719
12		Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv: Precise and compact modular procedure summaries for heap manipulating programs. PLDI 2011: 567-577
11		Isil Dillig, Thomas Dillig, Alex Aiken: Precise reasoning for programs using containers. POPL 2011: 187-200
10		Isil Dillig, Thomas Dillig, Alex Aiken: Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Formal Methods in System Design 39(3): 246-260 (2011)
	2010
9		Isil Dillig, Thomas Dillig, Alex Aiken: Fluid Updates: Beyond Strong vs. Weak Updates. ESOP 2010: 246-266
8		Isil Dillig, Thomas Dillig, Alex Aiken: Symbolic heap abstraction with demand-driven axiomatization of memory invariants. OOPSLA 2010: 397-410
7		Isil Dillig, Thomas Dillig, Alex Aiken: Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis. SAS 2010: 236-252
6		Isil Dillig, Thomas Dillig, Alex Aiken: Reasoning about the unknown in static analysis. Commun. ACM 53(8): 115-123 (2010)
	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

Coauthor Index

1	Alexander Aiken (Alex Aiken)	[1] [2] [3] [5] [6] [7] [8] [9] [10] [11] [12] [13]
2	Suhabe Bugrara	[2]
3	Satish Chandra	[4]
4	Isil Dillig	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
5	Brian Hackett	[2]
6	Peter Hawkins	[2]
7	Shmuel Sagiv (Mooly Sagiv)	[12]
8	Rahul Sharma	[13]
9	Eran Yahav	[4]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page