iiinova — where your digital self keeps evolving

Aws Albarghouthi @awsto.bsky.social · 05/05/2026

🚀 Announcing QECLean, our effort to formalize quantum error correction and fault-tolerance in Lean. The effort is led by PhD student, Stavan Jain. We have a full formalization of the Toric Code and a proof of its distance, [[2L^2, 2, L]]! And more to come...

110

Aws Albarghouthi @awsto.bsky.social · 10/11/2025

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

arxiv.org

030

Reposted by Aws Albarghouthi

David Hsu @dhsu.bsky.social · 08/10/2025

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

0134

Aws Albarghouthi @awsto.bsky.social · 26/09/2025

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

youtube.com

E3: Sarah Chasins (UC Berkeley)

YouTube video by current continuation

030

Aws Albarghouthi @awsto.bsky.social · 12/06/2025

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

34713

Reposted by Aws Albarghouthi

SIGPLAN @sigplan.bsky.social · 02/06/2025

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/

sigplan.org

Current Continuation

22311

Aws Albarghouthi @awsto.bsky.social · 29/05/2025

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

youtube.com

E2: Satnam Singh (Groq)

YouTube video by current continuation

0218

Reposted by Aws Albarghouthi

Satnam Singh @satnam6502.bsky.social · 24/05/2025

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

1213

Aws Albarghouthi @awsto.bsky.social · 21/05/2025

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

youtube.com

E1: Ranjit Jhala (UCSD)

YouTube video by current continuation

1249

Reposted by Aws Albarghouthi

Lucy Li @lucy3.bsky.social · 05/05/2025

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

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

1614514

Aws Albarghouthi @awsto.bsky.social · 05/05/2025

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:

0111

Aws Albarghouthi @awsto.bsky.social · 26/04/2025

Why are soccer parents always in sports clothing? Like you’re just here to bring snacks and tie shoe laces.

010

Reposted by Aws Albarghouthi

Paul Fairie @paulisci.bsky.social · 09/04/2025

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

13779149

Aws Albarghouthi @awsto.bsky.social · 17/03/2025

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

lnkd.in

This link will take you to a page that’s not on LinkedIn

040

Aws Albarghouthi @awsto.bsky.social · 21/02/2025

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

arxiv.org

010

Aws Albarghouthi @awsto.bsky.social · 06/02/2025

today is the day I fill out the forms

020

Aws Albarghouthi @awsto.bsky.social · 03/02/2025

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

github.com

GitHub - qqq-wisc/wisq

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

0152

Aws Albarghouthi @awsto.bsky.social · 03/02/2025

excited to be speaking today at CMU's PoP seminar

040

Reposted by Aws Albarghouthi

Anna Meyer @annapmeyer.bsky.social · 29/01/2025

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

032

Aws Albarghouthi @awsto.bsky.social · 28/01/2025

Great capstone project for soon to be Prof Anna’s thesis.

040

Reposted by Aws Albarghouthi

Andreas Zeller @andreaszeller.bsky.social · 23/01/2025

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!

0324

Aws Albarghouthi @awsto.bsky.social · 23/01/2025

the problem with this AI summer is it's way too hot

051

Aws Albarghouthi @awsto.bsky.social · 17/01/2025

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

110

Aws Albarghouthi @awsto.bsky.social · 11/12/2024

NYPD: Italian, UPenn CS alum Me: Sir, I know exactly who you’re looking for.

1160

Aws Albarghouthi @awsto.bsky.social · 03/12/2024

Door County, Oct 2024, 35mm film

280

Reposted by Aws Albarghouthi

Alexa VanHatttum @avh.bsky.social · 30/11/2024

Adrian's "Advanced Compilers" is really great, and comes with its own learning-focused compiler IR www.cs.cornell.edu/courses/cs61...

1316

Aws Albarghouthi @awsto.bsky.social · 26/11/2024

How come some academics have thousands of followers here? It’s only Tuesday.

150

Aws Albarghouthi @awsto.bsky.social · 25/11/2024

The PL community is the Bene Gesserit of Computer Science

050

Reposted by Aws Albarghouthi

Adrian Sampson @samps.phd · 25/11/2024

👋🦋 Consider following @sigplan.bsky.social, if you want. We've got cool blog posts like this: bsky.app/profile/sigp...

042

Aws Albarghouthi @awsto.bsky.social · 25/11/2024

Amanda Xu is at it again. In ASPLOS 25, she shows how to optimize quantum circuits by mixing *fast*, peephole optimization, with *slow*, search-based rewriting. This simple algorithm beats all other optimizers. arxiv.org/abs/2411.04104

180

Reposted by Aws Albarghouthi

Aws Albarghouthi @awsto.bsky.social · 24/11/2024

I’m redesigning our undergraduate compilers class. Which classes should I look at for inspiration?

6313

Aws Albarghouthi @awsto.bsky.social · 24/11/2024

I’m redesigning our undergraduate compilers class. Which classes should I look at for inspiration?

6313

Aws Albarghouthi @awsto.bsky.social · 24/11/2024

If you’d like to write a blog post for the SIGPLAN blog, reach out to me or @samps.phd

0124