Q#: Enabling Scalable Quantum Computing and Development with a High-Level DSL. Svore, K. M., Geller, A., Troyer, M., Azariah, J., Granade, C. E., Heim, B., Kliuchnikov, V., Mykhailova, M., Paz, A., & Roetteler, M. In Proceedings of the Real World Domain Specific Languages Workshop 2018, of RWDSL '18, pages 7, New York, NY, USA, February, 2018. Association for Computing Machinery. doi abstract bibtex Quantum computing exploits quantum phenomena such as superposition and entanglement to realize a form of parallelism that is not available to traditional computing. It offers the potential of significant computational speed-ups in quantum chemistry, materials science, cryptography, and machine learning. The dominant approach to programming quantum computers is to provide an existing high-level language with libraries that allow for the expression of quantum programs. This approach can permit computations that are meaningless in a quantum context; prohibits succinct expression of interaction between classical and quantum logic; and does not provide important constructs that are required for quantum programming. We present Q#, a quantum-focused domain-specific language explicitly designed to correctly, clearly and completely express quantum algorithms. Q# provides a type system; a tightly constrained environment to safely interleave classical and quantum computations; specialized syntax; symbolic code manipulation to automatically generate correct transformations of quantum operations; and powerful functional constructs which aid composition.
@inproceedings{Svore2018,
title = {Q\#: {{Enabling Scalable Quantum Computing}} and {{Development}} with a {{High}}-Level {{DSL}}},
shorttitle = {Q\#},
author = {Svore, Krysta M. and Geller, Alan and Troyer, Matthias and Azariah, John and Granade, Christopher E. and Heim, Bettina and Kliuchnikov, Vadym and Mykhailova, Mariia and Paz, Andres and Roetteler, Martin},
year = {2018},
month = feb,
booktitle = {Proceedings of the Real World Domain Specific Languages Workshop 2018},
publisher = acm,
address = {{New York, NY, USA}},
series = {{{RWDSL}} '18},
eid = {7},
pages = {7},
numpages = {10},
doi = {10.1145/3183895.3183901},
archiveprefix = {arXiv},
eprint = {1803.00652},
abstract = {Quantum computing exploits quantum phenomena such as superposition and entanglement to realize a form of parallelism that is not available to traditional computing. It offers the potential of significant computational speed-ups in quantum chemistry, materials science, cryptography, and machine learning. The dominant approach to programming quantum computers is to provide an existing high-level language with libraries that allow for the expression of quantum programs. This approach can permit computations that are meaningless in a quantum context; prohibits succinct expression of interaction between classical and quantum logic; and does not provide important constructs that are required for quantum programming. We present Q\#, a quantum-focused domain-specific language explicitly designed to correctly, clearly and completely express quantum algorithms. Q\# provides a type system; a tightly constrained environment to safely interleave classical and quantum computations; specialized syntax; symbolic code manipulation to automatically generate correct transformations of quantum operations; and powerful functional constructs which aid composition.},
keywords = {domain specific language, functional programming, quantum computing, q\#},
webnote = {See also Ch. 8 of \cite{Heim2020}},
bibsource = qplbib
}
Downloads: 0
{"_id":"RNnsCgvLztw5FLJ3C","bibbaseid":"svore-geller-troyer-azariah-granade-heim-kliuchnikov-mykhailova-etal-qenablingscalablequantumcomputinganddevelopmentwithahighleveldsl-2018","authorIDs":[],"author_short":["Svore, K. M.","Geller, A.","Troyer, M.","Azariah, J.","Granade, C. E.","Heim, B.","Kliuchnikov, V.","Mykhailova, M.","Paz, A.","Roetteler, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Q#: Enabling Scalable Quantum Computing and Development with a High-Level DSL","shorttitle":"Q#","author":[{"propositions":[],"lastnames":["Svore"],"firstnames":["Krysta","M."],"suffixes":[]},{"propositions":[],"lastnames":["Geller"],"firstnames":["Alan"],"suffixes":[]},{"propositions":[],"lastnames":["Troyer"],"firstnames":["Matthias"],"suffixes":[]},{"propositions":[],"lastnames":["Azariah"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Granade"],"firstnames":["Christopher","E."],"suffixes":[]},{"propositions":[],"lastnames":["Heim"],"firstnames":["Bettina"],"suffixes":[]},{"propositions":[],"lastnames":["Kliuchnikov"],"firstnames":["Vadym"],"suffixes":[]},{"propositions":[],"lastnames":["Mykhailova"],"firstnames":["Mariia"],"suffixes":[]},{"propositions":[],"lastnames":["Paz"],"firstnames":["Andres"],"suffixes":[]},{"propositions":[],"lastnames":["Roetteler"],"firstnames":["Martin"],"suffixes":[]}],"year":"2018","month":"February","booktitle":"Proceedings of the Real World Domain Specific Languages Workshop 2018","publisher":"Association for Computing Machinery","address":"New York, NY, USA","series":"RWDSL '18","eid":"7","pages":"7","numpages":"10","doi":"10.1145/3183895.3183901","archiveprefix":"arXiv","eprint":"1803.00652","abstract":"Quantum computing exploits quantum phenomena such as superposition and entanglement to realize a form of parallelism that is not available to traditional computing. It offers the potential of significant computational speed-ups in quantum chemistry, materials science, cryptography, and machine learning. The dominant approach to programming quantum computers is to provide an existing high-level language with libraries that allow for the expression of quantum programs. This approach can permit computations that are meaningless in a quantum context; prohibits succinct expression of interaction between classical and quantum logic; and does not provide important constructs that are required for quantum programming. We present Q#, a quantum-focused domain-specific language explicitly designed to correctly, clearly and completely express quantum algorithms. Q# provides a type system; a tightly constrained environment to safely interleave classical and quantum computations; specialized syntax; symbolic code manipulation to automatically generate correct transformations of quantum operations; and powerful functional constructs which aid composition.","keywords":"domain specific language, functional programming, quantum computing, q#","webnote":"See also Ch. 8 of i̧teHeim2020","bibsource":"Quantum Programming Languages & Verification Bibliography, https://git.io/qpl-bib","bibtex":"@inproceedings{Svore2018,\n title = {Q\\#: {{Enabling Scalable Quantum Computing}} and {{Development}} with a {{High}}-Level {{DSL}}},\n shorttitle = {Q\\#},\n author = {Svore, Krysta M. and Geller, Alan and Troyer, Matthias and Azariah, John and Granade, Christopher E. and Heim, Bettina and Kliuchnikov, Vadym and Mykhailova, Mariia and Paz, Andres and Roetteler, Martin},\n year = {2018},\n month = feb,\n booktitle = {Proceedings of the Real World Domain Specific Languages Workshop 2018},\n publisher = acm,\n address = {{New York, NY, USA}},\n series = {{{RWDSL}} '18},\n eid = {7},\n pages = {7},\n numpages = {10},\n doi = {10.1145/3183895.3183901},\n archiveprefix = {arXiv},\n eprint = {1803.00652},\n abstract = {Quantum computing exploits quantum phenomena such as superposition and entanglement to realize a form of parallelism that is not available to traditional computing. It offers the potential of significant computational speed-ups in quantum chemistry, materials science, cryptography, and machine learning. The dominant approach to programming quantum computers is to provide an existing high-level language with libraries that allow for the expression of quantum programs. This approach can permit computations that are meaningless in a quantum context; prohibits succinct expression of interaction between classical and quantum logic; and does not provide important constructs that are required for quantum programming. We present Q\\#, a quantum-focused domain-specific language explicitly designed to correctly, clearly and completely express quantum algorithms. Q\\# provides a type system; a tightly constrained environment to safely interleave classical and quantum computations; specialized syntax; symbolic code manipulation to automatically generate correct transformations of quantum operations; and powerful functional constructs which aid composition.},\n keywords = {domain specific language, functional programming, quantum computing, q\\#},\n webnote = {See also Ch. 8 of \\cite{Heim2020}},\n bibsource = qplbib\n}\n\n","author_short":["Svore, K. M.","Geller, A.","Troyer, M.","Azariah, J.","Granade, C. E.","Heim, B.","Kliuchnikov, V.","Mykhailova, M.","Paz, A.","Roetteler, M."],"key":"Svore2018","id":"Svore2018","bibbaseid":"svore-geller-troyer-azariah-granade-heim-kliuchnikov-mykhailova-etal-qenablingscalablequantumcomputinganddevelopmentwithahighleveldsl-2018","role":"author","urls":{},"keyword":["domain specific language","functional programming","quantum computing","q#"],"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/QuantumPL/bib/main/bbt.bib","creationDate":"2020-05-31T17:07:22.810Z","downloads":0,"keywords":["domain specific language","functional programming","quantum computing","q#"],"search_terms":["enabling","scalable","quantum","computing","development","high","level","dsl","svore","geller","troyer","azariah","granade","heim","kliuchnikov","mykhailova","paz","roetteler"],"title":"Q#: Enabling Scalable Quantum Computing and Development with a High-Level DSL","year":2018,"dataSources":["Z5Dp3qAJiMzxtvKMq","JG9W34HAXfSxsC6ML"]}