@inproceedings{Paradis2021,
  title     = {Unqomp: Synthesizing Uncomputation in Quantum Circuits},
  author    = {Paradis, Anouk and Bichsel, Benjamin and Steffen, Samuel and Vechev, Martin},
  year      = {2021},
  month     = jun,
  booktitle = {Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation},
  publisher = acm,
  address   = {New York, NY, USA},
  series    = {{{PLDI}} '21},
  pages     = {222--236},
  numpages  = {15},
  doi       = {10.1145/3453483.3454040},
  abstract  = {A key challenge when writing quantum programs is the need for uncomputation: temporary values produced during the computation must be reset to zero before they can be safely discarded. Unfortunately, most existing quantum languages require tedious manual uncomputation, often leading to inefficient and error-prone programs. We present Unqomp, the first procedure to automatically synthesize uncomputation in a given quantum circuit. Unqomp can be readily integrated into popular quantum languages, allowing the programmer to allocate and use temporary values analogously to classical computation, knowing they will be uncomputed by Unqomp. Our evaluation shows that programs leveraging Unqomp are not only shorter (-19\% on average), but also generate more efficient circuits (-71\% gates and -19\% qubits on average).},
  keywords  = {quantum Circuits, uncomputation, synthesis},
  bibsource = qplbib
}

{"_id":"K8XHrHocxD4RfaAJN","bibbaseid":"paradis-bichsel-steffen-vechev-unqompsynthesizinguncomputationinquantumcircuits-2021","author_short":["Paradis, A.","Bichsel, B.","Steffen, S.","Vechev, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Unqomp: Synthesizing Uncomputation in Quantum Circuits","author":[{"propositions":[],"lastnames":["Paradis"],"firstnames":["Anouk"],"suffixes":[]},{"propositions":[],"lastnames":["Bichsel"],"firstnames":["Benjamin"],"suffixes":[]},{"propositions":[],"lastnames":["Steffen"],"firstnames":["Samuel"],"suffixes":[]},{"propositions":[],"lastnames":["Vechev"],"firstnames":["Martin"],"suffixes":[]}],"year":"2021","month":"June","booktitle":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","publisher":"Association for Computing Machinery","address":"New York, NY, USA","series":"PLDI '21","pages":"222–236","numpages":"15","doi":"10.1145/3453483.3454040","abstract":"A key challenge when writing quantum programs is the need for uncomputation: temporary values produced during the computation must be reset to zero before they can be safely discarded. Unfortunately, most existing quantum languages require tedious manual uncomputation, often leading to inefficient and error-prone programs. We present Unqomp, the first procedure to automatically synthesize uncomputation in a given quantum circuit. Unqomp can be readily integrated into popular quantum languages, allowing the programmer to allocate and use temporary values analogously to classical computation, knowing they will be uncomputed by Unqomp. Our evaluation shows that programs leveraging Unqomp are not only shorter (-19% on average), but also generate more efficient circuits (-71% gates and -19% qubits on average).","keywords":"quantum Circuits, uncomputation, synthesis","bibsource":"Quantum Programming Languages & Verification Bibliography, https://git.io/qpl-bib","bibtex":"@inproceedings{Paradis2021,\n title = {Unqomp: Synthesizing Uncomputation in Quantum Circuits},\n author = {Paradis, Anouk and Bichsel, Benjamin and Steffen, Samuel and Vechev, Martin},\n year = {2021},\n month = jun,\n booktitle = {Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation},\n publisher = acm,\n address = {New York, NY, USA},\n series = {{{PLDI}} '21},\n pages = {222--236},\n numpages = {15},\n doi = {10.1145/3453483.3454040},\n abstract = {A key challenge when writing quantum programs is the need for uncomputation: temporary values produced during the computation must be reset to zero before they can be safely discarded. Unfortunately, most existing quantum languages require tedious manual uncomputation, often leading to inefficient and error-prone programs. We present Unqomp, the first procedure to automatically synthesize uncomputation in a given quantum circuit. Unqomp can be readily integrated into popular quantum languages, allowing the programmer to allocate and use temporary values analogously to classical computation, knowing they will be uncomputed by Unqomp. Our evaluation shows that programs leveraging Unqomp are not only shorter (-19\\% on average), but also generate more efficient circuits (-71\\% gates and -19\\% qubits on average).},\n keywords = {quantum Circuits, uncomputation, synthesis},\n bibsource = qplbib\n}\n\n","author_short":["Paradis, A.","Bichsel, B.","Steffen, S.","Vechev, M."],"key":"Paradis2021","id":"Paradis2021","bibbaseid":"paradis-bichsel-steffen-vechev-unqompsynthesizinguncomputationinquantumcircuits-2021","role":"author","urls":{},"keyword":["quantum Circuits","uncomputation","synthesis"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/QuantumPL/bib/main/bbt.bib","dataSources":["MbqeeC74KZhwBpe8j","JG9W34HAXfSxsC6ML"],"keywords":["quantum circuits","uncomputation","synthesis"],"search_terms":["unqomp","synthesizing","uncomputation","quantum","circuits","paradis","bichsel","steffen","vechev"],"title":"Unqomp: Synthesizing Uncomputation in Quantum Circuits","year":2021}