Aws Albarghouthi
@awsto.bsky.social
LSU is using this in their quantum computing course: arxiv.org/pdf/2511.02844
"Students begin with ... QWLA, a lightweight simulation framework that supports intuitive engagement with core quantum ideas without requiring prior knowledge of matrix algebra."
"Students begin with ... QWLA, a lightweight simulation framework that supports intuitive engagement with core quantum ideas without requiring prior knowledge of matrix algebra."
November 10, 2025 at 3:18 PM
LSU is using this in their quantum computing course: arxiv.org/pdf/2511.02844
"Students begin with ... QWLA, a lightweight simulation framework that supports intuitive engagement with core quantum ideas without requiring prior knowledge of matrix algebra."
"Students begin with ... QWLA, a lightweight simulation framework that supports intuitive engagement with core quantum ideas without requiring prior knowledge of matrix algebra."
Reposted by Aws Albarghouthi
The work winning this year's Nobel Prize in Chemistry is science-fiction-like-materials-wizardry, but this insight about people from one of the winners (also a UCB alumnus!) is particularly profound: www.nytimes.com/2025/10/08/s...
October 8, 2025 at 7:43 PM
The work winning this year's Nobel Prize in Chemistry is science-fiction-like-materials-wizardry, but this insight about people from one of the winners (also a UCB alumnus!) is particularly profound: www.nytimes.com/2025/10/08/s...
In this episode of Current Continuation, Adrian Sampson and I talk to Prof. Sarah E. Chasins of UC Berkeley. Sarah does awesome work at the intersection of PL, HCI, and social science! Enjoy!
www.youtube.com/watch?v=9NPI...
www.youtube.com/watch?v=9NPI...
E3: Sarah Chasins (UC Berkeley)
YouTube video by current continuation
www.youtube.com
September 26, 2025 at 2:04 PM
In this episode of Current Continuation, Adrian Sampson and I talk to Prof. Sarah E. Chasins of UC Berkeley. Sarah does awesome work at the intersection of PL, HCI, and social science! Enjoy!
www.youtube.com/watch?v=9NPI...
www.youtube.com/watch?v=9NPI...
the latest SIGPLAN blog post is front page on HN:
blog.sigplan.org/2025/08/29/a...
blog.sigplan.org/2025/08/29/a...
AI Models Need a Virtual Machine
Neural networks are more useful when placed in a suitable, specialized environment.
blog.sigplan.org
August 30, 2025 at 11:44 PM
the latest SIGPLAN blog post is front page on HN:
blog.sigplan.org/2025/08/29/a...
blog.sigplan.org/2025/08/29/a...
Here's a paper describing quantum computing using standard programming constructs, w/o the linear algebra!
The hope is that this will demystify quantum computing and serve as a formal foundation for reasoning about quantum programs.
paper eprint.iacr.org/2025/1091.pdf
code github.com/qqq-wisc/qwla
The hope is that this will demystify quantum computing and serve as a formal foundation for reasoning about quantum programs.
paper eprint.iacr.org/2025/1091.pdf
code github.com/qqq-wisc/qwla
June 12, 2025 at 2:38 PM
Here's a paper describing quantum computing using standard programming constructs, w/o the linear algebra!
The hope is that this will demystify quantum computing and serve as a formal foundation for reasoning about quantum programs.
paper eprint.iacr.org/2025/1091.pdf
code github.com/qqq-wisc/qwla
The hope is that this will demystify quantum computing and serve as a formal foundation for reasoning about quantum programs.
paper eprint.iacr.org/2025/1091.pdf
code github.com/qqq-wisc/qwla
Reposted by Aws Albarghouthi
We’ve started a podcast! @awsto.bsky.social and @samps.phd host “Current Continuation,” a little interview series with PL researchers. The first two episodes are with @ranjitjhala.bsky.social and @satnam6502.bsky.social. sigplan.org/cc/
Current Continuation
sigplan.org
June 2, 2025 at 3:19 PM
We’ve started a podcast! @awsto.bsky.social and @samps.phd host “Current Continuation,” a little interview series with PL researchers. The first two episodes are with @ranjitjhala.bsky.social and @satnam6502.bsky.social. sigplan.org/cc/
In this episode of current continuation, Adrian (@samps.phd) and I talk to the incredible Dr. Satnam Singh (@satnam6502.bsky.social) from Groq.
A far-ranging conversation—from SAT to Haskell to chip design to HDLs to Scotch to castles to HR :)
www.youtube.com/watch?v=_g5f...
A far-ranging conversation—from SAT to Haskell to chip design to HDLs to Scotch to castles to HR :)
www.youtube.com/watch?v=_g5f...
E2: Satnam Singh (Groq)
YouTube video by current continuation
www.youtube.com
May 29, 2025 at 1:50 PM
In this episode of current continuation, Adrian (@samps.phd) and I talk to the incredible Dr. Satnam Singh (@satnam6502.bsky.social) from Groq.
A far-ranging conversation—from SAT to Haskell to chip design to HDLs to Scotch to castles to HR :)
www.youtube.com/watch?v=_g5f...
A far-ranging conversation—from SAT to Haskell to chip design to HDLs to Scotch to castles to HR :)
www.youtube.com/watch?v=_g5f...
Reposted by Aws Albarghouthi
Advice from Ranjit Jhala for young researchers includes "As you get older your interests shrink to just a few topics. Resist this urge for as long as possible and try to be interested in as many things as possible for as long as possible."
As part of SIGPLAN blog, @samps.phd (Cornell) and I started an interview series where we talk to luminaries in the field of Programming Languages. Our first one is a super fun conversation with Ranjit Jhala (UCSD). 1h26m of goodness. www.youtube.com/watch?v=goUZ...
E1: Ranjit Jhala (UCSD)
YouTube video by current continuation
www.youtube.com
May 24, 2025 at 8:03 PM
Advice from Ranjit Jhala for young researchers includes "As you get older your interests shrink to just a few topics. Resist this urge for as long as possible and try to be interested in as many things as possible for as long as possible."
As part of SIGPLAN blog, @samps.phd (Cornell) and I started an interview series where we talk to luminaries in the field of Programming Languages. Our first one is a super fun conversation with Ranjit Jhala (UCSD). 1h26m of goodness. www.youtube.com/watch?v=goUZ...
E1: Ranjit Jhala (UCSD)
YouTube video by current continuation
www.youtube.com
May 21, 2025 at 3:20 PM
As part of SIGPLAN blog, @samps.phd (Cornell) and I started an interview series where we talk to luminaries in the field of Programming Languages. Our first one is a super fun conversation with Ranjit Jhala (UCSD). 1h26m of goodness. www.youtube.com/watch?v=goUZ...
Reposted by Aws Albarghouthi
I'm joining Wisconsin CS as an assistant professor in fall 2026!! There, I'll continue working on language models, computational social science, & responsible AI. 🌲🧀🚣🏻♀️ Apply to be my PhD student!
Before then, I'll postdoc for a year in the NLP group at another UW 🏔️ in the Pacific Northwest
Before then, I'll postdoc for a year in the NLP group at another UW 🏔️ in the Pacific Northwest
May 5, 2025 at 7:54 PM
I'm joining Wisconsin CS as an assistant professor in fall 2026!! There, I'll continue working on language models, computational social science, & responsible AI. 🌲🧀🚣🏻♀️ Apply to be my PhD student!
Before then, I'll postdoc for a year in the NLP group at another UW 🏔️ in the Pacific Northwest
Before then, I'll postdoc for a year in the NLP group at another UW 🏔️ in the Pacific Northwest
One of the main reasons quantum computing can be scary for many CS students is the notation.
E.g., what's the probability of measuring 0 for the ith qubit? The standard construction is horrendous, but it's really just a simple filter/map/reduce:
E.g., what's the probability of measuring 0 for the ith qubit? The standard construction is horrendous, but it's really just a simple filter/map/reduce:
May 5, 2025 at 1:59 PM
One of the main reasons quantum computing can be scary for many CS students is the notation.
E.g., what's the probability of measuring 0 for the ith qubit? The standard construction is horrendous, but it's really just a simple filter/map/reduce:
E.g., what's the probability of measuring 0 for the ith qubit? The standard construction is horrendous, but it's really just a simple filter/map/reduce:
Reposted by Aws Albarghouthi
A text from my brother: "You ever cook with induction?" Me: hell, yeah! I'm always cooking with induction. Then I realize he's talking about food preparation.
April 26, 2025 at 4:17 PM
A text from my brother: "You ever cook with induction?" Me: hell, yeah! I'm always cooking with induction. Then I realize he's talking about food preparation.
Why are soccer parents always in sports clothing? Like you’re just here to bring snacks and tie shoe laces.
April 26, 2025 at 2:25 PM
Why are soccer parents always in sports clothing? Like you’re just here to bring snacks and tie shoe laces.
Reposted by Aws Albarghouthi
US politics right now is like that episode of Oprah where she gave away all the cars, but instead she kept giving cars and taking cars away and setting cars on fire and making people beg for cars and also didn't understand what cars actually were
April 9, 2025 at 5:34 PM
US politics right now is like that episode of Oprah where she gave away all the cars, but instead she kept giving cars and taking cars away and setting cars on fire and making people beg for cars and also didn't understand what cars actually were
my group is giving two talks at the APS Global Physics Summit this week:
Amanda Xu | Optimizing Quantum Circuits, Fast and Slow
lnkd.in/gqGny85V
Abtin Molavi | Dependency-Aware Compilation for Surface Code Quantum Architectures
lnkd.in/g6AcM3wD
Amanda Xu | Optimizing Quantum Circuits, Fast and Slow
lnkd.in/gqGny85V
Abtin Molavi | Dependency-Aware Compilation for Surface Code Quantum Architectures
lnkd.in/g6AcM3wD
LinkedIn
This link will take you to a page that’s not on LinkedIn
lnkd.in
March 17, 2025 at 2:02 PM
my group is giving two talks at the APS Global Physics Summit this week:
Amanda Xu | Optimizing Quantum Circuits, Fast and Slow
lnkd.in/gqGny85V
Abtin Molavi | Dependency-Aware Compilation for Surface Code Quantum Architectures
lnkd.in/g6AcM3wD
Amanda Xu | Optimizing Quantum Circuits, Fast and Slow
lnkd.in/gqGny85V
Abtin Molavi | Dependency-Aware Compilation for Surface Code Quantum Architectures
lnkd.in/g6AcM3wD
Reposted by Aws Albarghouthi
Which university presidents have condemned kidnapping students?
March 11, 2025 at 1:00 PM
Which university presidents have condemned kidnapping students?
you've heard about the recent breakthroughs in building quantum computers...how do you compile programs for such computers?
At OOPSLA, Abtin Molavi will present new algorithms and insights for compiling quantum circuits to fault-tolerant architectures.
arxiv.org/pdf/2311.18042
At OOPSLA, Abtin Molavi will present new algorithms and insights for compiling quantum circuits to fault-tolerant architectures.
arxiv.org/pdf/2311.18042
arxiv.org
February 21, 2025 at 4:09 PM
you've heard about the recent breakthroughs in building quantum computers...how do you compile programs for such computers?
At OOPSLA, Abtin Molavi will present new algorithms and insights for compiling quantum circuits to fault-tolerant architectures.
arxiv.org/pdf/2311.18042
At OOPSLA, Abtin Molavi will present new algorithms and insights for compiling quantum circuits to fault-tolerant architectures.
arxiv.org/pdf/2311.18042
today is the day I fill out the forms
February 6, 2025 at 3:37 PM
today is the day I fill out the forms
We’re excited to release wisq, a state-of-the-art compiler for quantum circuits that consolidates our research on the topic. Excitingly, a good chunk of wisq is automatically synthesized and verified.
code: github.com/qqq-wisc/wisq
pip install wisq
code: github.com/qqq-wisc/wisq
pip install wisq
GitHub - qqq-wisc/wisq
Contribute to qqq-wisc/wisq development by creating an account on GitHub.
github.com
February 3, 2025 at 2:16 PM
We’re excited to release wisq, a state-of-the-art compiler for quantum circuits that consolidates our research on the topic. Excitingly, a good chunk of wisq is automatically synthesized and verified.
code: github.com/qqq-wisc/wisq
pip install wisq
code: github.com/qqq-wisc/wisq
pip install wisq
excited to be speaking today at CMU's PoP seminar
February 3, 2025 at 12:28 PM
excited to be speaking today at CMU's PoP seminar
Reposted by Aws Albarghouthi
Enjoyed working on this project & am super excited to share it at #chi25 ! Thankful to Yea-Seul for the HCI mentorship and @lorisdanto.bsky.social & @awsto.bsky.social for supporting me in trying something different
How do people feel when different “equally good” machine learning models disagree on whether an individual should get a loan or job?
Anna Meyer (co-advised with @awsto.bsky.social) answers this question in her CHI25 paper. Great collab with Yea-Seul Kim
arxiv.org/abs/2409.12332
Anna Meyer (co-advised with @awsto.bsky.social) answers this question in her CHI25 paper. Great collab with Yea-Seul Kim
arxiv.org/abs/2409.12332
Perceptions of the Fairness Impacts of Multiplicity in Machine Learning
Machine learning (ML) is increasingly used in high-stakes settings, yet multiplicity - the existence of multiple good models - means that some predictions are essentially arbitrary. ML researchers and...
arxiv.org
January 29, 2025 at 2:13 AM
Enjoyed working on this project & am super excited to share it at #chi25 ! Thankful to Yea-Seul for the HCI mentorship and @lorisdanto.bsky.social & @awsto.bsky.social for supporting me in trying something different
Great capstone project for soon to be Prof Anna’s thesis.
How do people feel when different “equally good” machine learning models disagree on whether an individual should get a loan or job?
Anna Meyer (co-advised with @awsto.bsky.social) answers this question in her CHI25 paper. Great collab with Yea-Seul Kim
arxiv.org/abs/2409.12332
Anna Meyer (co-advised with @awsto.bsky.social) answers this question in her CHI25 paper. Great collab with Yea-Seul Kim
arxiv.org/abs/2409.12332
Perceptions of the Fairness Impacts of Multiplicity in Machine Learning
Machine learning (ML) is increasingly used in high-stakes settings, yet multiplicity - the existence of multiple good models - means that some predictions are essentially arbitrary. ML researchers and...
arxiv.org
January 28, 2025 at 11:45 PM
Great capstone project for soon to be Prof Anna’s thesis.
Reposted by Aws Albarghouthi
Congratulations to the new #ACM Fellows of 2024, including Satish Chandra, Marsha Chechik, Derek Dreyer, Tim Menzies, Mira Mezini, Bashar Nuseibeh, Abhik Roychoudhury @abhikrc.bsky.social, and Ben Zorn. What a great year this is!
January 23, 2025 at 7:31 AM
Congratulations to the new #ACM Fellows of 2024, including Satish Chandra, Marsha Chechik, Derek Dreyer, Tim Menzies, Mira Mezini, Bashar Nuseibeh, Abhik Roychoudhury @abhikrc.bsky.social, and Ben Zorn. What a great year this is!
the problem with this AI summer is it's way too hot
January 23, 2025 at 3:24 PM
the problem with this AI summer is it's way too hot
There’s a quirky bar in Madison where people often spotted David Lynch. It’s only open 3 days a week and my theory is he owned it. RIP
January 17, 2025 at 4:03 AM
There’s a quirky bar in Madison where people often spotted David Lynch. It’s only open 3 days a week and my theory is he owned it. RIP