Statistics
Publications
19
Citations
1.3K
H-Index
15
Active since
2007
Thomas Dillig is an author at Stanford University specializing in computer science, computing, and programming languages.
Publications per year
2007–2017
19
19
Inductive invariant generation via abductive inference
Thomas Dillig, Boyang Li, Ken McMillan · 2013 · 143 citations
Sound, complete and scalable path-sensitive analysis
Thomas Dillig, Alex Aiken · 2008 · 125 citations
An overview of the saturn project
Alex Aiken, Suhabe Bugrara, Thomas Dillig et al. · 2007 · 114 citations
Automated error diagnosis using abductive inference
Thomas Dillig, Alex Aiken · 2012 · 96 citations
1–5 of 19