Scholar
Aws Albarghouthi
Google Scholar ID: CUbC2zYAAAAJ
University of Wisconsin–Madison
Citations & Impact
Citations
2,229
H-index
27
i10-index
49
Publications
20
Co-authors
0
Publications
Resume (English only)
Academic Achievements
- Paper 'Synthesizing coupling proofs of differential privacy' published at POPL 2018
- Paper 'FairSquare: Probabilistic verification of program fairness' received Best Paper Award at CAV 2017
- Paper 'Authoring and verifying human-robot interactions' received Best Paper Award at UIST 2018
- Paper 'Proving data-poisoning robustness in decision trees' selected as SIGPLAN Research Highlight and appeared in Communications of the ACM (Feb 2023)
- Published extensively in top-tier venues including PLDI, POPL, CAV, ICML, CHI, HRI, VLDB, FSE, UIST, etc.
- Joined the PLDI steering committee
- Mentored students who received the ACM SIGPLAN John Vlissides Award and MIT EECS Rising Stars recognition
- Delivered a tutorial on quantum compilers at SPLASH
Co-authors