Aws Albarghouthi -

Registered user since Fri 23 Oct 2015

Name:Aws Albarghouthi

Country:United States

Affiliation:University of Wisconsin-Madison

Contributions

POPL 2024	Committee Member in Program Committee within the POPL-track
PLDI 2023	Author of Synthesizing Quantum-Circuit Optimizers within the PLDI Research Papers-track
VMCAI 2023	Invited Speaker of What Can Program Analysis Say About Data Bias? within the VMCAI 2023-track Session Chair of Solvers (part of VMCAI 2023)
SPLASH 2022	Committee Member in Review Committee within the OOPSLA-track
PLDI 2022	Committee Member in PLDI within the PLDI-track
POPL 2022	Author of Interval Universal Approximation for Neural Networks within the POPL-track
VMCAI 2022	PC Member in Program Committee within the VMCAI 2022-track
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
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
MAPL 2020	Session Chair of Formal Methods and Reinforcement Learning (part of MAPL) Committee Member in Program Committee within the MAPL-track
ICFP 2019	Author of Synthesizing Differentially Private Programs within the Research Papers-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
VMCAI 2019	Author of Program Synthesis with Equivalence Reduction within the VMCAI 2019-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
* ICSE 2018 *	Committee Member in DS Program committee within the DS - Doctoral Symposium -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
POPL 2018	Author of Synthesizing Coupling Proofs of Differential Privacy within the Research Papers-track
SPLASH 2017	Author of FairSquare: Probabilistic Verification of Program Fairness within the OOPSLA-track
PLDI 2017	Committee Member in External Review Committee
RDP 2017	Author of Synthesizing Data-parallel Programs within the RDP-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