| 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 | 609 | 2014 |
| Synthesizing data structure transformations from input-output examples JK Feser, S Chaudhuri, I Dillig ACM SIGPLAN Notices 50 (6), 229-239, 2015 | 411 | 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 | 371 | 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 | 222 | 2017 |
| Program synthesis using conflict-driven learning Y Feng, R Martins, O Bastani, I Dillig ACM SIGPLAN Notices 53 (4), 420-435, 2018 | 206 | 2018 |
| Inductive invariant generation via abductive inference I Dillig, T Dillig, B Li, K McMillan Acm Sigplan Notices 48 (10), 443-456, 2013 | 199 | 2013 |
| Component-based synthesis for complex APIs Y Feng, R Martins, Y Wang, I Dillig, TW Reps POPL, 2017 | 186 | 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 | 172 | 2008 |
| Cartesian hoare logic for verifying k-safety properties M Sousa, I Dillig Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016 | 170 | 2016 |
| 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 | 156 | 2007 |
| Lambdanet: Probabilistic type inference using graph neural networks J Wei, M Goyal, G Durrett, I Dillig arXiv preprint arXiv:2005.02161, 2020 | 135 | 2020 |
| Automated error diagnosis using abductive inference I Dillig, T Dillig, A Aiken ACM SIGPLAN Notices 47 (6), 181-192, 2012 | 135 | 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 | 128 | 2015 |
| Fluid updates: Beyond strong vs. weak updates I Dillig, T Dillig, A Aiken Programming Languages and Systems: 19th European Symposium on Programming …, 2010 | 124 | 2010 |
| 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 | 123 | 2019 |
| Program synthesis using abstraction refinement X Wang, I Dillig, R Singh Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 122 | 2017 |
| 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 | 118 | 2011 |
| Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability Y Feng, O Bastani, R Martins, I Dillig, S Anand NDSS'17, 0 | 116* | |
| Simplifying loop invariant generation using splitter predicates R Sharma, I Dillig, T Dillig, A Aiken Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 106 | 2011 |
| Static error detection using semantic inconsistency inference I Dillig, T Dillig, A Aiken Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007 | 104 | 2007 |
Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu