Abstract
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.
| Original language | English |
|---|---|
| Number of pages | 5 |
| Journal | The First Workshop on Parallel Quantum Computing (ParQ 2013) |
| Publication status | Published - 8 Sept 2013 |
Bibliographical note
Elham KashefiKeywords
- quantum computing
- quantum computing simulation
- parallel computing
- measurement-based quantum computing
- dataflow