{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,5]],"date-time":"2026-04-05T10:20:33Z","timestamp":1775384433520,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,2,24]],"date-time":"2018-02-24T00:00:00Z","timestamp":1519430400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,2,24]]},"DOI":"10.1145\/3183895.3183901","type":"proceedings-article","created":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T15:29:52Z","timestamp":1519918192000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":215,"title":["Q#"],"prefix":"10.1145","author":[{"given":"Krysta","family":"Svore","sequence":"first","affiliation":[{"name":"Quantum Architectures and Computation Group, Microsoft Research, Redmond, WA, United States"}]},{"given":"Alan","family":"Geller","sequence":"additional","affiliation":[{"name":"Quantum Architectures and Computation Group, Microsoft Research, Redmond, WA, United States"}]},{"given":"Matthias","family":"Troyer","sequence":"additional","affiliation":[{"name":"Quantum Architectures and Computation Group, Microsoft Research, Redmond, WA, United States"}]},{"given":"John","family":"Azariah","sequence":"additional","affiliation":[{"name":"Quantum Architectures and Computation Group, Microsoft Research, Redmond, WA, United States"}]},{"given":"Christopher","family":"Granade","sequence":"additional","affiliation":[{"name":"Quantum Architectures and Computation Group, Microsoft Research, Redmond, WA, United States"}]},{"given":"Bettina","family":"Heim","sequence":"additional","affiliation":[{"name":"Quantum Architectures and Computation Group, Microsoft Research, Redmond, WA, United States"}]},{"given":"Vadym","family":"Kliuchnikov","sequence":"additional","affiliation":[{"name":"Quantum Architectures and Computation Group, Microsoft Research, Redmond, WA, United States"}]},{"given":"Mariia","family":"Mykhailova","sequence":"additional","affiliation":[{"name":"Quantum Architectures and Computation Group, Microsoft Research, Redmond, WA, United States"}]},{"given":"Andres","family":"Paz","sequence":"additional","affiliation":[{"name":"Quantum Architectures and Computation Group, Microsoft Research, Redmond, WA, United States"}]},{"given":"Martin","family":"Roetteler","sequence":"additional","affiliation":[{"name":"Quantum Architectures and Computation Group, Microsoft Research, Redmond, WA, United States"}]}],"member":"320","published-online":{"date-parts":[[2018,2,24]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Dominic W. Berry Andrew M. Childs Richard Cleve Robin Kothari and Rolando D. Somma. 2013. Exponential improvement in precision for simulating sparse Hamiltonians. ArXiv e-prints (Dec. 2013). arXiv:quant-ph\/1312.1414  Dominic W. Berry Andrew M. Childs Richard Cleve Robin Kothari and Rolando D. Somma. 2013. Exponential improvement in precision for simulating sparse Hamiltonians. ArXiv e-prints (Dec. 2013). arXiv:quant-ph\/1312.1414"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.91.052317"},{"key":"e_1_3_2_1_3_1","unstructured":"Max Born. 1926. On the Quantum Mechanics of Collisions. In Quantum Theory and Measurement.  Max Born. 1926. On the Quantum Mechanics of Collisions. In Quantum Theory and Measurement."},{"key":"e_1_3_2_1_4_1","unstructured":"Dan Coppersmith. 2002. An approximate Fourier transform useful in quantum factoring. arXiv:quant-ph\/0201067 (Jan. 2002). http:\/\/arxiv.org\/abs\/quant-ph\/0201067 arXiv: quant-ph\/0201067.  Dan Coppersmith. 2002. An approximate Fourier transform useful in quantum factoring. arXiv:quant-ph\/0201067 (Jan. 2002). http:\/\/arxiv.org\/abs\/quant-ph\/0201067 arXiv: quant-ph\/0201067."},{"key":"e_1_3_2_1_5_1","unstructured":"Andrew W. Cross Lev S. Bishop John A. Smolin and Jay M. Gambetta. 2017. Open Quantum Assembly Language. arXiv:1707.03429 {quant-ph} (July 2017). http:\/\/arxiv.org\/abs\/1707.03429 arXiv: 1707.03429.  Andrew W. Cross Lev S. Bishop John A. Smolin and Jay M. Gambetta. 2017. Open Quantum Assembly Language. arXiv:1707.03429 {quant-ph} (July 2017). http:\/\/arxiv.org\/abs\/1707.03429 arXiv: 1707.03429."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694357"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2014.12.001"},{"key":"e_1_3_2_1_9_1","unstructured":"Stephen Jordan. 2017. Quantum Algorithm Zoo. (2017).  Stephen Jordan. 2017. Quantum Algorithm Zoo. (2017)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.92.062315"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2015.2409842"},{"key":"e_1_3_2_1_12_1","unstructured":"Alexander J. McCaskey Eugene F. Dumitrescu Dmitry Liakh Mengsu Chen Wu-chun Feng and Travis S. Humble. 2017. Extreme-Scale Programming Model for Quantum Acceleration within High Performance Computing. arXiv:1710.01794 {quant-ph} (Oct. 2017). http:\/\/arxiv.org\/abs\/1710.01794 arXiv: 1710.01794.  Alexander J. McCaskey Eugene F. Dumitrescu Dmitry Liakh Mengsu Chen Wu-chun Feng and Travis S. Humble. 2017. Extreme-Scale Programming Model for Quantum Acceleration within High Performance Computing. arXiv:1710.01794 {quant-ph} (Oct. 2017). http:\/\/arxiv.org\/abs\/1710.01794 arXiv: 1710.01794."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.2478\/v10175-011-0039-5"},{"key":"e_1_3_2_1_14_1","unstructured":"Michael A. Nielsen and Isaac L. Chuang. 2000. Quantum Computation and Quantum Information. Cambridge University Press. 675 pages.   Michael A. Nielsen and Isaac L. Chuang. 2000. Quantum Computation and Quantum Information. Cambridge University Press. 675 pages."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009894"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1619152114"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-008-0072-2"},{"key":"e_1_3_2_1_18_1","first-page":"1","article-title":"Efficient Clifford+T approximation of single-qubit operators","volume":"15","author":"Selinger Peter","year":"2015","journal-title":"Quantum Information & Computation"},{"key":"e_1_3_2_1_19_1","unstructured":"Robert S. Smith Michael J. Curtis and William J. Zeng. 2016. A Practical Quantum Instruction Set Architecture. arXiv:1608.03355 {quant-ph} (Aug. 2016). http:\/\/arxiv.org\/abs\/1608.03355 arXiv: 1608.03355.  Robert S. Smith Michael J. Curtis and William J. Zeng. 2016. A Practical Quantum Instruction Set Architecture. arXiv:1608.03355 {quant-ph} (Aug. 2016). http:\/\/arxiv.org\/abs\/1608.03355 arXiv: 1608.03355."},{"key":"e_1_3_2_1_20_1","unstructured":"Damian S. Steiger Thomas Haener and Matthias Troyer. 2016. ProjectQ: An Open Source Software Framework for Quantum Computing. (2016). arXiv:1612.08091  Damian S. Steiger Thomas Haener and Matthias Troyer. 2016. ProjectQ: An Open Source Software Framework for Quantum Computing. (2016). arXiv:1612.08091"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Krysta M. Svore Matthew B. Hastings and Michael Freedman. 2013. Faster Phase Estimation. Quantum information and computation 14 3&4 (April 2013) 306--328. http:\/\/arxiv.org\/abs\/1304.0741   Krysta M. Svore Matthew B. Hastings and Michael Freedman. 2013. Faster Phase Estimation. Quantum information and computation 14 3&4 (April 2013) 306--328. http:\/\/arxiv.org\/abs\/1304.0741","DOI":"10.26421\/QIC14.3-4-7"},{"key":"e_1_3_2_1_22_1","unstructured":"Dave Wecker and Krysta M. Svore. 2014. LIQUi|>: A Software Design Architecture and Domain-Specific Language for Quantum Computing. (2014). arXiv:1402.4467 arXiv:1402.4467v1  Dave Wecker and Krysta M. Svore. 2014. LIQUi|>: A Software Design Architecture and Domain-Specific Language for Quantum Computing. (2014). arXiv:1402.4467 arXiv:1402.4467v1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.117.010503"}],"event":{"name":"RWDSL2018: Real World Domain Specific Languages Workshop 2018","location":"Vienna Austria","acronym":"RWDSL2018","sponsor":["EPSRC Engineering and Physical Sciences Research Council","Heriot-Watt University Heriot-Watt University"]},"container-title":["Proceedings of the Real World Domain Specific Languages Workshop 2018"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3183895.3183901","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3183895.3183901","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:29Z","timestamp":1750208909000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3183895.3183901"}},"subtitle":["Enabling Scalable Quantum Computing and Development with a High-level DSL"],"short-title":[],"issued":{"date-parts":[[2018,2,24]]},"references-count":23,"alternative-id":["10.1145\/3183895.3183901","10.1145\/3183895"],"URL":"https:\/\/doi.org\/10.1145\/3183895.3183901","relation":{},"subject":[],"published":{"date-parts":[[2018,2,24]]},"assertion":[{"value":"2018-02-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}