{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:38Z","timestamp":1750221038471,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,5]],"date-time":"2018-11-05T00:00:00Z","timestamp":1541376000000},"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,11,5]]},"DOI":"10.1145\/3240765.3267469","type":"proceedings-article","created":{"date-parts":[[2018,11,6]],"date-time":"2018-11-06T13:36:57Z","timestamp":1541511417000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Computer-aided design for quantum computation"],"prefix":"10.1145","author":[{"given":"Robert","family":"Wille","sequence":"first","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Austin","family":"Fowler","sequence":"additional","affiliation":[{"name":"Google Inc. Santa Barbara"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yehuda","family":"Naveh","sequence":"additional","affiliation":[{"name":"IBM Research - Haifa, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"IBM Q. https:\/\/www.research.ibm.com\/ibm-q\/. Accessed: 2018-08-08."},{"key":"e_1_3_2_1_2_1","unstructured":"QISKit Developer Challenge. https:\/\/qx-awards.mybluemix.net\/#qiskitDeveloperChallengeAward. Accessed: 2018-08-08."},{"key":"e_1_3_2_1_3_1","unstructured":"QISKIT SDK. https:\/\/qiskit.org\/. Accessed: 2018-08-08."},{"key":"e_1_3_2_1_4_1","volume-title":"Scaffold: Quantum programming language. Technical report","author":"Abhari A. J.","year":"2012","unstructured":"A. J. Abhari, A. Faruque, M. J. Dousti, L. Svec, O. Catu, A. Chakrabati, C.-F. Chiang, S. Vanderwilt, J. Black, and F. Chong. Scaffold: Quantum programming language. Technical report, 2012."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.6.021043"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1119\/1.1475328"},{"key":"e_1_3_2_1_7_1","volume-title":"Open quantum assembly language. arXiv preprint arXiv:1707.03429","author":"Cross A. W.","year":"2017","unstructured":"A. W. Cross, L. S. Bishop, J. A. Smolin, and J. M. Gambetta. Open quantum assembly language. arXiv preprint arXiv:1707.03429, 2017."},{"key":"e_1_3_2_1_8_1","volume-title":"A quantum approximate optimization algorithm. arXiv preprint arXiv:1411.4028","author":"Farhi E.","year":"2014","unstructured":"E. Farhi, J. Goldstone, and S. Gutmann. A quantum approximate optimization algorithm. arXiv preprint arXiv:1411.4028, 2014."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.91.020302"},{"key":"e_1_3_2_1_10_1","volume-title":"Leakage and paralysis in ancilla-assisted qubit measurement: Consequences for topological error correction in superconducting architectures. arXiv:1306.0925","author":"Ghosh J.","year":"2013","unstructured":"J. Ghosh, A. G. Fowler, J. M. Martinis, and M. R. Geller. Leakage and paralysis in ancilla-assisted qubit measurement: Consequences for topological error correction in superconducting architectures. arXiv:1306.0925, 2013."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.87.032332"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/2011383.2011393"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/14\/12\/123011"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature23879"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/3130379.3130487"},{"key":"e_1_3_2_1_17_1","volume-title":"Scalable and robust randomized benchmarking of quantum processes. Physical review letters, 106(18):180504","author":"Magesan E.","year":"2011","unstructured":"E. Magesan, J. M. Gambetta, and J. Emerson. Scalable and robust randomized benchmarking of quantum processes. Physical review letters, 106(18):180504, 2011."},{"key":"e_1_3_2_1_18_1","first-page":"721","volume-title":"Automation and Test in Europe","author":"Naveh Y.","year":"2018","unstructured":"Y. Naveh, E. Kashefi, J. R. Wootton, and K. Bertels. Theoretical and practical aspects of verification of quantum computers. In Design, Automation and Test in Europe, pages 721--730, 2018."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v28i3.2052"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/544199"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2014.6742938"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08494-7_16"},{"key":"e_1_3_2_1_23_1","volume-title":"Automation and Test in Europe","author":"Niemann P.","year":"2018","unstructured":"P. Niemann, R. Wille, and R. Drechsler. Improved synthesis of Clifford+T quantum functionality. Design, Automation and Test in Europe, 2018."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2459034"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aop.2014.06.013"},{"key":"e_1_3_2_1_26_1","volume-title":"Breaking the 49-qubit barrier in the simulation of quantum circuits. arXiv preprint arXiv:1710.05867","author":"Pednault E.","year":"2017","unstructured":"E. Pednault, J. A. Gunnels, G. Nannicini, L. Horesh, T. Magerlein, E. Solomonik, and R. Wisnieff. Breaking the 49-qubit barrier in the simulation of quantum circuits. arXiv preprint arXiv:1710.05867, 2017."},{"key":"e_1_3_2_1_27_1","volume-title":"arXiv preprint arXiv:1801.00862","author":"Preskill J.","year":"2018","unstructured":"J. Preskill. Quantum computing in the NISQ era and beyond. arXiv preprint arXiv:1801.00862, 2018."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11128-010-0201-2"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488785"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365700"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2014.2376112"},{"key":"e_1_3_2_1_32_1","volume-title":"Boson sampling on a photonic chip. Science, page 1231692","author":"Spring J. B.","year":"2012","unstructured":"J. B. Spring, B. J. Metcalf, P. C. Humphreys, W. S. Kolthammer, X.-M. Jin, M. Barbieri, A. Datta, N. Thomas-Peter, N. K. Langford, D. Kundys, et al. Boson sampling on a photonic chip. Science, page 1231692, 2012."},{"key":"e_1_3_2_1_33_1","volume-title":"ProjectQ: an open source software framework for quantum computing. arXiv preprint arXiv:1612.08091","author":"Steiger D. S.","year":"2018","unstructured":"D. S. Steiger, T. H\u00e4ner, and M. Troyer. ProjectQ: an open source software framework for quantum computing. arXiv preprint arXiv:1612.08091, 2018."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:QINP.0000022725.70000.4a"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1093\/ietfec\/e91-a.2.584"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2009.19"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2016.7428026"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2356463"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2846658"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2834427"},{"issue":"5","key":"e_1_3_2_1_41_1","first-page":"996","article-title":"One-pass design of reversible circuits: Combining embedding and synthesis for reversible logic","volume":"37","author":"Zulehner A.","year":"2018","unstructured":"A. Zulehner and R. Wille. One-pass design of reversible circuits: Combining embedding and synthesis for reversible logic. IEEE Trans. on CAD, 37(5):996--1008, 2018.","journal-title":"IEEE Trans. on CAD"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3287624.3287704"}],"event":{"name":"ICCAD '18: IEEE\/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN","sponsor":["IEEE-EDS Electronic Devices Society","IEEE CAS","IEEE CEDA"],"location":"San Diego California","acronym":"ICCAD '18"},"container-title":["Proceedings of the International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3240765.3267469","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3240765.3267469","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:44Z","timestamp":1750207424000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3240765.3267469"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,5]]},"references-count":42,"alternative-id":["10.1145\/3240765.3267469","10.1145\/3240765"],"URL":"https:\/\/doi.org\/10.1145\/3240765.3267469","relation":{},"subject":[],"published":{"date-parts":[[2018,11,5]]},"assertion":[{"value":"2018-11-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}