Practical Modern Quantum Programming
Name
McNally-mcnallyc-SM-EECS-2021-thesis.pdf
Description
Thesis PDF
Size
825.29 KB
Format
Adobe PDF
Checksum (MD5)
aa1f237c1d580cc362cf2bf89f5c6701
Author(s)
McNally, Christopher Michael
Advisor(s)
Oliver, William D.
Date Issued
September 2021
Publisher
Massachusetts Institute of Technology
Abstract
In this thesis we present a compiler for Cavy, an imperative quantum programming language. The main contribution of the Cavy system is the application of region inference to the problem of safe and efficient ancilla qubit allocation, use, and deallocation in a programming language with a reversible subset. This approach enables the compilation of optimized quantum circuits from programs with arbitrary ancilla operations. In contrast with other recent work on ancilla deallocation, the safety analysis is a variant of the borrow checker introduced in the Rust programming language. It features “move references,” a unique reference type that can safely transfer ownership of its referent.
To frame the problem and motivate these features, we describe a quantum algorithm whose recent experimental implementation strains the expressiveness of traditional linearly-typed quantum programming languages, and give a Cavy implementation of this algorithm.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
In Copyright - Educational Use Permitted
Copyright MIT
Persistent DSpace Link
