Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/https://bsky.app/profile/awsto.bsky.socialhttps://bsky.app/profile/awsto.bsky.social/post/3ml4mhu3f2k2b🚀 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...05 May 2026 16:33 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3ml4mhu3f2k2bhttps://bsky.app/profile/awsto.bsky.social/post/3m5bwaiebws2iLSU 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." [contains quote post or other embedded content]10 Nov 2025 15:18 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3m5bwaiebws2ihttps://bsky.app/profile/awsto.bsky.social/post/3lzqn3h5nrc2zIn 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! https://www.youtube.com/watch?v=9NPIChL0Wq426 Sep 2025 14:04 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3lzqn3h5nrc2zhttps://bsky.app/profile/awsto.bsky.social/post/3lxnqv4xxts22the latest SIGPLAN blog post is front page on HN: https://blog.sigplan.org/2025/08/29/ai-models-need-a-virtual-machine/30 Aug 2025 23:43 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3lxnqv4xxts22https://bsky.app/profile/awsto.bsky.social/post/3lrg5kyxips2xHere'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/qwla12 Jun 2025 14:38 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3lrg5kyxips2xhttps://bsky.app/profile/awsto.bsky.social/post/3lqcudsfp622gIn 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 :) https://www.youtube.com/watch?v=_g5fA9Cy6KU29 May 2025 13:50 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3lqcudsfp622ghttps://bsky.app/profile/awsto.bsky.social/post/3lpovnsnxzk22As 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. https://www.youtube.com/watch?v=goUZczQAfgk21 May 2025 15:20 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3lpovnsnxzk22https://bsky.app/profile/awsto.bsky.social/post/3logjnzoj6s2oOne 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:05 May 2025 13:59 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3logjnzoj6s2ohttps://bsky.app/profile/awsto.bsky.social/post/3lnpwwzakrc2pWhy are soccer parents always in sports clothing? Like you’re just here to bring snacks and tie shoe laces.26 Apr 2025 14:25 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3lnpwwzakrc2phttps://bsky.app/profile/awsto.bsky.social/post/3lklcychvs22qmy 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 https://lnkd.in/gqGny85V17 Mar 2025 14:02 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3lklcychvs22qhttps://bsky.app/profile/awsto.bsky.social/post/3lip6uygxws2oyou'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 https://arxiv.org/pdf/2311.1804221 Feb 2025 16:09 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3lip6uygxws2ohttps://bsky.app/profile/awsto.bsky.social/post/3lhjg4acjwk2ltoday is the day I fill out the forms06 Feb 2025 15:37 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3lhjg4acjwk2lhttps://bsky.app/profile/awsto.bsky.social/post/3lhbq7khwgs2vWe’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 https://github.com/qqq-wisc/wisq03 Feb 2025 14:16 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3lhbq7khwgs2vhttps://bsky.app/profile/awsto.bsky.social/post/3lhbk6pyl5k2yexcited to be speaking today at CMU's PoP seminar03 Feb 2025 12:28 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3lhbk6pyl5k2yhttps://bsky.app/profile/awsto.bsky.social/post/3lgtn65ubis2gGreat capstone project for soon to be Prof Anna’s thesis. [contains quote post or other embedded content]28 Jan 2025 23:45 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3lgtn65ubis2ghttps://bsky.app/profile/awsto.bsky.social/post/3lgg6ufixa22lthe problem with this AI summer is it's way too hot23 Jan 2025 15:24 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3lgg6ufixa22lhttps://bsky.app/profile/awsto.bsky.social/post/3lfvvys3uek2rThere’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. RIP17 Jan 2025 04:03 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3lfvvys3uek2rhttps://bsky.app/profile/awsto.bsky.social/post/3lfslmwpy5c2p [contains quote post or other embedded content]15 Jan 2025 20:19 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3lfslmwpy5c2phttps://bsky.app/profile/awsto.bsky.social/post/3lfn5stgezk2fMentoring is incredibly important to students and young researchers. @notypes.bsky.social and @avh.bsky.social talk about the "missing mentoring pillar" in our latest PL Perspectives blog post https://blog.sigplan.org/2025/01/13/the-missing-mentoring-pillar/13 Jan 2025 16:29 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3lfn5stgezk2fhttps://bsky.app/profile/awsto.bsky.social/post/3lcyjjluzo22tNYPD: Italian, UPenn CS alum Me: Sir, I know exactly who you’re looking for.11 Dec 2024 00:42 +0000at://did:plc:h4dhdiyol5hdvrv4kxf5oi2n/app.bsky.feed.post/3lcyjjluzo22t