02.26
I'll be an Associate Chair for OOPSLA 2027
My name is Aws Albarghouthi and I'm an associate professor of computer science at the University of Wisconsin-Madison. I study the art and science of program synthesis and verification. I'm a member of the madPL and quantum computing groups.
cv · aws@cs.wisc.edu
News
12.25
LSU is using my quantum w/o linear algebra approach in their curriculum!
12.25
Jiayu presented her work on understanding RL-based reasoning at NeurIPS!
12.25
I'm serving on the ISCA 26 program committee
11.25
Our quantum compiler generator is used by Google for early fault tolerance!
10.25
Abtin's paper on qubit routing accepted to POPL!
10.25
Amanda Xu receives the ACM SIGPLAN John Vlissides Award!
10.25
Amanda Xu selected for MIT EECS Rising Stars!
10.25
We gave a tutorial on quantum compilers @ SPLASH!
06.25
Excited to join the PLDI steering committee
Books
Papers
see all papers · preprints on arxiv
Group
Alumni
Awards
25
PLDI Distinguished artifact award
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 Distinguished paper award
17
National Science Foundation CAREER award
15
Google faculty research award
13
SV-COMP Winner of 4 gold medals and 1 bronze medal
10
Alexander Graham Bell Canada graduate scholarship