Isil Dillig

Cited by

	All	Since 2018
Citations	5616	4173
h-index	41	36
i10-index	76	70

840

420

210

630

200820092010201120122013201420152016201720182019202020212022202326 35 52 77 94 126 136 205 268 361 460 624 743 735 780 824

Public access

View all

46 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Yu FengUniversity of California, Santa BarbaraVerified email at cs.ucsb.edu
Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Yuepeng WangSimon Fraser UniversityVerified email at sfu.ca
Swarat ChaudhuriProfessor of Computer Science, The University of Texas at AustinVerified email at cs.utexas.edu
Xinyu WangUniversity of MichiganVerified email at umich.edu
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Greg DurrettAssistant Professor of Computer Science, UT AustinVerified email at cs.utexas.edu
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
Kostas FerlesThe University of Texas at AustinVerified email at cs.utexas.edu
Saswat AnandGoogleVerified email at cs.stanford.edu
Osbert BastaniUniversity of PennsylvaniaVerified email at seas.upenn.edu
Jiayi WeiUniversity of Texas at AustinVerified email at cs.utexas.edu
Shankara PailoorGraduate Student, University of Texas AustinVerified email at cs.utexas.edu
Navid YaghmazadehUniversity of Texas at AustinVerified email at cs.utexas.edu
Yanju ChenUniversity of California, Santa BarbaraVerified email at cs.ucsb.edu
John FeserHamilton CollegeVerified email at hamilton.edu
Xi YeUT AustinVerified email at cs.utexas.edu
Jia ChenFacebook Inc.Verified email at fb.com
Marcelo SousaReviewpadVerified email at reviewpad.com
Calvin LinProfessor of Computer Science, The University of Texas at AustinVerified email at cs.utexas.edu

Isil Dillig

UT Austin

Verified email at cs.utexas.edu - Homepage

Programming languages formal methods software engineering security databases


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Apposcopy: Semantics-based detection of android malware through static analysis Y Feng, S Anand, I Dillig, A Aiken Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014	571	2014
Synthesizing data structure transformations from input-output examples JK Feser, S Chaudhuri, I Dillig ACM SIGPLAN Notices 50 (6), 229-239, 2015	366	2015
SQLizer: query synthesis from natural language N Yaghmazadeh, Y Wang, I Dillig, T Dillig Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017	310	2017
Component-based synthesis of table consolidation and transformation tasks from examples Y Feng, R Martins, J Van Geffen, I Dillig, S Chaudhuri ACM SIGPLAN Notices 52 (6), 422-436, 2017	192	2017
Inductive invariant generation via abductive inference I Dillig, T Dillig, B Li, K McMillan Acm Sigplan Notices 48 (10), 443-456, 2013	179	2013
Program synthesis using conflict-driven learning Y Feng, R Martins, O Bastani, I Dillig ACM SIGPLAN Notices 53 (4), 420-435, 2018	168	2018
Sound, complete and scalable path-sensitive analysis I Dillig, T Dillig, A Aiken Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008	165	2008
Component-based synthesis for complex APIs Y Feng, R Martins, Y Wang, I Dillig, TW Reps POPL, 2017	151	2017
An overview of the Saturn project A Aiken, S Bugrara, I Dillig, T Dillig, B Hackett, P Hawkins Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2007	151	2007
Cartesian hoare logic for verifying k-safety properties M Sousa, I Dillig Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016	150	2016
Automated error diagnosis using abductive inference I Dillig, T Dillig, A Aiken ACM SIGPLAN Notices 47 (6), 181-192, 2012	130	2012
Static detection of asymptotic performance bugs in collection traversals O Olivo, I Dillig, C Lin Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	121	2015
Fluid updates: Beyond strong vs. weak updates I Dillig, T Dillig, A Aiken Programming Languages and Systems: 19th European Symposium on Programming …, 2010	120	2010
Lambdanet: Probabilistic type inference using graph neural networks J Wei, M Goyal, G Durrett, I Dillig arXiv preprint arXiv:2005.02161, 2020	106	2020
Precise and compact modular procedure summaries for heap manipulating programs I Dillig, T Dillig, A Aiken, M Sagiv ACM SIGPLAN Notices 46 (6), 567-577, 2011	106	2011
Simplifying loop invariant generation using splitter predicates R Sharma, I Dillig, T Dillig, A Aiken Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011	102	2011
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability Y Feng, O Bastani, R Martins, I Dillig, S Anand NDSS'17, 0	101*
Program synthesis using abstraction refinement X Wang, I Dillig, R Singh Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017	100	2017
Static error detection using semantic inconsistency inference I Dillig, T Dillig, A Aiken Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007	98	2007
Optimization and abstraction: a synergistic approach for analyzing neural network robustness G Anderson, S Pailoor, I Dillig, S Chaudhuri Proceedings of the 40th ACM SIGPLAN conference on programming language …, 2019	96	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors