Concepedia

Thomas Dillig

TD

19

Publications

1.2K

Citations

15

H-Index

2007

Active since

Affiliations

Stanford University(Current)

Williams (United States)

The University of Texas at Austin

Microsoft (United States)

Thomas Dillig is an author at Stanford University specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsSoftware AnalysisAutomated ReasoningFormal VerificationSoftware EngineeringVerificationSoftware Testing

Publications per year

2007–2017

19

Publications

19

SQLizer: query synthesis from natural language

Navid Yaghmazadeh, Yuepeng Wang, Thomas Dillig · Proceedings of the ACM on Programming Languages · 2017 · 277 citations · Full text

Natural Language Processing, Program Sketch, Database Theory +14

Inductive invariant generation via abductive inference

Thomas Dillig, Boyang Li, Ken McMillan · 2013 · 141 citations

Artificial Intelligence, Program Checking, Engineering +19

Sound, complete and scalable path-sensitive analysis

Thomas Dillig, Alex Aiken · 2008 · 123 citations

Program Checking, Engineering, Algorithmic Library +21

An overview of the saturn project

Alex Aiken, Suhabe Bugrara, Thomas Dillig et al. · 2007 · 112 citations

Great Scalability, Program Analysis Algorithms, Engineering +22

Automated error diagnosis using abductive inference

Thomas Dillig, Alex Aiken · 2012 · 96 citations

Artificial Intelligence, Program Checking, Engineering +23

Rows per page

1–5 of 19