research
∙
03/05/2023
SimuQ: A Domain-Specific Language For Quantum Simulation With Analog Compilation
Quantum Hamiltonian simulation, which simulates the evolution of quantum...
share
research
∙
10/28/2022
Differentiable Analog Quantum Computing for Optimization and Control
We formulate the first differentiable analog quantum computing framework...
research
∙
04/14/2022
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
Quantum computing technology may soon deliver revolutionary improvements...
research
∙
12/13/2021
Verified Compilation of Quantum Oracles
Quantum algorithms often apply classical operations, such as arithmetic ...
research
∙
10/13/2021
Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra
We investigate the algebraic reasoning of quantum programs inspired by t...
research
∙
01/05/2020
CNNTOP: a CNN-based Trajectory Owner Prediction Method
Trajectory owner prediction is the basis for many applications such as p...
research
∙
11/20/2017