Follow
Aws Albarghouthi
Title
Cited by
Cited by
Year
Recursive program synthesis
A Albarghouthi, S Gulwani, Z Kincaid
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
2132013
Symbolic optimization with SMT solvers
Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik
ACM SIGPLAN Notices 49 (1), 607-618, 2014
1702014
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
1502017
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
1332012
MapReduce program synthesis
C Smith, A Albarghouthi
Acm Sigplan Notices 51 (6), 326-340, 2016
1272016
Beautiful interpolants
A Albarghouthi, KL McMillan
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
1162013
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
1052022
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
882019
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification
A Albarghouthi, A Gurfinkel, M Chechik
International Workshop on Verification, Model Checking, and Abstract …, 2012
802012
Introduction to neural network verification
A Albarghouthi
Foundations and Trends® in Programming Languages 7 (1–2), 1-157, 2021
792021
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
792018
Maximal specification synthesis
A Albarghouthi, I Dillig, A Gurfinkel
ACM SIGPLAN Notices 51 (1), 789-801, 2016
792016
Synthesizing coupling proofs of differential privacy
A Albarghouthi, J Hsu
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
772017
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
752012
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
732018
Craig interpretation
A Albarghouthi, A Gurfinkel, M Chechik
International Static Analysis Symposium, 300-316, 2012
612012
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
572017
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
512019
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
502022
The system can't perform the operation now. Try again later.
Articles 1–20