| 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 | 519 | 2014 |
| Synthesizing data structure transformations from input-output examples JK Feser, S Chaudhuri, I Dillig ACM SIGPLAN Notices 50 (6), 229-239, 2015 | 303 | 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 | 220* | 2017 |
| Sound, complete and scalable path-sensitive analysis I Dillig, T Dillig, A Aiken Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 151 | 2008 |
| 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 | 146 | 2017 |
| Inductive invariant generation via abductive inference I Dillig, T Dillig, B Li, K McMillan Acm Sigplan Notices 48 (10), 443-456, 2013 | 145 | 2013 |
| 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 | 144 | 2007 |
| Component-based synthesis for complex APIs Y Feng, R Martins, Y Wang, I Dillig, TW Reps POPL, 2017 | 124 | 2017 |
| Cartesian hoare logic for verifying k-safety properties M Sousa, I Dillig Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016 | 123 | 2016 |
| Program synthesis using conflict-driven learning Y Feng, R Martins, O Bastani, I Dillig ACM SIGPLAN Notices 53 (4), 420-435, 2018 | 120 | 2018 |
| Automated error diagnosis using abductive inference I Dillig, T Dillig, A Aiken ACM SIGPLAN Notices 47 (6), 181-192, 2012 | 120 | 2012 |
| Fluid updates: Beyond strong vs. weak updates I Dillig, T Dillig, A Aiken European Symposium on Programming, 246-266, 2010 | 110 | 2010 |
| 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 | 100 | 2015 |
| Static error detection using semantic inconsistency inference I Dillig, T Dillig, A Aiken Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007 | 99 | 2007 |
| 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 | 98 | 2011 |
| Precise reasoning for programs using containers I Dillig, T Dillig, A Aiken ACM SIGPLAN Notices 46 (1), 187-200, 2011 | 93 | 2011 |
| Simplifying loop invariant generation using splitter predicates R Sharma, I Dillig, T Dillig, A Aiken International Conference on Computer Aided Verification, 703-719, 2011 | 88 | 2011 |
| Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability Y Feng, O Bastani, R Martins, I Dillig, S Anand NDSS'17, 0 | 85* | |
| Program synthesis using abstraction refinement X Wang, I Dillig, R Singh Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 71 | 2017 |
| Precise detection of side-channel vulnerabilities using quantitative cartesian hoare logic J Chen, Y Feng, I Dillig Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 68 | 2017 |
Yu FengUniversity of California, Santa BarbaraVerified email at cs.ucsb.edu
