{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T07:26:05Z","timestamp":1767597965925,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,30]],"date-time":"2022-10-30T00:00:00Z","timestamp":1667088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Fundamental Research Funds for the Central Universities","award":["No. WK2060000018"],"award-info":[{"award-number":["No. WK2060000018"]}]},{"name":"Innovation Program for Quantum Science and Technology","award":["No.2021ZD0302300"],"award-info":[{"award-number":["No.2021ZD0302300"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,30]]},"DOI":"10.1145\/3508352.3549405","type":"proceedings-article","created":{"date-parts":[[2022,12,22]],"date-time":"2022-12-22T12:10:54Z","timestamp":1671711054000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["QCIR"],"prefix":"10.1145","author":[{"given":"Mingyu","family":"Chen","sequence":"first","affiliation":[{"name":"University of Science and Technology of China, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongshang","family":"Li","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhen","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Li","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangyang","family":"Li","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China, Hefei, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,12,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Originqc. https:\/\/www.originqc.com.cn\/."},{"key":"e_1_3_2_1_2_1","volume-title":"https:\/\/www.research.ibm.com\/ibm-q\/, cited","author":"Ibm","year":"2019","unstructured":"Ibm q. https:\/\/www.research.ibm.com\/ibm-q\/, cited in Jan. 2019."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2013.26"},{"key":"e_1_3_2_1_4_1","first-page":"1","volume-title":"11th CF","author":"Abhari Ali Javadi","year":"2014","unstructured":"Ali Javadi Abhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, and Margaret Martonosi. ScaffCC: A framework for compilation and analysis of quantum computing programs. In 11th CF, pages 1:1--1:10, New York, NY, USA, 2014. ACM."},{"key":"e_1_3_2_1_5_1","volume-title":"November","author":"Ali JavadiAbhari","year":"2019","unstructured":"JavadiAbhari Ali, Nation Paul, and Gambetta Jay. Qiskit - write once, target multiple architectures. IBM Research Blog, https:\/\/www.ibm.com\/blogs\/research\/2019\/11\/qiskit-for-multiple-architectures\/, November 2019."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-019-1666-5"},{"key":"e_1_3_2_1_7_1","volume-title":"Accessed","author":"Braket Amazon","year":"2022","unstructured":"Amazon Braket. Azure Quantum - Quantum Service: Microsoft Azure. https:\/\/azure.microsoft.com\/en-us\/services\/quantum\/, Accessed May. 2022."},{"key":"e_1_3_2_1_8_1","volume-title":"Juan Ignacio Cirac, and Peter Zoller. Quantum computing with neutral atoms. Journal of modern optics, 47(2--3):415--451","author":"Briegel H-J","year":"2000","unstructured":"H-J Briegel, Tommaso Calarco, Dieter Jaksch, Juan Ignacio Cirac, and Peter Zoller. Quantum computing with neutral atoms. Journal of modern optics, 47(2--3):415--451, 2000."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/SFCS.1993.366852","volume-title":"Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science","author":"Yao A. Chi-Chih","year":"1993","unstructured":"A. Chi-Chih Yao. Quantum circuit complexity. In Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science, pages 352--361, 1993."},{"key":"e_1_3_2_1_10_1","volume-title":"Carlo Sansone, and Mario Vento. A (sub) graph isomorphism algorithm for matching large graphs","author":"Cordella Luigi P","year":"2004","unstructured":"Luigi P Cordella, Pasquale Foggia, Carlo Sansone, and Mario Vento. A (sub) graph isomorphism algorithm for matching large graphs. IEEE transactions on pattern analysis and machine intelligence, 26(10):1367--1372, 2004."},{"key":"e_1_3_2_1_11_1","volume-title":"Open quantum assembly language. arXiv:1707.03429","author":"Cross Andrew W.","year":"2017","unstructured":"Andrew W. Cross, Lev S. Bishop, John A. Smolin, and Jay M. Gambetta. Open quantum assembly language. arXiv:1707.03429, 2017."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature18648"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218561"},{"key":"e_1_3_2_1_14_1","volume-title":"Performing quantum computing experiments in the cloud. 94","author":"Devitt Simon J.","year":"2016","unstructured":"Simon J. Devitt. Performing quantum computing experiments in the cloud. 94, 2016."},{"key":"e_1_3_2_1_15_1","volume-title":"https:\/\/qiskit.org\/, visited","author":"Kit IBM.","year":"2019","unstructured":"IBM. QISKit. https:\/\/qiskit.org\/, visited in Jan 2019."},{"key":"e_1_3_2_1_16_1","volume-title":"Exact and practical pattern matching for quantum circuit optimization. ACM Transactions on Quantum Computing, 3(1), jan","author":"Iten Raban","year":"2022","unstructured":"Raban Iten, Romain Moyard, Tony Metger, David Sutter, and Stefan Woerner. Exact and practical pattern matching for quantum circuit optimization. ACM Transactions on Quantum Computing, 3(1), jan 2022."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/513918.514026"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1063\/5.0029735"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304023"},{"key":"e_1_3_2_1_20_1","volume-title":"Quantum circuit identities. arXiv preprint quant-ph\/0307111","author":"Lomont Chris","year":"2003","unstructured":"Chris Lomont. Quantum circuit identities. arXiv preprint quant-ph\/0307111, 2003."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.93.022311"},{"key":"e_1_3_2_1_22_1","volume-title":"Xor-and-inverter graphs for quantum compilation. npj Quantum Information, 8(1):1--11","author":"Meuli Giulia","year":"2022","unstructured":"Giulia Meuli, Mathias Soeken, and Giovanni De Micheli. Xor-and-inverter graphs for quantum compilation. npj Quantum Information, 8(1):1--11, 2022."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775915"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304075"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307650.3322273"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378477"},{"key":"e_1_3_2_1_27_1","volume-title":"Automated optimization of large quantum circuits with continuous parameters. npj Quantum Information, 4(1):23","author":"Nam Yun Seong","year":"2018","unstructured":"Yun Seong Nam, Neil J Ross, Yuan Su, Andrew M Childs, and Dmitri Maslov. Automated optimization of large quantum circuits with continuous parameters. npj Quantum Information, 4(1):23, 2018."},{"key":"e_1_3_2_1_28_1","first-page":"1","article-title":"Enabling pulse-level programming, compilation, and execution in XACC","volume":"1","author":"Nguyen T.","year":"2021","unstructured":"T. Nguyen and A. Mccaskey. Enabling pulse-level programming, compilation, and execution in XACC. IEEE Transactions on Computers, pages 1:1--14, 2021.","journal-title":"IEEE Transactions on Computers, pages"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms5213"},{"key":"e_1_3_2_1_30_1","volume-title":"An algorithm for quantum template matching. ACM Journal on Emerging Technologies in Computing Systems (JETC), 11(3):1--20","author":"Rahman Md Mazder","year":"2014","unstructured":"Md Mazder Rahman, Gerhard W Dueck, and Joseph D Horton. An algorithm for quantum template matching. ACM Journal on Emerging Technologies in Computing Systems (JETC), 11(3):1--20, 2014."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab8e92"},{"key":"e_1_3_2_1_32_1","volume-title":"IBM Q Eagle Quantum Processor. https:\/\/research.ibm.com\/blog\/127-qubit-quantum-processor-eagle","author":"IBM Q","year":"2021","unstructured":"IBM Q team. IBM Q Eagle Quantum Processor. https:\/\/research.ibm.com\/blog\/127-qubit-quantum-processor-eagle, 2021."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1080\/00268976.2011.552441"}],"event":{"name":"ICCAD '22: IEEE\/ACM International Conference on Computer-Aided Design","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE-EDS Electronic Devices Society","IEEE CAS","IEEE CEDA"],"location":"San Diego California","acronym":"ICCAD '22"},"container-title":["Proceedings of the 41st IEEE\/ACM International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3508352.3549405","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3508352.3549405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:57Z","timestamp":1750186977000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3508352.3549405"}},"subtitle":["Pattern Matching Based Universal Quantum Circuit Rewriting Framework"],"short-title":[],"issued":{"date-parts":[[2022,10,30]]},"references-count":33,"alternative-id":["10.1145\/3508352.3549405","10.1145\/3508352"],"URL":"https:\/\/doi.org\/10.1145\/3508352.3549405","relation":{},"subject":[],"published":{"date-parts":[[2022,10,30]]},"assertion":[{"value":"2022-12-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}