Aws Albarghouthi

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."

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

YouTube video by current continuation E3: Sarah Chasins (UC Berkeley)

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

AI Models Need a Virtual Machine Neural networks are more useful when placed in a suitable, specialized environment.

the latest SIGPLAN blog post is front page on HN:
blog.sigplan.org/2025/08/29/a...

I'm glad someone found this sentence and thought it was funny :)

Does 545 mean 5:45am?

thanks so much, Toby!
will update shortly

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

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/

YouTube video by current continuation E2: Satnam Singh (Groq)

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

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."

we cover all kinds of stuff -- grad school, language design, LLMs, advice, there's even a demo!

YouTube video by current continuation E1: Ranjit Jhala (UCSD)

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

Wisconsin-Madison's tree-filled campus, next to a big shiny lake

A computer render of the interior of the new computer science, information science, and statistics building. A staircase crosses an open atrium with visibility across multiple floors

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

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:

Let me know when your US trip plans and I’ll arrange!

Come to Madison. The east coast is overrated.

www.boazbarak.org/Papers/nucle...
just basic computer science

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.

Thanks for the analysis

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

who do I bribe to get invite to this?

Which university presidents have condemned kidnapping students?

yes we are :)
will fix.

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

We should do the same in PL:
Blank slide

today is the day I fill out the forms

GitHub - qqq-wisc/wisq Contribute to qqq-wisc/wisq development by creating an account on GitHub.

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