Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aws Albarghouthi
conf.researchr.org general profile
* ICSE 2018 * profile
ESEC/FSE 2018 profile
ESOP 2015 profile
ICFP 2019 profile
ICFP 2020 profile
PLDI 2016 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2023 profile
PLDI 2024 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
POPL 2024 profile
SPLASH 2017 profile
SPLASH 2022 profile
Registered user since Fri 23 Oct 2015
Name:
Aws Albarghouthi
Country:
United States
Affiliation:
University of Wisconsin-Madison
Contributions
2024
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
PLMW
Author of Uncertainty and my scientific journey within the PLMW@PLDI 2024-track
POPL
Committee Member in Program Committee within the POPL-track
2023
PLDI
Author of Synthesizing Quantum-Circuit Optimizers within the PLDI Research Papers-track
VMCAI
Invited Speaker of What Can Program Analysis Say About Data Bias? within the VMCAI 2023-track
Session Chair of Solvers (part of VMCAI 2023)
2022
SPLASH
Committee Member in Review Committee within the OOPSLA-track
PLDI
Committee Member in PLDI within the PLDI-track
POPL
Author of Interval Universal Approximation for Neural Networks within the POPL-track
VMCAI
PC Member in Program Committee within the VMCAI 2022-track
2021
MAPS
Publicity Chair in Organizing Committee within the MAPS 2021-track
VMCAI
Session Chair of Synthesis and Repair (part of VMCAI)
Committee Member in Program Committee within the VMCAI-track
2020
ICFP
Committee Member in External Review Committee within the ICFP Program-track
PLDI
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
MAPS
Session Chair of Formal Methods and Reinforcement Learning (part of MAPL)
Committee Member in Program Committee within the MAPL-track
2019
ICFP
Author of Synthesizing Differentially Private Programs within the Research Papers-track
POPL
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
Author of Program Synthesis with Equivalence Reduction within the VMCAI 2019-track
2018
ESEC/FSE
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
Committee Member in DS Program committee within the DS - Doctoral Symposium -track
PLMW
Committee Member in Panelists within the PLMW-track
Author of Panel I: Technical Trends in Programming Languages Research within the PLMW-track
POPL
Author of Synthesizing Coupling Proofs of Differential Privacy within the Research Papers-track
2017
SPLASH
Author of FairSquare: Probabilistic Verification of Program Fairness within the OOPSLA-track
PLDI
Committee Member in External Review Committee
RDP
Author of Synthesizing Data-parallel Programs within the RDP-track
2016
PLDI
Author of MapReduce Program Synthesis within the Research Papers-track
Committee Member in External Review Committee
POPL
Author of Maximal Specification Synthesis within the Research Papers-track
2015
ESOP
Author of Spatial Interpolants within the ESOP-track
Share
x
Thu 21 Nov 16:57
