@conference {541,
	title = {A Formal Foundation for Trace-based JIT Compilers},
	booktitle = {Proceedings of the 13th International Workshop on Dynamic Analysis},
	year = {2015},
	publisher = {ACM},
	organization = {ACM},
	address = {New York, NY, USA},
	keywords = {dynamic analysis, operational semantics, tracing JIT compilation},
	isbn = {978-1-4503-3909-4},
	doi = {10.1145/2823363.2823369},
	url = {http://doi.acm.org/10.1145/2823363.2823369},
	author = {Maarten Vandercammen and Nicolay, Jens and Stefan Marr and Joeri De Koster and D{\textquoteright}Hondt, Theo and Coen De Roover}
}
@conference {389,
	title = {{A highly-parallel formulation of quantum computing simulation through fine-grained dataflow.}},
	booktitle = {Third Workshop on Data-Flow Execution Models for Extreme Scale Computing (DFM 2014)},
	year = {2013},
	abstract = {<p>Quantum Computing lies at the frontier of computing, offering a radically different and unconventional model of computation. In the absence of practical quantum computers today, we must simulate their execution. This creates a performance problem, as quantum computing simulation is very costly. However, quantum computing simulation does contain an abundance of parallelism. The research question becomes: how to expose this parallelism? Although it is easy to show the problem inherently contains a large amount of parallelism, the type of parallelism is non-trivial to exploit in a scalable way using current mainstream parallelization techniques. This paper presents the formulation a virtual machine for quantum computing as a finegrained dataflow schema, which aims to expose and exploit the abundance of parallelism in a way that avoids the observed scalability issues. We present the formal mapping from the linear algebra description of elementary quantum operations to dataflow graphs, analyze its theoretical parallel characteristics and present experimental performance results of a prototype implementation.</p>},
	url = {http://soft.vub.ac.be/Publications/2013/vub-soft-tr-13-13.pdf},
	author = {Yves Vandriessche and Ellie D{\textquoteright}Hondt and Tom Van Cutsem and D{\textquoteright}Hondt, Theo}
}
@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}
}
