| Recursive program synthesis A Albarghouthi, S Gulwani, Z Kincaid Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 166 | 2013 |
| Symbolic optimization with SMT solvers Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik ACM SIGPLAN Notices 49 (1), 607-618, 2014 | 157 | 2014 |
| Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification A Albarghouthi, Y Li, A Gurfinkel, M Chechik International Conference on Computer Aided Verification, 672-678, 2012 | 127 | 2012 |
| MapReduce program synthesis C Smith, A Albarghouthi Acm Sigplan Notices 51 (6), 326-340, 2016 | 115 | 2016 |
| Beautiful interpolants A Albarghouthi, KL McMillan Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 111 | 2013 |
| Fairsquare: probabilistic verification of program fairness A Albarghouthi, L D'Antoni, S Drews, AV Nori Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-30, 2017 | 103* | 2017 |
| Whale: An Interpolation-Based Algorithm for Inter-procedural Verification A Albarghouthi, A Gurfinkel, M Chechik Verification, Model Checking, and Abstract Interpretation: 13th …, 2012 | 78 | 2012 |
| Synthesizing coupling proofs of differential privacy A Albarghouthi, J Hsu Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 64 | 2017 |
| Maximal specification synthesis A Albarghouthi, I Dillig, A Gurfinkel ACM SIGPLAN Notices 51 (1), 789-801, 2016 | 62 | 2016 |
| From under-approximations to over-approximations and back A Albarghouthi, A Gurfinkel, M Chechik Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 62 | 2012 |
| Craig interpretation A Albarghouthi, A Gurfinkel, M Chechik Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012 | 61 | 2012 |
| Syntax-guided synthesis of datalog programs X Si, W Lee, R Zhang, A Albarghouthi, P Koutris, M Naik Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 57 | 2018 |
| Authoring and verifying human-robot interactions D Porfirio, A Sauppé, A Albarghouthi, B Mutlu Proceedings of the 31st annual acm symposium on user interface software and …, 2018 | 54 | 2018 |
| Cross-dataset Time Series Anomaly Detection for Cloud Systems. X Zhang, Q Lin, Y Xu, S Qin, H Zhang, B Qiao, Y Dang, X Yang, Q Cheng, ... USENIX Annual Technical Conference, 1063-1076, 2019 | 52 | 2019 |
| Constraint-based synthesis of datalog programs A Albarghouthi, P Koutris, M Naik, C Smith Principles and Practice of Constraint Programming: 23rd International …, 2017 | 47 | 2017 |
| Semantic robustness of models of source code G Ramakrishnan, J Henkel, Z Wang, A Albarghouthi, S Jha, T Reps arXiv preprint arXiv:2002.03043, 2020 | 45* | 2020 |
| Parallelizing top-down interprocedural analyses A Albarghouthi, R Kumar, AV Nori, SK Rajamani ACM SIGPLAN Notices 47 (6), 217-228, 2012 | 36 | 2012 |
| UFO: Verification with interpolants and abstract interpretation A Albarghouthi, A Gurfinkel, Y Li, S Chaki, M Chechik International Conference on Tools and Algorithms for the Construction and …, 2013 | 34 | 2013 |
| Fairness-aware programming A Albarghouthi, S Vinitsky Proceedings of the Conference on Fairness, Accountability, and Transparency …, 2019 | 31 | 2019 |
| Bodystorming human-robot interactions D Porfirio, E Fisher, A Sauppé, A Albarghouthi, B Mutlu proceedings of the 32nd annual ACM symposium on user Interface software and …, 2019 | 30 | 2019 |
