Aws Albarghouthi

Aws Albarghouthi
Associate Professor
Computer Sciences
Ho-Chunk land

I study the art and science of program verification and synthesis. I'm a member of madPL, an awesome research group at the forefront of programming languages research. I joined Wisconsin in 2015 after receiving my PhD from UToronto working with Marsha Chechik. I'm always looking for ambitious students.

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

cv  路  blog  路  路  twitter

馃敟 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

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

馃崏 The name  路  兀賵爻 丕賱亘乇睾賵孬賷

My first name rhymes with house—i.e., pronounced ouse. Aws is an ancient Arabic word for wolf. See, for example, this Graeco-Arabic inscription.

My last name is pronounced Al·b蓹r·go蜑o·t膿 (or B蓹r·go蜑o·t膿). Albarghouthi is a Palestinian family from the village of Deir Ghassaneh, about 20 miles north of Jerusalem and east of Jaffa.


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)