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 also a visiting academic at AWS (I know, hilarious).

CV  路  research agenda  路  blog  路  路  twitter

馃敟 News

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
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!

馃摎 Books

Introduction to neural network verification
Aws Albarghouthi
Published in Foundations and Trends (FnT)

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

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

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

馃帗 Research group

Abtin Molavi
Amanda Xu
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

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