Thomas Dillig
The University of Texas at Austin(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Software Testing and Debugging Techniques, Software Engineering Research, Security and Verification in Computing
Most-Cited Works
- → SQLizer: query synthesis from natural language(2017)282 cited
- → Inductive invariant generation via abductive inference(2013)141 cited
- → Sound, complete and scalable path-sensitive analysis(2008)123 cited
- → An overview of the saturn project(2007)112 cited
- → Automated error diagnosis using abductive inference(2012)96 cited
- → Fluid Updates: Beyond Strong vs. Weak Updates(2010)93 cited
- → Simplifying Loop Invariant Generation Using Splitter Predicates(2011)73 cited
- → Static error detection using semantic inconsistency inference(2007)68 cited
- → Precise reasoning for programs using containers(2011)67 cited
- → Precise and compact modular procedure summaries for heap manipulating programs(2011)64 cited