Recursive program synthesis A Albarghouthi, S Gulwani, Z Kincaid Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 213 | 2013 |
Symbolic optimization with SMT solvers Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik ACM SIGPLAN Notices 49 (1), 607-618, 2014 | 170 | 2014 |
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 | 150 | 2017 |
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 | 133 | 2012 |
MapReduce program synthesis C Smith, A Albarghouthi Acm Sigplan Notices 51 (6), 326-340, 2016 | 127 | 2016 |
Beautiful interpolants A Albarghouthi, KL McMillan Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 116 | 2013 |
Semantic robustness of models of source code J Henkel, G Ramakrishnan, Z Wang, A Albarghouthi, S Jha, T Reps 2022 IEEE International Conference on Software Analysis, Evolution and …, 2022 | 105 | 2022 |
Cross-dataset time series anomaly detection for cloud systems X Zhang, J Kim, Q Lin, K Lim, SO Kanaujia, Y Xu, K Jamieson, ... 2019 USENIX Annual Technical Conference (USENIX ATC 19), 1063-1076, 2019 | 88 | 2019 |
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification A Albarghouthi, A Gurfinkel, M Chechik International Workshop on Verification, Model Checking, and Abstract …, 2012 | 80 | 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 | 79 | 2018 |
Introduction to neural network verification A Albarghouthi Foundations and Trends® in Programming Languages 7 (1–2), 1-157, 2021 | 78 | 2021 |
Maximal specification synthesis A Albarghouthi, I Dillig, A Gurfinkel ACM SIGPLAN Notices 51 (1), 789-801, 2016 | 78 | 2016 |
Synthesizing coupling proofs of differential privacy A Albarghouthi, J Hsu Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 77 | 2017 |
From under-approximations to over-approximations and back A Albarghouthi, A Gurfinkel, M Chechik International conference on tools and algorithms for the construction and …, 2012 | 75 | 2012 |
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 | 73 | 2018 |
Craig interpretation A Albarghouthi, A Gurfinkel, M Chechik International Static Analysis Symposium, 300-316, 2012 | 61 | 2012 |
The magazine archive includes every article published in Communications of the ACM for over the past 50 years. J Fisher, D Harel, TA Henzinger Communications of the ACM 54 (10), 72-82, 2011 | 59* | 2011 |
Constraint-based synthesis of datalog programs A Albarghouthi, P Koutris, M Naik, C Smith Principles and Practice of Constraint Programming: 23rd International …, 2017 | 57 | 2017 |
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 | 51 | 2019 |
Qubit mapping and routing via MaxSAT A Molavi, A Xu, M Diges, L Pick, S Tannu, A Albarghouthi 2022 55th IEEE/ACM international symposium on Microarchitecture (MICRO …, 2022 | 50 | 2022 |