ChiQP-Lab
ChiQP-Lab
Publications
People
News
Contact
1
Q# as a Quantum Algorithmic Language
Kartik Singhal
,
Sarah Marshall
,
Kesha Hietala
,
Robert Rand
Proving Quantum Programs Correct
Kesha Hietala
,
Robert Rand
,
Shih-Han Hung
,
Liyi Li
,
Michael Hicks
A Verified Optimizer for Quantum Circuits
Kesha Hietala
,
Robert Rand
,
Shih-Han Hung
,
Xiaodi Wu
,
Michael Hicks
Cite
×