Aws Albarghouthi

Registered user since Fri 23 Oct 2015

Name: Aws Albarghouthi

Affiliation: University of Wisconsin-Madison, USA

Contributions

MAPS 2021 Publicity Chair in Organizing Committee within the MAPS 2021-track
VMCAI 2021 Session Chair of Synthesis and Repair (part of VMCAI)
Committee Member in Program Committee within the VMCAI-track
MAPL 2020 Session Chair of Formal Methods and Reinforcement Learning (part of MAPL)
Committee Member in Program Committee within the MAPL-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
PLDI 2020 Author of Proving Data-Poisoning Robustness in Decision Trees within the PLDI Research Papers-track
Committee Member in Program Committee within the PLDI Research Papers-track
VMCAI 2019 Author of Program Synthesis with Equivalence Reduction within the VMCAI 2019-track
POPL 2019 Author 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 2019 Author of Synthesizing Differentially Private Programs within the Research Papers-track
PLMW 2018 Committee Member in Panelists within the PLMW-track
Author of Panel I: Technical Trends in Programming Languages Research within the PLMW-track
ESEC/FSE 2018 Author 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 2018 Author of Synthesizing Coupling Proofs of Differential Privacy within the Research Papers-track
RDP 2017 Author of Synthesizing Data-parallel Programs within the RDP-track
SPLASH 2017 Author of FairSquare: Probabilistic Verification of Program Fairness within the OOPSLA-track
PLDI 2017 Committee Member in External Review Committee
* ICSE 2018 * Committee Member in DS Program committee within the DS - Doctoral Symposium -track
PLDI 2016 Author of MapReduce Program Synthesis within the Research Papers-track
Committee Member in External Review Committee
POPL 2016 Author of Maximal Specification Synthesis within the Research Papers-track
ESOP 2015 Author of Spatial Interpolants within the ESOP-track