Aws Albarghouthi
Titel
Citeras av
Citeras av
År
Symbolic optimization with SMT solvers
Y Li, A Albarghouthi, Z Kincaid, A Gurfinkel, M Chechik
ACM SIGPLAN Notices 49 (1), 607-618, 2014
1312014
Recursive program synthesis
A Albarghouthi, S Gulwani, Z Kincaid
International conference on computer aided verification, 934-950, 2013
1262013
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
1102012
Beautiful interpolants
A Albarghouthi, KL McMillan
International Conference on Computer Aided Verification, 313-329, 2013
982013
MapReduce program synthesis
C Smith, A Albarghouthi
Acm Sigplan Notices 51 (6), 326-340, 2016
842016
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification
A Albarghouthi, A Gurfinkel, M Chechik
International Workshop on Verification, Model Checking, and Abstract …, 2012
692012
Craig interpretation
A Albarghouthi, A Gurfinkel, M Chechik
International Static Analysis Symposium, 300-316, 2012
592012
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
562012
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
51*2017
Synthesizing coupling proofs of differential privacy
A Albarghouthi, J Hsu
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
432017
Maximal specification synthesis
A Albarghouthi, I Dillig, A Gurfinkel
ACM SIGPLAN Notices 51 (1), 789-801, 2016
422016
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
392013
Constraint-based synthesis of Datalog programs
A Albarghouthi, P Koutris, M Naik, C Smith
International Conference on Principles and Practice of Constraint …, 2017
332017
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
272018
Parallelizing top-down interprocedural analyses
A Albarghouthi, R Kumar, AV Nori, SK Rajamani
ACM SIGPLAN Notices 47 (6), 217-228, 2012
262012
Spatial interpolants
A Albargouthi, J Berdine, B Cook, Z Kincaid
European Symposium on Programming Languages and Systems, 634-660, 2015
242015
Beyond storage APIs: Provable semantics for storage stacks
R Alagappan, V Chidambaram, TS Pillai, AC Arpaci-Dusseau, ...
15th Workshop on Hot Topics in Operating Systems (HotOS {XV}), 2015
202015
On the use of planning technology for verification
A Albarghouthi, JA Baier, SA McIlraith
In VVPS’09. Proceedings of the ICAPS Workshop on Verification & Validation …, 2009
202009
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
182018
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
172019
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20