@conference {388,
	title = {{A practical quantum programming framework and its highly-parallel virtual execution}},
	booktitle = {First Workshop on Parallel Quantum Computing (ParQ 2013)},
	year = {2013},
	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 {\textquoteright}software stack{\textquoteright}. 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>},
	url = {http://soft.vub.ac.be/Publications/2013/vub-soft-tr-13-14.pdf},
	author = {Yves Vandriessche and Ellie D{\textquoteright}Hondt and D{\textquoteright}Hondt, Theo}
}
