@inproceedings{Singhal2020,
  title     = {Verified translation between low-level quantum languages},
  author    = {Singhal, Kartik and Rand, Robert and Hicks, Michael},
  year      = {2020},
  month     = jan,
  booktitle = {First International Workshop on Programming Languages for Quantum Computing (PLanQC '20)},
  url       = {https://ks.cs.uchicago.edu/publication/verified-translation/},
  abstract  = {We describe the ongoing development of a verified translator between OpenQASM (Open Quantum Assembly Language) and sqir, a Small Quantum Intermediate Representation used for circuit optimization. Verified translation from and to OpenQASM will allow verified optimization of circuits written in a variety of tools and executed on real quantum computers. This translator is a step toward a verified compilation stack for quantum computing.},
  keywords  = {formal verification, nisq, program proof, programming languages, semantic preservation, openqasm, qasm, quantum computing},
  bibsource = qplbib
}

{"_id":"3CpWqKEJHy8trvvXb","bibbaseid":"singhal-rand-hicks-verifiedtranslationbetweenlowlevelquantumlanguages-2020","author_short":["Singhal, K.","Rand, R.","Hicks, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Verified translation between low-level quantum languages","author":[{"propositions":[],"lastnames":["Singhal"],"firstnames":["Kartik"],"suffixes":[]},{"propositions":[],"lastnames":["Rand"],"firstnames":["Robert"],"suffixes":[]},{"propositions":[],"lastnames":["Hicks"],"firstnames":["Michael"],"suffixes":[]}],"year":"2020","month":"January","booktitle":"First International Workshop on Programming Languages for Quantum Computing (PLanQC '20)","url":"https://ks.cs.uchicago.edu/publication/verified-translation/","abstract":"We describe the ongoing development of a verified translator between OpenQASM (Open Quantum Assembly Language) and sqir, a Small Quantum Intermediate Representation used for circuit optimization. Verified translation from and to OpenQASM will allow verified optimization of circuits written in a variety of tools and executed on real quantum computers. This translator is a step toward a verified compilation stack for quantum computing.","keywords":"formal verification, nisq, program proof, programming languages, semantic preservation, openqasm, qasm, quantum computing","bibsource":"Quantum Programming Languages & Verification Bibliography, https://git.io/qpl-bib","bibtex":"@inproceedings{Singhal2020,\n title = {Verified translation between low-level quantum languages},\n author = {Singhal, Kartik and Rand, Robert and Hicks, Michael},\n year = {2020},\n month = jan,\n booktitle = {First International Workshop on Programming Languages for Quantum Computing (PLanQC '20)},\n url = {https://ks.cs.uchicago.edu/publication/verified-translation/},\n abstract = {We describe the ongoing development of a verified translator between OpenQASM (Open Quantum Assembly Language) and sqir, a Small Quantum Intermediate Representation used for circuit optimization. Verified translation from and to OpenQASM will allow verified optimization of circuits written in a variety of tools and executed on real quantum computers. This translator is a step toward a verified compilation stack for quantum computing.},\n keywords = {formal verification, nisq, program proof, programming languages, semantic preservation, openqasm, qasm, quantum computing},\n bibsource = qplbib\n}\n\n","author_short":["Singhal, K.","Rand, R.","Hicks, M."],"key":"Singhal2020","id":"Singhal2020","bibbaseid":"singhal-rand-hicks-verifiedtranslationbetweenlowlevelquantumlanguages-2020","role":"author","urls":{"Paper":"https://ks.cs.uchicago.edu/publication/verified-translation/"},"keyword":["formal verification","nisq","program proof","programming languages","semantic preservation","openqasm","qasm","quantum computing"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/QuantumPL/bib/main/bbt.bib","dataSources":["JG9W34HAXfSxsC6ML"],"keywords":["formal verification","nisq","program proof","programming languages","semantic preservation","openqasm","qasm","quantum computing"],"search_terms":["verified","translation","between","low","level","quantum","languages","singhal","rand","hicks"],"title":"Verified translation between low-level quantum languages","year":2020}