| 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 | 599 | 2014 |
| Synthesizing data structure transformations from input-output examples JK Feser, S Chaudhuri, I Dillig ACM SIGPLAN Notices 50 (6), 229-239, 2015 | 401 | 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 | 352 | 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 | 216 | 2017 |
| Program synthesis using conflict-driven learning Y Feng, R Martins, O Bastani, I Dillig ACM SIGPLAN Notices 53 (4), 420-435, 2018 | 195 | 2018 |
| Inductive invariant generation via abductive inference I Dillig, T Dillig, B Li, K McMillan Acm Sigplan Notices 48 (10), 443-456, 2013 | 190 | 2013 |
| Component-based synthesis for complex APIs Y Feng, R Martins, Y Wang, I Dillig, TW Reps POPL, 2017 | 178 | 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 | 171 | 2008 |
| Cartesian hoare logic for verifying k-safety properties M Sousa, I Dillig Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016 | 165 | 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 | 154 | 2007 |
| Automated error diagnosis using abductive inference I Dillig, T Dillig, A Aiken ACM SIGPLAN Notices 47 (6), 181-192, 2012 | 135 | 2012 |
| Lambdanet: Probabilistic type inference using graph neural networks J Wei, M Goyal, G Durrett, I Dillig arXiv preprint arXiv:2005.02161, 2020 | 130 | 2020 |
| 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 | 122 | 2010 |
| Program synthesis using abstraction refinement X Wang, I Dillig, R Singh Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 116 | 2017 |
| 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 | 115 | 2019 |
| 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 | 114 | 2011 |
| Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability Y Feng, O Bastani, R Martins, I Dillig, S Anand NDSS'17, 0 | 114* | |
| Simplifying loop invariant generation using splitter predicates R Sharma, I Dillig, T Dillig, A Aiken Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 103 | 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 | 102 | 2007 |
Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
