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.

CV  路  research agenda  路  blog  路  路  twitter

馃敟 News

11.21 Great fun giving a seminar talk at NUS
10.21 Mark Mansi gave a talk about the Rust compiler in my undergrad class
09.21 Our PLDI 20 paper is recognized as a SIGPLAN Research Highlight!
09.21 Anna's first paper on data bias accepted to NeurIPS!
09.21 Zi's paper on the power of intervals for neural networks to appear at POPL!
08.21 Yuhao's paper on proving robustness of LSTMs to appear at EMNLP!
08.21 Blog post: A Quantum Circuit Simulator in 27 Lines of Python

馃摎 Books

Introduction to neural network verification
Aws Albarghouthi

馃摑 Papers

see all papers  路  preprints on arxiv

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

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

Synthesizing action sequences for modifying model decisions
AAAI 20 路 Ramakrishnan, Lee, Albarghouthi 路 code

Transforming robot programs based on social context
CHI 20 路 Porfirio, Saupp茅, Albarghouthi, Mutlu 路 code

Generating programmatic referring expressions via program synthesis
ICML 20 路 Huang, Smith, Bastani, Singh, Albarghouthi, Naik 路 code

Robustness to programmable string transformations via augmented abstract training
ICML 20 路 Zhang, Albarghouthi, D鈥橝ntoni 路 code

馃帗 Research group

Abtin Molavi
Haotian Ma
Amanda Xu
Aisha Mohamed
David Porfirio
Yuhao Zhang
Anna P. Meyer
Lauren Pick 路 CI Postdoctoral Fellow

Samuel Drews 路 PhD 21 鉃 Software Engineer at Facebook
Jinman Zhao 路 PhD 21 鉃 Applied Scientist at Amazon
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 (Amazon)

馃弳 Awards

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

F21 CS 536: Intro to compilers and programming languages
S21 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