Aws Albarghouthi
@awsto.bsky.social
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
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:
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
sounds like a pretty good fuzzer
December 12, 2024 at 4:08 PM
sounds like a pretty good fuzzer
Door County, Oct 2024, 35mm film
December 3, 2024 at 4:55 AM
Door County, Oct 2024, 35mm film
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
This simple algorithm beats all other optimizers. arxiv.org/abs/2411.04104
November 25, 2024 at 3:08 PM
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
This simple algorithm beats all other optimizers. arxiv.org/abs/2411.04104