research
∙
04/28/2023
Quantum Control Machine: The Limits of Quantum Programs as Data
Quantum algorithms for factorization, search, and simulation obtain comp...
share
research
∙
09/15/2022
Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming
Efficient inference is often possible in a streaming context using Rao-B...
research
∙
05/20/2022
Tower: Data Structures in Quantum Superposition
Emerging quantum algorithms for problems such as element distinctness, s...
research
∙
05/04/2022
Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
Quantum programming languages enable developers to implement algorithms ...
research
∙
09/26/2021