{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,5]],"date-time":"2026-04-05T10:20:34Z","timestamp":1775384434264,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,9]],"date-time":"2020-03-09T00:00:00Z","timestamp":1583712000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1717550,1908406"],"award-info":[{"award-number":["1717550,1908406"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,3,9]]},"DOI":"10.1145\/3373376.3378488","type":"proceedings-article","created":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T22:37:01Z","timestamp":1584139021000},"page":"1017-1030","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":65,"title":["Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation"],"prefix":"10.1145","author":[{"given":"Ji","family":"Liu","sequence":"first","affiliation":[{"name":"North Carolina State University, Raleigh, NC, USA"}]},{"given":"Gregory T.","family":"Byrd","sequence":"additional","affiliation":[{"name":"North Carolina State University, Raleigh, NC, USA"}]},{"given":"Huiyang","family":"Zhou","sequence":"additional","affiliation":[{"name":"North Carolina State University, Raleigh, NC, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,3,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2014.34"},{"key":"#cr-split#-e_1_3_2_1_2_1.1","unstructured":"Gadi Aleksandrowicz Thomas Alexander Panagiotis Barkoutsos Luciano Bello Yael Ben-Haim David Bucher Francisco Jose Cabrera-Hern\u00e1ndez Jorge Carballo-Franquis Adrian Chen Chun-Fu Chen Jerry M. Chow Antonio D. C\u00f3rcoles-Gonzales Abigail J. Cross Andrew Cross Juan Cruz-Benito Chris Culver Salvador De La Puente Gonz\u00e1lez Enrique De La Torre Delton Ding Eugene Dumitrescu Ivan Duran Pieter Eendebak Mark Everitt Ismael Faro Sertage Albert Frisch Andreas Fuhrer Jay Gambetta Borja Godoy Gago Juan Gomez-Mosquera Donny Greenberg Ikko Hamamura Vojtech Havlicek Joe Hellmers \u0141ukasz Herok Hiroshi Horii Shaohan Hu Takashi Imamichi Toshinari Itoko Ali Javadi-Abhari Naoki Kanazawa Anton Karazeev Kevin Krsulich Peng Liu Yang Luh Yunho Maeng Manoel Marques Francisco Jose Mart'in-Fern\u00e1ndez Douglas T. McClure David McKay Srujan Meesala Antonio Mezzacapo Nikolaj Moll Diego Moreda Rodr'iguez Giacomo Nannicini Paul Nation Pauline Ollitrault Lee James O'Riordan Hanhee Paik Jes\u00fas P\u00e9rez Anna Phan Marco Pistoia Viktor Prutyanov Max Reuter Julia Rice Abd\u00f3n Rodr'iguez Davila Raymond Harry Putra Rudy Mingi Ryu Ninad Sathaye Chris Schnabel Eddie Schoute Kanav Setia Yunong Shi Adenilton Silva Yukio Siraichi Seyon Sivarajah John A. Smolin Mathias Soeken Hitomi Takahashi Ivano Tavernelli Charles Taylor Pete Taylour Kenso Trabing Matthew Treinish Wes Turner Desiree Vogt-Lee Christophe Vuillot Jonathan A. Wildstrom Jessica Wilson Erick Winston Christopher Wood Stephen Wood Stefan W\u00f6rner Ismail Yunus Akhalwaya and Christa Zoufal. 2019. Qiskit: An Open-source Framework for Quantum Computing. https:\/\/doi.org\/10.5281\/zenodo.2562110 10.5281\/zenodo.2562110"},{"key":"#cr-split#-e_1_3_2_1_2_1.2","unstructured":"Gadi Aleksandrowicz Thomas Alexander Panagiotis Barkoutsos Luciano Bello Yael Ben-Haim David Bucher Francisco Jose Cabrera-Hern\u00e1ndez Jorge Carballo-Franquis Adrian Chen Chun-Fu Chen Jerry M. Chow Antonio D. C\u00f3rcoles-Gonzales Abigail J. Cross Andrew Cross Juan Cruz-Benito Chris Culver Salvador De La Puente Gonz\u00e1lez Enrique De La Torre Delton Ding Eugene Dumitrescu Ivan Duran Pieter Eendebak Mark Everitt Ismael Faro Sertage Albert Frisch Andreas Fuhrer Jay Gambetta Borja Godoy Gago Juan Gomez-Mosquera Donny Greenberg Ikko Hamamura Vojtech Havlicek Joe Hellmers \u0141ukasz Herok Hiroshi Horii Shaohan Hu Takashi Imamichi Toshinari Itoko Ali Javadi-Abhari Naoki Kanazawa Anton Karazeev Kevin Krsulich Peng Liu Yang Luh Yunho Maeng Manoel Marques Francisco Jose Mart'in-Fern\u00e1ndez Douglas T. McClure David McKay Srujan Meesala Antonio Mezzacapo Nikolaj Moll Diego Moreda Rodr'iguez Giacomo Nannicini Paul Nation Pauline Ollitrault Lee James O'Riordan Hanhee Paik Jes\u00fas P\u00e9rez Anna Phan Marco Pistoia Viktor Prutyanov Max Reuter Julia Rice Abd\u00f3n Rodr'iguez Davila Raymond Harry Putra Rudy Mingi Ryu Ninad Sathaye Chris Schnabel Eddie Schoute Kanav Setia Yunong Shi Adenilton Silva Yukio Siraichi Seyon Sivarajah John A. Smolin Mathias Soeken Hitomi Takahashi Ivano Tavernelli Charles Taylor Pete Taylour Kenso Trabing Matthew Treinish Wes Turner Desiree Vogt-Lee Christophe Vuillot Jonathan A. Wildstrom Jessica Wilson Erick Winston Christopher Wood Stephen Wood Stefan W\u00f6rner Ismail Yunus Akhalwaya and Christa Zoufal. 2019. Qiskit: An Open-source Framework for Quantum Computing. https:\/\/doi.org\/10.5281\/zenodo.2562110"},{"key":"e_1_3_2_1_3_1","unstructured":"Anindita Banerjee Chitra Shukla and Anirban Pathak. 2015. Maximal entanglement concentration for a set of (n  Anindita Banerjee Chitra Shukla and Anirban Pathak. 2015. Maximal entanglement concentration for a set of (n"},{"key":"e_1_3_2_1_4_1","volume-title":"Quantum Information Processing","year":"2015","unstructured":"1)-qubit states. Quantum Information Processing , Vol. 14 , 12 ( 2015 ), 4523--4536. 1)-qubit states. Quantum Information Processing , Vol. 14, 12 (2015), 4523--4536."},{"key":"e_1_3_2_1_5_1","volume-title":"Elementary gates for quantum computation. Physical review A","author":"Barenco Adriano","year":"1995","unstructured":"Adriano Barenco , Charles H Bennett , Richard Cleve , David P DiVincenzo , Norman Margolus , Peter Shor , Tycho Sleator , John A Smolin , and Harald Weinfurter . 1995. Elementary gates for quantum computation. Physical review A , Vol. 52 , 5 ( 1995 ), 3457. Adriano Barenco, Charles H Bennett, Richard Cleve, David P DiVincenzo, Norman Margolus, Peter Shor, Tycho Sleator, John A Smolin, and Harald Weinfurter. 1995. Elementary gates for quantum computation. Physical review A , Vol. 52, 5 (1995), 3457."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11128-019-2229-2"},{"key":"e_1_3_2_1_7_1","series-title":"SIAM Journal on computing","volume-title":"Quantum complexity theory","author":"Bernstein Ethan","year":"1997","unstructured":"Ethan Bernstein and Umesh Vazirani . 1997. Quantum complexity theory . SIAM Journal on computing , Vol. 26 , 5 ( 1997 ), 1411--1473. Ethan Bernstein and Umesh Vazirani. 1997. Quantum complexity theory. SIAM Journal on computing , Vol. 26, 5 (1997), 1411--1473."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0375-9601(99)00099-7"},{"key":"e_1_3_2_1_9_1","series-title":"Series A: Mathematical, Physical and Engineering Sciences","volume-title":"Quantum algorithms revisited. Proceedings of the Royal Society of London","author":"Cleve Richard","year":"1969","unstructured":"Richard Cleve , Artur Ekert , Chiara Macchiavello , and Michele Mosca . 1998. Quantum algorithms revisited. Proceedings of the Royal Society of London . Series A: Mathematical, Physical and Engineering Sciences , Vol. 454 , 1969 (1998), 339--354. Richard Cleve, Artur Ekert, Chiara Macchiavello, and Michele Mosca. 1998. Quantum algorithms revisited. Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences , Vol. 454, 1969 (1998), 339--354."},{"key":"e_1_3_2_1_10_1","volume-title":"Demonstration of a quantum error detection code using a square lattice of four superconducting qubits. Nature communications","author":"C\u00f3rcoles Antonio D","year":"2015","unstructured":"Antonio D C\u00f3rcoles , Easwar Magesan , Srikanth J Srinivasan , Andrew W Cross , Matthias Steffen , Jay M Gambetta , and Jerry M Chow . 2015. Demonstration of a quantum error detection code using a square lattice of four superconducting qubits. Nature communications , Vol. 6 ( 2015 ), 6979. Antonio D C\u00f3rcoles, Easwar Magesan, Srikanth J Srinivasan, Andrew W Cross, Matthias Steffen, Jay M Gambetta, and Jerry M Chow. 2015. Demonstration of a quantum error detection code using a square lattice of four superconducting qubits. Nature communications , Vol. 6 (2015), 6979."},{"key":"e_1_3_2_1_11_1","volume-title":"https:\/\/quantum-computing.ibm.com\/. [Online","author":"IBM Corporation","year":"2019","unstructured":"IBM Corporation . 2019. IBM Q Experience . https:\/\/quantum-computing.ibm.com\/. [Online ; accessed 14--8-- 2019 ]. IBM Corporation. 2019. IBM Q Experience . https:\/\/quantum-computing.ibm.com\/. [Online; accessed 14--8--2019]."},{"key":"e_1_3_2_1_12_1","volume-title":"Validating quantum computers using randomized model circuits. arXiv preprint arXiv:1811.12926","author":"Cross Andrew W","year":"2018","unstructured":"Andrew W Cross , Lev S Bishop , Sarah Sheldon , Paul D Nation , and Jay M Gambetta . 2018. Validating quantum computers using randomized model circuits. arXiv preprint arXiv:1811.12926 ( 2018 ). Andrew W Cross, Lev S Bishop, Sarah Sheldon, Paul D Nation, and Jay M Gambetta. 2018. Validating quantum computers using randomized model circuits. arXiv preprint arXiv:1811.12926 (2018)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/068\/2762145"},{"key":"e_1_3_2_1_14_1","volume-title":"Deterministic Bell State Discrimination. arXiv preprint quant-ph\/0504183","author":"Gupta Manu","year":"2005","unstructured":"Manu Gupta and Prasanta K Panigrahi . 2005. Deterministic Bell State Discrimination. arXiv preprint quant-ph\/0504183 ( 2005 ). Manu Gupta and Prasanta K Panigrahi. 2005. Deterministic Bell State Discrimination. arXiv preprint quant-ph\/0504183 (2005)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0219749907003092"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2432622.2432625"},{"key":"e_1_3_2_1_17_1","volume-title":"QDB: from quantum algorithms towards correct quantum programs. arXiv preprint arXiv:1811.05447","author":"Huang Yipeng","year":"2018","unstructured":"Yipeng Huang and Margaret Martonosi . 2018. QDB: from quantum algorithms towards correct quantum programs. arXiv preprint arXiv:1811.05447 ( 2018 ). Yipeng Huang and Margaret Martonosi. 2018. QDB: from quantum algorithms towards correct quantum programs. arXiv preprint arXiv:1811.05447 (2018)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307650.3322213"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1209\/0295-5075\/87\/60008"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.77.012307"},{"key":"e_1_3_2_1_21_1","volume-title":"Quantum error correction","author":"Lidar Daniel A","unstructured":"Daniel A Lidar and Todd A Brun . 2013. Quantum error correction . Cambridge university press . Daniel A Lidar and Todd A Brun. 2013. Quantum error correction .Cambridge university press."},{"key":"e_1_3_2_1_22_1","volume-title":"AIP Conference Proceedings","volume":"1384","author":"Manu VS","year":"2011","unstructured":"VS Manu and Anil Kumar . 2011 . Non-Destructive Discrimination of arbitrary set of orthogonal quantum states by NMR using Quantum Phase Estimation . In AIP Conference Proceedings , Vol. 1384 . AIP, 229--240. VS Manu and Anil Kumar. 2011. Non-Destructive Discrimination of arbitrary set of orthogonal quantum states by NMR using Quantum Phase Estimation. In AIP Conference Proceedings , Vol. 1384. AIP, 229--240."},{"key":"e_1_3_2_1_23_1","volume-title":"Experimental Challenges of Implementing Quantum Phase Estimation Algorithms on IBM Quantum Computer. arXiv preprint arXiv:1903.07605","author":"Mohammadbagherpoor Hamed","year":"2019","unstructured":"Hamed Mohammadbagherpoor , Young-Hyun Oh , Anand Singh , Xianqing Yu , and Andy J Rindos . 2019. Experimental Challenges of Implementing Quantum Phase Estimation Algorithms on IBM Quantum Computer. arXiv preprint arXiv:1903.07605 ( 2019 ). Hamed Mohammadbagherpoor, Young-Hyun Oh, Anand Singh, Xianqing Yu, and Andy J Rindos. 2019. Experimental Challenges of Implementing Quantum Phase Estimation Algorithms on IBM Quantum Computer. arXiv preprint arXiv:1903.07605 (2019)."},{"key":"e_1_3_2_1_24_1","volume-title":"A survey of quantum property testing. arXiv preprint arXiv:1310.2035","author":"Montanaro Ashley","year":"2013","unstructured":"Ashley Montanaro and Ronald de Wolf . 2013. A survey of quantum property testing. arXiv preprint arXiv:1310.2035 ( 2013 ). Ashley Montanaro and Ronald de Wolf. 2013. A survey of quantum property testing. arXiv preprint arXiv:1310.2035 (2013)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Michael A Nielsen and Isaac Chuang. 2002. Quantum computation and quantum information.  Michael A Nielsen and Isaac Chuang. 2002. Quantum computation and quantum information.","DOI":"10.1119\/1.1463744"},{"key":"e_1_3_2_1_26_1","volume-title":"Quantum Computation and Quantum Information: Introduction and overview","author":"Nielsen Michael A","unstructured":"Michael A Nielsen and Isaac L Chuang . 2010. Quantum Computation and Quantum Information: Introduction and overview ; 2. Introduction t quantum mechanics; 3. Introduction to computer science; Part II. Quantum Computation: 4. Quantum circuits; 5. The quantum Fourier transform and its application; 6. Quantum search algorithms; 7. Quantum computers: physical realization; Part III. Quantum Information: 8. Quantum noise and quantum operations; 9. Distance measures for quantum information; 10. Quantum error-correction; 11. Entropy and information; 12. Quantum information theory; Appendices; References; Index .Cambridge university press. Michael A Nielsen and Isaac L Chuang. 2010. Quantum Computation and Quantum Information: Introduction and overview; 2. Introduction t quantum mechanics; 3. Introduction to computer science; Part II. Quantum Computation: 4. Quantum circuits; 5. The quantum Fourier transform and its application; 6. Quantum search algorithms; 7. Quantum computers: physical realization; Part III. Quantum Information: 8. Quantum noise and quantum operations; 9. Distance measures for quantum information; 10. Quantum error-correction; 11. Entropy and information; 12. Quantum information theory; Appendices; References; Index .Cambridge university press."},{"key":"e_1_3_2_1_27_1","volume-title":"Extracting Success from IBM's 20-Qubit Machines Using Error-Aware Compilation. arXiv preprint arXiv:1903.10963","author":"Nishio Shin","year":"2019","unstructured":"Shin Nishio , Yulu Pan , Takahiko Satoh , Hideharu Amano , and Rodney Van Meter . 2019. Extracting Success from IBM's 20-Qubit Machines Using Error-Aware Compilation. arXiv preprint arXiv:1903.10963 ( 2019 ). Shin Nishio, Yulu Pan, Takahiko Satoh, Hideharu Amano, and Rodney Van Meter. 2019. Extracting Success from IBM's 20-Qubit Machines Using Error-Aware Compilation. arXiv preprint arXiv:1903.10963 (2019)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11128-018-1976-9"},{"key":"e_1_3_2_1_29_1","volume-title":"Decoherence: and the quantum-to-classical transition","author":"Schlosshauer Maximilian A","unstructured":"Maximilian A Schlosshauer . 2007. Decoherence: and the quantum-to-classical transition . Springer Science & Business Media . Maximilian A Schlosshauer. 2007. Decoherence: and the quantum-to-classical transition .Springer Science & Business Media."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.physleta.2017.09.050"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.66.012303"}],"event":{"name":"ASPLOS '20: Architectural Support for Programming Languages and Operating Systems","location":"Lausanne Switzerland","acronym":"ASPLOS '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373376.3378488","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373376.3378488","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373376.3378488","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:32:59Z","timestamp":1750199579000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373376.3378488"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,9]]},"references-count":32,"alternative-id":["10.1145\/3373376.3378488","10.1145\/3373376"],"URL":"https:\/\/doi.org\/10.1145\/3373376.3378488","relation":{},"subject":[],"published":{"date-parts":[[2020,3,9]]},"assertion":[{"value":"2020-03-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}