Travelled to:1 × China
1 × Estonia
1 × France
1 × Italy
1 × Russia
2 × United Kingdom
3 × USA
Collaborated with:A.Gurfinkel M.Chechik S.Drews J.Hsu C.Smith L.D'Antoni Z.Kincaid Y.Li K.L.McMillan A.V.Nori S.Gulwani G.Ferns I.Dillig J.Berdine B.Cook R.Kumar S.K.Rajamani O.Wei S.Chaki J.Zhao V.Rastogi S.Jha D.Octeau X.Si W.Lee R.Zhang P.Koutris M.Naik
Talks about:synthesi (6) interpol (6) program (5) abstract (4) verif (4) base (3) probabilist (2) constraint (2) interpret (2) approxim (2)
Person: Aws Albarghouthi
DBLP: Albarghouthi:Aws
Contributed to:
2015
2014
2013
20132012
2012
20122012
20122010
201720182016201720182019
20172016201620182019Wrote 23 papers:
- ESOP-2015-AlbarghouthiBCK
- Spatial Interpolants (AA, JB, BC, ZK), pp. 634–660.
- POPL-2014-LiAKGC #optimisation #smt
- Symbolic optimization with SMT solvers (YL, AA, ZK, AG, MC), pp. 607–618.
- CAV-2013-AlbarghouthiGK #recursion #synthesis
- Recursive Program Synthesis (AA, SG, ZK), pp. 934–950.
- CAV-2013-AlbarghouthiM
- Beautiful Interpolants (AA, KLM), pp. 313–329.
- TACAS-2013-AlbarghouthiGLCC #abstract interpretation #contest #named #verification
- UFO: Verification with Interpolants and Abstract Interpretation — (Competition Contribution) (AA, AG, YL, SC, MC), pp. 637–640.
- CAV-2012-AlbarghouthiLGC #framework #named #verification
- Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification (AA, YL, AG, MC), pp. 672–678.
- PLDI-2012-AlbarghouthiKNR #analysis #interprocedural #top-down
- Parallelizing top-down interprocedural analyses (AA, RK, AVN, SKR), pp. 217–228.
- SAS-2012-AlbarghouthiGC
- Craig Interpretation (AA, AG, MC), pp. 300–316.
- TACAS-2012-AlbarghouthiGC #approximate
- From Under-Approximations to Over-Approximations and Back (AA, AG, MC), pp. 157–172.
- VMCAI-2012-AlbarghouthiGC #algorithm #interprocedural #named #verification
- Whale: An Interpolation-Based Algorithm for Inter-procedural Verification (AA, AG, MC), pp. 39–55.
- CAV-2010-AlbarghouthiGWC #analysis #symbolic computation
- Abstract Analysis of Symbolic Executions (AA, AG, OW, MC), pp. 495–510.
- ESEC-FSE-2017-SmithFA #relational #specification
- Discovering relational specifications (CS, GF, AA), pp. 616–626.
- ESEC-FSE-2018-SiLZAKN #datalog #source code #synthesis
- Syntax-guided synthesis of Datalog programs (XS, WL, RZ, AA, PK, MN), pp. 515–527.
- ESEC-FSE-2018-ZhaoARJO #android #communication #static analysis
- Neural-augmented static analysis of Android communication (JZ, AA, VR, SJ, DO), pp. 342–353.
- CAV-2016-DrewsA #effectiveness
- Effectively Propositional Interpolants (SD, AA), pp. 210–229.
- CAV-2017-AlbarghouthiDD #nondeterminism #source code
- Repairing Decision-Making Programs Under Uncertainty (AA, LD, SD), pp. 181–200.
- CAV-2018-AlbarghouthiH #constraints #proving #synthesis
- Constraint-Based Synthesis of Coupling Proofs (AA, JH), pp. 327–346.
- CAV-2019-DrewsAD #constraints #performance #probability #synthesis
- Efficient Synthesis with Probabilistic Constraints (SD, AA, LD), pp. 278–296.
- OOPSLA-2017-AlbarghouthiDDN #named #probability #verification
- FairSquare: probabilistic verification of program fairness (AA, LD, SD, AVN), p. 30.
- PLDI-2016-SmithA #pipes and filters #synthesis
- MapReduce program synthesis (CS, AA), pp. 326–340.
- POPL-2016-AlbarghouthiDG #specification #synthesis
- Maximal specification synthesis (AA, ID, AG), pp. 789–801.
- POPL-2018-AlbarghouthiH #difference #privacy #proving
- Synthesizing coupling proofs of differential privacy (AA, JH), p. 30.
- POPL-2019-SmithHA #abstraction #probability
- Trace abstraction modulo probability (CS, JH, AA), p. 31.