Işıl Dillig
Healthwise(US)The University of Texas at Austin(US)
Publications by Year
Research Areas
Software Engineering Research, Software Testing and Debugging Techniques, Logic, programming, and type systems, Formal Methods in Verification, Security and Verification in Computing
Most-Cited Works
- → Apposcopy: semantics-based detection of Android malware through static analysis(2014)434 cited
- → SQLizer: query synthesis from natural language(2017)282 cited
- → Synthesizing data structure transformations from input-output examples(2015)255 cited
- → Inductive invariant generation via abductive inference(2013)141 cited
- → Component-based synthesis of table consolidation and transformation tasks from examples(2017)137 cited
- → Sound, complete and scalable path-sensitive analysis(2008)123 cited
- → Cartesian hoare logic for verifying k-safety properties(2016)119 cited
- → Component-based synthesis for complex APIs(2016)113 cited
- → An overview of the saturn project(2007)112 cited
- → Program synthesis using conflict-driven learning(2018)108 cited