| 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 | 615 | 2014 |
| Synthesizing data structure transformations from input-output examples JK Feser, S Chaudhuri, I Dillig ACM SIGPLAN Notices 50 (6), 229-239, 2015 | 458 | 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 | 421 | 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 | 248 | 2017 |
| Program synthesis using conflict-driven learning Y Feng, R Martins, O Bastani, I Dillig ACM SIGPLAN Notices 53 (4), 420-435, 2018 | 240 | 2018 |
| Inductive invariant generation via abductive inference I Dillig, T Dillig, B Li, K McMillan Acm Sigplan Notices 48 (10), 443-456, 2013 | 223 | 2013 |
| Component-based synthesis for complex APIs Y Feng, R Martins, Y Wang, I Dillig, TW Reps POPL, 2017 | 216 | 2017 |
| Cartesian hoare logic for verifying k-safety properties M Sousa, I Dillig Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016 | 194 | 2016 |
| Sound, complete and scalable path-sensitive analysis I Dillig, T Dillig, A Aiken Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 175 | 2008 |
| 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 | 161 | 2007 |
| Lambdanet: Probabilistic type inference using graph neural networks J Wei, M Goyal, G Durrett, I Dillig arXiv preprint arXiv:2005.02161, 2020 | 154 | 2020 |
| 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 | 144 | 2019 |
| Program synthesis using abstraction refinement X Wang, I Dillig, R Singh Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 144 | 2017 |
| 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 | 143 | 2015 |
| Automated error diagnosis using abductive inference I Dillig, T Dillig, A Aiken ACM SIGPLAN Notices 47 (6), 181-192, 2012 | 142 | 2012 |
| Neurosymbolic reinforcement learning with formally verified exploration G Anderson, A Verma, I Dillig, S Chaudhuri Advances in neural information processing systems 33, 6172-6183, 2020 | 125 | 2020 |
| Fluid updates: Beyond strong vs. weak updates I Dillig, T Dillig, A Aiken European Symposium on Programming, 246-266, 2010 | 125 | 2010 |
| Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability Y Feng, O Bastani, R Martins, I Dillig, S Anand NDSS'17, 0 | 124* | |
| 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 | 123 | 2011 |
| Multi-modal synthesis of regular expressions Q Chen, X Wang, X Ye, G Durrett, I Dillig Proceedings of the 41st ACM SIGPLAN conference on programming language …, 2020 | 114 | 2020 |
Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
