POPL 2020 (series) / PLanQC 2020 (series) / Programming Languages for Quantum Computing /
Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control
In the QRAM model, quantum computation is performed under the control of a classical host. An interesting implication of this model is that the quantum circuit construction in the classical host can be dependent on the result of a measurement: there is a transfer of information from the quantum co-processor to the classical host. We call this transfer dynamic lifting. The goal of this paper is to find a model and formalize a semantics for interleaved quantum circuits and dynamic lifting.
(PLanQC2020 Abstract.pdf) | 228KiB |
PLanQC2020 slides (Programming_languages_for_Quantum_Channels_PlanQC2020-2.pdf) | 156KiB |
Sun 19 Jan Times are displayed in time zone: Saskatchewan, Central America change
Sun 19 Jan
Times are displayed in time zone: Saskatchewan, Central America change
16:50 - 17:50: Quantum-Classical CommunicationPLanQC at Maurepas Chair(s): Michael HicksUniversity of Maryland | |||
16:50 - 17:10 Talk | Extending Modern C++ for Heterogeneous Quantum-Classical Computing PLanQC Alexander McCaskeyOak Ridge National Laboratory, Tiffany MintzOak Ridge National Laboratory, Eugene DumitrescuOak Ridge National Laboratory, Sarah PowersOak Ridge National Laboratory, Shirley MooreOak Ridge National Laboratory, Pavel LougovskiOak Ridge National Laboratory | ||
17:10 - 17:30 Talk | Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control PLanQC Dongho LEELRI / CEA LIST, Univ Paris Saclay, Sébastien BardinCEA LIST, Valentin PerrelleCEA, LIST, France, Benoit ValironLRI, CentraleSupelec, Univ. Paris Saclay File Attached | ||
17:30 - 17:50 Talk | Automated distribution of quantum circuits via hypergraph partitioning PLanQC Link to publication DOI Pre-print Media Attached File Attached |