{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:43:33Z","timestamp":1780994613840,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":26,"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":"National Key R&D Program of China","award":["2018YFA0306 701"],"award-info":[{"award-number":["2018YFA0306 701"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,30]]},"DOI":"10.1145\/3508352.3549479","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":12,"title":["Equivalence Checking of Dynamic Quantum Circuits"],"prefix":"10.1145","author":[{"given":"Xin","family":"Hong","sequence":"first","affiliation":[{"name":"University of Technology Sydney, Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuan","family":"Feng","sequence":"additional","affiliation":[{"name":"University of Technology Sydney, Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sanjiang","family":"Li","sequence":"additional","affiliation":[{"name":"University of Technology Sydney, Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mingsheng","family":"Ying","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,12,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Entanglement stabilization using ancilla-based parity detection and real-time feedback in superconducting circuits. npj Quantum Information 5, 1","author":"Andersen Christian Kraglund","year":"2019","unstructured":"Christian Kraglund Andersen, Ants Remm, Stefania Lazar, Sebastian Krinner, Johannes Heinsoo, Jean-Claude Besse, Mihai Gabureac, Andreas Wallraff, and Christopher Eichler. 2019. Entanglement stabilization using ancilla-based parity detection and real-time feedback in superconducting circuits. npj Quantum Information 5, 1 (2019), 1--7."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"MD Barrett J Chiaverini T Schaetz J Britton WM Itano JD Jost E Knill C Langer D Leibfried R Ozeri et al. 2004. Deterministic quantum teleportation of atomic qubits. Nature 429 6993 (2004) 737--739.","DOI":"10.1038\/nature02608"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.70.1895"},{"key":"e_1_3_2_1_4_1","volume-title":"Lectures on quantum tensor networks. arXiv:1912.10049","author":"Biamonte Jacob","year":"2019","unstructured":"Jacob Biamonte. 2019. Lectures on quantum tensor networks. arXiv:1912.10049 (2019)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2019-09-02-181"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC47756.2020.9045153"},{"key":"e_1_3_2_1_8_1","volume-title":"Towards Verification of Dynamic Quantum Circuits. arXiv:2106.01099","author":"Burgholzer Lukas","year":"2021","unstructured":"Lukas Burgholzer and Robert Wille. 2021. Towards Verification of Dynamic Quantum Circuits. arXiv:2106.01099 (2021). arXiv:2106.01099 [quant-ph]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.127.100501"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Andrew Cross Ali Javadi-Abhari Thomas Alexander Niel de Beaudrap Lev S Bishop Steven Heidel Colm A Ryan Prasahnt Sivarajah John Smolin Jay M Gambetta et al. 2021. OpenQASM 3: A broader and deeper quantum assembly language. ACM Transactions on Quantum Computing (2021).","DOI":"10.1145\/3505636"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1088\/0034-4885\/76\/7\/076001"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.76.3228"},{"key":"e_1_3_2_1_13_1","volume-title":"Approximate Equivalence Checking of Noisy Quantum Circuits. In 58th ACM\/IEEE Design Automation Conference, DAC","author":"Hong Xin","year":"2021","unstructured":"Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, and Sanjiang Li. 2021. Approximate Equivalence Checking of Noisy Quantum Circuits. In 58th ACM\/IEEE Design Automation Conference, DAC 2021, San Francisco, CA, USA. IEEE, 637--642."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3514355"},{"key":"e_1_3_2_1_15_1","volume-title":"To catch and reverse a quantum jump mid-flight. Nature 570, 7760","author":"Minev Zlatko K","year":"2019","unstructured":"Zlatko K Minev, Shantanu O Mundhada, Shyam Shankar, Philip Reinhold, Ricardo Guti\u00e9rrez-J\u00e1uregui, Robert J Schoelkopf, Mazyar Mirrahimi, Howard J Carmichael, and Michel H Devoret. 2019. To catch and reverse a quantum jump mid-flight. Nature 570, 7760 (2019), 200--204."},{"key":"e_1_3_2_1_16_1","volume-title":"Chuang","author":"Nielsen Michael A.","year":"2000","unstructured":"Michael A. Nielsen and Isaac L. Chuang. 2000. Quantum Computation and Quantum Information. Cambridge University Press."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Nissim Ofek Andrei Petrenko Reinier Heeres Philip Reinhold Zaki Leghtas Brian Vlastakis Yehan Liu Luigi Frunzio SM Girvin Liang Jiang et al. 2016. Extending the lifetime of a quantum bit with error correction in superconducting circuits. Nature 536 7617 (2016) 441--445.","DOI":"10.1038\/nature18949"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41567-020-0931-8"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Mark Riebe H H\u00e4ffner CF Roos W H\u00e4nsel J Benhelm GPT Lancaster TW K\u00f6rber C Becher F Schmidt-Kaler DFV James et al. 2004. Deterministic quantum teleportation with atoms. Nature 429 6993 (2004) 734--737.","DOI":"10.1038\/nature02570"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.109.240502"},{"key":"e_1_3_2_1_21_1","volume-title":"Deterministic entanglement of superconducting qubits by parity measurement and feedback. Nature 502, 7471","author":"Riste D","year":"2013","unstructured":"D Riste, M Dukalski, CA Watson, G De Lange, MJ Tiggelman, Ya M Blanter, Konrad W Lehnert, RN Schouten, and L DiCarlo. 2013. Deterministic entanglement of superconducting qubits by parity measurement and feedback. Nature 502, 7471 (2013), 350--354."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.5006525"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.112.070502"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1326073.1326089"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Mingsheng Ying. 2016. Foundations of Quantum Programming. Morgan Kaufmann.","DOI":"10.1016\/B978-0-12-802306-8.00004-5"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.03.016"}],"event":{"name":"ICCAD '22: IEEE\/ACM International Conference on Computer-Aided Design","location":"San Diego California","acronym":"ICCAD '22","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE-EDS Electronic Devices Society","IEEE CAS","IEEE CEDA"]},"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.3549479","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3508352.3549479","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:58Z","timestamp":1750186978000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3508352.3549479"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,30]]},"references-count":26,"alternative-id":["10.1145\/3508352.3549479","10.1145\/3508352"],"URL":"https:\/\/doi.org\/10.1145\/3508352.3549479","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"}}]}}