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 | 587 | 2014 |
Synthesizing data structure transformations from input-output examples JK Feser, S Chaudhuri, I Dillig ACM SIGPLAN Notices 50 (6), 229-239, 2015 | 388 | 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 | 341 | 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 | 214 | 2017 |
Program synthesis using conflict-driven learning Y Feng, R Martins, O Bastani, I Dillig ACM SIGPLAN Notices 53 (4), 420-435, 2018 | 188 | 2018 |
Inductive invariant generation via abductive inference I Dillig, T Dillig, B Li, K McMillan Acm Sigplan Notices 48 (10), 443-456, 2013 | 185 | 2013 |
Component-based synthesis for complex APIs Y Feng, R Martins, Y Wang, I Dillig, TW Reps POPL, 2017 | 168 | 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 | 166 | 2008 |
Cartesian hoare logic for verifying k-safety properties M Sousa, I Dillig Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016 | 163 | 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 | 151 | 2007 |
Automated error diagnosis using abductive inference I Dillig, T Dillig, A Aiken ACM SIGPLAN Notices 47 (6), 181-192, 2012 | 134 | 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 | 125 | 2015 |
Lambdanet: Probabilistic type inference using graph neural networks J Wei, M Goyal, G Durrett, I Dillig arXiv preprint arXiv:2005.02161, 2020 | 124 | 2020 |
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 |
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 | 113 | 2019 |
Program synthesis using abstraction refinement X Wang, I Dillig, R Singh Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 112 | 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 | 112 | 2011 |
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability Y Feng, O Bastani, R Martins, I Dillig, S Anand NDSS'17, 0 | 110* | |
Simplifying loop invariant generation using splitter predicates R Sharma, I Dillig, T Dillig, A Aiken Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 105 | 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 | 98 | 2007 |