{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:47:35Z","timestamp":1773193655667,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":66,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Amazon","award":["Amazon Research Award"],"award-info":[{"award-number":["Amazon Research Award"]}]},{"DOI":"10.13039\/100000015","name":"DOE U.S. Department of Energy","doi-asserted-by":"publisher","award":["DE-SC0020289, DESC0020331"],"award-info":[{"award-number":["DE-SC0020289, DESC0020331"]}],"id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CCF-1918400, CNS-2052947, CCF-1730449, Phy-1818914; OMA-2016136"],"award-info":[{"award-number":["CCF-1918400, CNS-2052947, CCF-1730449, Phy-1818914; OMA-2016136"]}],"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":[[2021,6,19]]},"DOI":"10.1145\/3453483.3454029","type":"proceedings-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T13:51:32Z","timestamp":1624024292000},"page":"48-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Gleipnir: toward practical error analysis for Quantum programs"],"prefix":"10.1145","author":[{"given":"Runzhou","family":"Tao","sequence":"first","affiliation":[{"name":"Columbia University, USA"}]},{"given":"Yunong","family":"Shi","sequence":"additional","affiliation":[{"name":"University of Chicago, USA"}]},{"given":"Jianan","family":"Yao","sequence":"additional","affiliation":[{"name":"Columbia University, USA"}]},{"given":"John","family":"Hui","sequence":"additional","affiliation":[{"name":"Columbia University, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9282-4645","authenticated-orcid":false,"given":"Frederic T.","family":"Chong","sequence":"additional","affiliation":[{"name":"University of Chicago, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6812-6182","authenticated-orcid":false,"given":"Ronghui","family":"Gu","sequence":"additional","affiliation":[{"name":"Columbia University, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/276698.276708"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.2562110"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927104"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-019-1666-5"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD45719.2019.8942132"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2019-09-02-181"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature23460"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0024-3795(75)90075-0"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1088\/0034-4885\/76\/7\/076001"},{"key":"e_1_3_2_1_10_1","unstructured":"Stavros Efthymiou Jack Hidary and Stefan Leichenauer. 2019. TensorNetwork for Machine Learning. arxiv:1906.06329.  Stavros Efthymiou Jack Hidary and Stefan Leichenauer. 2019. TensorNetwork for Machine Learning. arxiv:1906.06329."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevB.79.144108"},{"key":"e_1_3_2_1_12_1","unstructured":"Edward Farhi Jeffrey Goldstone and Sam Gutmann. 2014. A Quantum Approximate Optimization Algorithm. arxiv:1411.4028.  Edward Farhi Jeffrey Goldstone and Sam Gutmann. 2014. A Quantum Approximate Optimization Algorithm. arxiv:1411.4028."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.86.032324"},{"key":"e_1_3_2_1_14_1","volume-title":"Introduction to Semidefinite Programming (SDP)","author":"Freund Robert M.","unstructured":"Robert M. Freund . 2004. Introduction to Semidefinite Programming (SDP) . Massachusetts Institute of Technology , 8\u201311. Robert M. Freund. 2004. Introduction to Semidefinite Programming (SDP). Massachusetts Institute of Technology, 8\u201311."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.101.180503"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/068\/2762145"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-0849-4_10"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.94.042338"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.87.030302"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1080\/00018730600766432"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434318"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.59.1829"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.118.090501"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290344"},{"key":"e_1_3_2_1_25_1","unstructured":"2016. IBM-Q Experience. https:\/\/www.research.ibm.com\/ibm-q\/  2016. IBM-Q Experience. https:\/\/www.research.ibm.com\/ibm-q\/"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2014.12.001"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.101.250602"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature03350"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.87.012324"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.469508"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.109.230503"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Frank Mueller Greg Byrd and Patrick Dreher. 2020. Programming Quantum Computers: A Primer with IBM Q and D-Wave Exercises. https:\/\/sites.google.com\/ncsu.edu\/qc-tutorial  Frank Mueller Greg Byrd and Patrick Dreher. 2020. Programming Quantum Computers: A Primer with IBM Q and D-Wave Exercises. https:\/\/sites.google.com\/ncsu.edu\/qc-tutorial","DOI":"10.1145\/3293883.3302578"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304075"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511976667"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2020-01-13-223"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2049706.2049708"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.26421\/qic7.5-6-1"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.74.012305"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/2011706.2011707"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1142\/9789812385253_0008"},{"key":"e_1_3_2_1_41_1","first-page":"10","article-title":"Lecture Notes for Physics 229: Quantum Information and Computation","volume":"16","author":"Preskill John","year":"1998","unstructured":"John Preskill . 1998 . Lecture Notes for Physics 229: Quantum Information and Computation . California Institute of Technology , 16 (1998), 10 . John Preskill. 1998. Lecture Notes for Physics 229: Quantum Information and Computation. California Institute of Technology, 16 (1998), 10.","journal-title":"California Institute of Technology"},{"key":"e_1_3_2_1_42_1","series-title":"Series A: Mathematical, Physical and Engineering Sciences, 454","volume-title":"Reliable Quantum Computers. Proceedings of the Royal Society of London","author":"Preskill John","year":"1969","unstructured":"John Preskill . 1998. Reliable Quantum Computers. Proceedings of the Royal Society of London . Series A: Mathematical, Physical and Engineering Sciences, 454 , 1969 (1998), 385\u2013410. John Preskill. 1998. Reliable Quantum Computers. Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences, 454, 1969 (1998), 385\u2013410."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.abb9811"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.101.012350"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.77.259"},{"key":"e_1_3_2_1_47_1","unstructured":"Yunong Shi Runzhou Tao Xupeng Li Ali Javadi-Abhari Andrew W. Cross Frederic T. Chong and Ronghui Gu. 2019. CertiQ: A Mostly-Automated Verification of a Realistic Quantum Compiler. arxiv:1908.08963.  Yunong Shi Runzhou Tao Xupeng Li Ali Javadi-Abhari Andrew W. Cross Frederic T. Chong and Ronghui Gu. 2019. CertiQ: A Mostly-Automated Verification of a Realistic Quantum Compiler. arxiv:1908.08963."},{"key":"e_1_3_2_1_48_1","first-page":"4799","article-title":"Supervised Learning with Tensor Networks","volume":"29","author":"Stoudenmire Edwin","year":"2016","unstructured":"Edwin Stoudenmire and David J. Schwab . 2016 . Supervised Learning with Tensor Networks . In Advances in Neural Information Processing Systems. 29 , 4799 \u2013 4807 . Edwin Stoudenmire and David J. Schwab. 2016. Supervised Learning with Tensor Networks. In Advances in Neural Information Processing Systems. 29, 4799\u20134807.","journal-title":"Advances in Neural Information Processing Systems."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.89.041003"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2013.6657074"},{"key":"e_1_3_2_1_51_1","volume-title":"Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version). arxiv:2104.06349.","author":"Tao Runzhou","year":"2021","unstructured":"Runzhou Tao , Yunong Shi , Jianan Yao , John Hui , Frederic T. Chong , and Ronghui Gu . 2021 . Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version). arxiv:2104.06349. Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, and Ronghui Gu. 2021. Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version). arxiv:2104.06349."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/15\/3\/039502"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/16\/1\/013009"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/15\/1\/013037"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1080\/14789940801912366"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.91.147902"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.101.110501"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.94.052325"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/18\/7\/079501"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/ab451d"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.4086\/cjtcs.2013.008"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.116.120404"},{"key":"e_1_3_2_1_63_1","volume-title":"Cory","author":"Wood Christopher J.","year":"2011","unstructured":"Christopher J. Wood , Jacob D. Biamonte , and David G . Cory . 2011 . Tensor Networks and Graphical Calculus for Open Quantum Systems . arxiv:1111.6950. Christopher J. Wood, Jacob D. Biamonte, and David G. Cory. 2011. Tensor Networks and Graphical Calculus for Open Quantum Systems. arxiv:1111.6950."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1016\/c2014-0-02660-3"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093333.3009840"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314584"}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"Virtual Canada","acronym":"PLDI '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454029","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3453483.3454029","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454029","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454029","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:03:07Z","timestamp":1750197787000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454029"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":66,"alternative-id":["10.1145\/3453483.3454029","10.1145\/3453483"],"URL":"https:\/\/doi.org\/10.1145\/3453483.3454029","relation":{},"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"2021-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}