BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Albarghouthi:Aws

Contributed to:

ESOP 20152015
POPL 20142014
CAV 20132013
TACAS 20132013
CAV 20122012
PLDI 20122012
SAS 20122012
TACAS 20122012
VMCAI 20122012
CAV 20102010
ESEC/FSE 20172017
ESEC/FSE 20182018
CAV (2) 20162016
CAV (1) 20172017
CAV (1) 20182018
CAV (1) 20192019
OOPSLA 20172017
PLDI 20162016
POPL 20162016
POPL 20182018
POPL 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.