02.26
Thrilled to be giving a keynote at PLDI in June!
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.
My group is primarily focused on automatically synthesizing the software stack for future quantum computers. As physicists build better and better qubits, we need a powerful software stack that translates ideas to hardware. Following the classical computing software stack does not make sense in the 21st century, so we are pioneering a new, automated way. For more information, see our papers on compiler generation (e.g., Amaro, GUOQ), tutorials, and tools.
My group is also very interested in AI agent construction and correctness. Today, we're building agents in an ad-hoc manner, as an arbitrary amalgamation of models and tools, with no correctness or security guarantees and fixed and limited benchmarks. For more information, see our work on SkillOrchestra, SlopCodeBench, LiveResearchBench, and my book on neural network verification.
cv · aws@cs.wisc.edu
News
02.26
I'll be an Associate Chair for OOPSLA 2027
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