Aws Albarghouthi

Aws Albarghouthi
Associate Professor
Computer Sciences
UW–Madison
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 also a visiting academic at AWS (I know, hilarious).

cv  路  research agenda  路  blog  路  aws@cs.wisc.edu  路  twitter

馃敟 News

09.22 Yuhao's BagFlip paper to appear at NeurIPS!
09.22 Our weak supervision benchmark to appear at NeurIPS!
07.22 Abtin's paper on Qubit mapping accepted to MICRO!
07.22 Received an Amazon Research Award!
04.22 Will give an invited talk at VSTTE in Italy in October
04.22 Fun times speaking at Toronto's AI Safety Seminar
04.22 Gave an invited talk at HCVS / ETAPS
01.22 Received the Class of 1955 Teaching Excellence Award

馃摎 Books

Introduction to neural network verification
Aws Albarghouthi

馃摑 Papers

see all papers  路  preprints on arxiv

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

Certified robustness to programmable transformations in LSTMs
EMNLP 21 路 Zhang, Albarghouthi, D鈥橝ntoni 路 code

Interaction templates: A data-driven approach for authoring robot programs
PLATEAU 21 路 Porfirio, Cakmak, Saupp茅, Albarghouthi, Mutlu

Figaro: A tabletop authoring environment for human-robot interaction
CHI 21 路 Porfirio, Stegner, Cakmak, Saupp茅, Albarghouthi, Mutlu 路 code

Learning differentially private mechanisms
SP 21 路 Roy, Hsu, Albarghouthi

Distribution policies for datalog
TOCS 20 路 Ketsman, Albarghouthi, Koutris

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

鉁忥笍 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. The first recorded mention of Aws that I'm aware of is in a 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) with the Roboto font