URL:

Abstract:

<p>We present a practical quantum programming framework based on the formal framework of the Measurement Calculus and powered by our high-performance virtual execution engine: the Quantum Virtual Machine. Within this work, we employ various software engineering and high performance computing techniques in order to facilitate the design, composition, transformation, verification and execution of measurement-based quantum programs. Our first contribution lies in the design and construction of the framework itself. We present a complete prototype of the framework, which implements its entire layered architecture, viz. a complete quantum 'software stack'. Each layer deals with a separate concern, following the logical division lines in the semantics of the Measurement Calculus. Our second contribution is located in the execution layer of the framework: the formulation of the inherent parallelism in measurement-based quantum computing simulation and its high-performance implementation in the form of the Quantum Virtual Machine.</p>