4 papers
Nuclear spin-free 70Ge/28Si70Ge quantum well heterostructures grown on industrial SiGe-buffered wafers
P. Daoust, N. Rotaru, D. Biswas +9
The coherence of hole spin qubits in germanium planar heterostructures is limited by the hyperfine coupling to the nuclear spin bath due to 29Si and 73Ge isotopes. Thus, removing t…
Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0
Sean Kim, Marcus Edwards
The unique features of the hybrid quantum-classical computing model implied by the specification of OpenQASM 3.0 motivate new approaches to quantum program verification. We impleme…
Compiling a Q# Subset to QASM 3.0 in TypeScript via a JSON Based IR
Marcus Edwards
We implement a compile toolchain from Q# to QASM 3.0 including a full-featured lexer and parser implementation, as well as a compiler that supports a subset of Q# features. The lex…
Productive Quantum Programming Needs Better Abstract Machines
Santiago Núñez-Corrales, Olivia Di Matteo, John Dumbell +4
An effective, accessible abstraction hierarchy has made using and programming computers possible for people across all disciplines. Establishing such a hierarchy for quantum progra…