Aws Albarghouthi

Aws Albarghouthi
Associate Professor
Computer Sciences
UW–Madison

I study the art and science of program synthesis and verification. My group is currently focused on two problems: a) automatically synthesizing compilers for quantum computers and b) certifying robustness and fairness of machine learning. I'm always looking for ambitious students.

I'm currently on leave at AWS (I know, hilarious).

cv  路  blog  路  aws@cs.wisc.edu

馃敟 News

04.23 Lauren has two papers at PLDI 馃ぉ!
04.23 Anna's paper on data bias will appear at FAccT!
04.23 Amanda's paper on quantum optimization will appear at PLDI!
01.23 Our PLDI 20 paper appeared as a CACM Research Highlight!

馃摎 Books

Introduction to neural network verification
Aws Albarghouthi

馃摑 Papers

see all papers  路  preprints on arxiv

The dataset multiplicity problem: How unreliable data impacts predictions
FACCT 23 路 Meyer, Albarghouthi, D鈥橝ntoni

Synthesizing quantum-circuit optimizers
PLDI 23 路 Xu, Molavi, Pick, Tannu, Albarghouthi

Proving data-poisoning robustness in decision trees
CACM 23 路 Drews, Albarghouthi, D鈥橝ntoni
馃弳 Research highlight

Sketching robot programs on the fly
HRI 23 路 Porfirio, Stegner, Cakmak, Saupp茅, Albarghouthi, Mutlu

Crowdsourcing task traces for service robotics
HRI 23 路 Porfirio, Saupp茅, Cakmak, Albarghouthi, Mutlu

BagFlip: A certified defense against data poisoning
NeurIPS 22 路 Zhang, Albarghouthi, D鈥橝ntoni

AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels
NeurIPS 22 路 Roberts, Li, Huang, Adila, Schoenberg, Liu, Pick, Ma, Albarghouthi, Sala

Qubit mapping and routing via MaxSAT
MICRO 22 路 Molavi, Xu, Diges, Pick, Tannu, Albarghouthi 路 code

Interval universal approximation for neural networks
POPL 22 路 Wang, Albarghouthi, Prakriya, Jha

Semantic robustness of models of source code
SANER 22 路 Henkel, Ramakrishnan, Wang, Albarghouthi, Jha, Reps 路 code

Backdoors in neural models of source code
ICPR 22 路 Ramakrishnan, Albarghouthi 路 code

Certifying robustness to programmable data bias in decision trees
NeurIPS 21 路 Meyer, Albarghouthi, D鈥橝ntoni 路 code

馃帗 Research group

Abtin Molavi
Amanda Xu
Yuhao Zhang
Anna P. Meyer
Lauren Pick 路 CI Postdoctoral Fellow

David Porfirio 路 PhD 22 鉃 Researcher at The Naval Research Lab
Samuel Drews 路 PhD 21 鉃 Software Engineer at Facebook
Jinman Zhao 路 PhD 21 鉃 Applied Scientist at AWS
Calvin Smith 路 PhD 20 鉃 Postdoc at University of Texas, Austin
Goutham Ramakrishnan 路 MSc 20 鉃 ML Engineer at Health at Scale
Yun Chan Lee 路 MSc 19 鉃 Software Engineer at AWS

馃弳 Awards

22 Amazon Research Award
22 Class of 1955 Teaching Excellence Award
21 SIGPLAN research highlight for PLDI 20 paper
20 Facebook programming languages and probability award
20 Facebook programming languages and probability award
19 Facebook programming languages and probability award
18 UIST Best paper award
18 FAST Best paper award
17 FSE Best paper award
17 NSF CAREER award
16 Google faculty research award
13 SV-COMP Winner of 4 gold medals and 1 bronze medal
10 Alexander Graham Bell Canada graduate scholarship

鉁忥笍 Teaching

S22 CS 704: Principles of programming languages

鈾撅笍

My first name rhymes with house
To my knowledge, my PhD thesis (p. 77) is the first CS thesis to cite Jay Z
Page layout is a fork of minimal (CC BY-SA 3.0)