Aws Albarghouthi

Registered user since Fri 23 Oct 2015

Name: Aws Albarghouthi

Affiliation: University of Wisconsin-Madison

Contributions

PLDI 2020Committee Member in Program Committee within the PLDI Research Papers-track
VMCAI 2019Author of Program Synthesis with Equivalence Reduction within the VMCAI 2019-track
POPL 2019Author of Trace Abstraction Modulo Probability within the Research Papers-track
Session Chair of Machine Learning and Linear Algebra (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
ICFP 2019Author of Synthesizing Differentially Private Programs within the Research Papers-track
PLMW 2018Committee Member in Panelists within the PLMW-track
Author of Panel I: Technical Trends in Programming Languages Research within the PLMW-track
ESEC/FSE 2018Author of Syntax-Guided Synthesis of Datalog Programs within the Research Papers-track
Author of Neural-Augmented Static Analysis of Android Communication within the Research Papers-track
POPL 2018Author of Synthesizing Coupling Proofs of Differential Privacy within the Research Papers-track
RDP 2017Author of Synthesizing Data-parallel Programs within the RDP-track
SPLASH 2017Author of FairSquare: Probabilistic Verification of Program Fairness within the OOPSLA-track
PLDI 2017Committee Member in External Review Committee
* ICSE 2018 *Committee Member in DS Program committee within the DS - Doctoral Symposium -track
PLDI 2016Author of MapReduce Program Synthesis within the Research Papers-track
Committee Member in External Review Committee
POPL 2016Author of Maximal Specification Synthesis within the Research Papers-track
ESOP 2015Author of Spatial Interpolants within the ESOP-track