2 code implementations • 3 Oct 2020 • Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks
As quantum computing progresses steadily from theory into practice, programmers will face a common problem: How can they be sure that their code does what they intend it to do?
Programming Languages Quantum Physics
3 code implementations • 4 Dec 2019 • Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
Optimizations and other transformations are expressed as Coq functions, which are proved correct with respect to a semantics of SQIR programs.
Programming Languages Emerging Technologies Logic in Computer Science Quantum Physics
1 code implementation • 12 Apr 2019 • Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
We present sqire, a low-level language for quantum computing and verification.
Logic in Computer Science Emerging Technologies Programming Languages Quantum Physics
