{"id":"https://openalex.org/W3177341713","doi":"https://doi.org/10.1145/3453483.3454029","title":"Gleipnir: toward practical error analysis for Quantum programs","display_name":"Gleipnir: toward practical error analysis for Quantum programs","publication_year":2021,"publication_date":"2021-06-18","ids":{"openalex":"https://openalex.org/W3177341713","doi":"https://doi.org/10.1145/3453483.3454029","mag":"3177341713"},"language":"en","primary_location":{"id":"doi:10.1145/3453483.3454029","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3453483.3454029","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3453483.3454029","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3453483.3454029","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016831506","display_name":"Runzhou Tao","orcid":"https://orcid.org/0000-0002-3733-5168"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Runzhou Tao","raw_affiliation_strings":["Columbia University, USA"],"affiliations":[{"raw_affiliation_string":"Columbia University, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079557370","display_name":"Yunong Shi","orcid":"https://orcid.org/0000-0002-0824-6107"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yunong Shi","raw_affiliation_strings":["University of Chicago, USA"],"affiliations":[{"raw_affiliation_string":"University of Chicago, USA","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038737061","display_name":"Jianan Yao","orcid":"https://orcid.org/0009-0008-4675-8980"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jianan Yao","raw_affiliation_strings":["Columbia University, USA"],"affiliations":[{"raw_affiliation_string":"Columbia University, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052349881","display_name":"John Hui","orcid":"https://orcid.org/0000-0002-6355-3767"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Hui","raw_affiliation_strings":["Columbia University, USA"],"affiliations":[{"raw_affiliation_string":"Columbia University, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083979678","display_name":"Frederic T. Chong","orcid":"https://orcid.org/0000-0001-9282-4645"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Frederic T. Chong","raw_affiliation_strings":["University of Chicago, USA"],"affiliations":[{"raw_affiliation_string":"University of Chicago, USA","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000031216","display_name":"Ronghui Gu","orcid":"https://orcid.org/0000-0002-6812-6182"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ronghui Gu","raw_affiliation_strings":["Columbia University, USA"],"affiliations":[{"raw_affiliation_string":"Columbia University, USA","institution_ids":["https://openalex.org/I78577930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5016831506"],"corresponding_institution_ids":["https://openalex.org/I78577930"],"apc_list":null,"apc_paid":null,"fwci":1.3999,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.84906478,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"48","last_page":"64"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11804","display_name":"Quantum many-body systems","score":0.9886999726295471,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quantum-error-correction","display_name":"Quantum error correction","score":0.6760601997375488},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.64715975522995},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.618426501750946},{"id":"https://openalex.org/keywords/quantum-convolutional-code","display_name":"Quantum convolutional code","score":0.578611433506012},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.5507920980453491},{"id":"https://openalex.org/keywords/qubit","display_name":"Qubit","score":0.5323952436447144},{"id":"https://openalex.org/keywords/quantum-phase-estimation-algorithm","display_name":"Quantum phase estimation algorithm","score":0.44918641448020935},{"id":"https://openalex.org/keywords/quantum-information","display_name":"Quantum information","score":0.44016867876052856},{"id":"https://openalex.org/keywords/quantum-circuit","display_name":"Quantum circuit","score":0.42559170722961426},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4140549898147583},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3912748694419861},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3817976713180542},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.14639467000961304}],"concepts":[{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.6760601997375488},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.64715975522995},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.618426501750946},{"id":"https://openalex.org/C69497775","wikidata":"https://www.wikidata.org/wiki/Q7269025","display_name":"Quantum convolutional code","level":5,"score":0.578611433506012},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.5507920980453491},{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.5323952436447144},{"id":"https://openalex.org/C192122513","wikidata":"https://www.wikidata.org/wiki/Q2835770","display_name":"Quantum phase estimation algorithm","level":5,"score":0.44918641448020935},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.44016867876052856},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.42559170722961426},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4140549898147583},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3912748694419861},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3817976713180542},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.14639467000961304},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3453483.3454029","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3453483.3454029","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3453483.3454029","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},{"id":"pmh:oai:osti.gov:1865582","is_oa":true,"landing_page_url":"https://www.osti.gov/biblio/1865582","pdf_url":null,"source":{"id":"https://openalex.org/S4306402487","display_name":"OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I139351228","host_organization_name":"Office of Scientific and Technical Information","host_organization_lineage":["https://openalex.org/I139351228"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"doi:10.1145/3453483.3454029","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3453483.3454029","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3453483.3454029","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1065316766","display_name":null,"funder_award_id":"Award","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G107522343","display_name":null,"funder_award_id":"1818914","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1441621709","display_name":null,"funder_award_id":"CCF-1730449","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1561128936","display_name":"FMitF: Track I: A Secure and Verifiable Commodity Hypervisor","funder_award_id":"1918400","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1681689942","display_name":null,"funder_award_id":"Phy-181891","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1735054683","display_name":null,"funder_award_id":"DE-SC0020289","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G1979010422","display_name":null,"funder_award_id":"OMA-2016136","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2192259402","display_name":null,"funder_award_id":"DE-SC0020289, DESC0020331","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G2637607055","display_name":"SaTC: CORE: Medium: Microverification of Information-Flow Security for the Linux Operating System Kernel","funder_award_id":"2052947","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G315002814","display_name":null,"funder_award_id":"Q-NEXT","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G3858876070","display_name":null,"funder_award_id":"201613","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3984978173","display_name":null,"funder_award_id":"DE-SC0020","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G4281037766","display_name":null,"funder_award_id":"CCF-1918400, CNS-2052947, CCF-1730449, Phy-1818914; OMA-2016136","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5427778066","display_name":null,"funder_award_id":"DESC0020331","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G5476995083","display_name":null,"funder_award_id":"2016136","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7901780668","display_name":null,"funder_award_id":"DE-SC00202","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G7948346560","display_name":null,"funder_award_id":"NSF OMA-2016136","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7961256253","display_name":null,"funder_award_id":"NSF Phy-1818914","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G902573048","display_name":null,"funder_award_id":"1730449","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3177341713.pdf","grobid_xml":"https://content.openalex.org/works/W3177341713.grobid-xml"},"referenced_works_count":72,"referenced_works":["https://openalex.org/W294073838","https://openalex.org/W1534117243","https://openalex.org/W1568345435","https://openalex.org/W1579960200","https://openalex.org/W1619293558","https://openalex.org/W1639600422","https://openalex.org/W1675244148","https://openalex.org/W1795155312","https://openalex.org/W1847580993","https://openalex.org/W1966619759","https://openalex.org/W1990634585","https://openalex.org/W1992662089","https://openalex.org/W2020747741","https://openalex.org/W2028406173","https://openalex.org/W2029010113","https://openalex.org/W2030867075","https://openalex.org/W2032147770","https://openalex.org/W2036604884","https://openalex.org/W2044357043","https://openalex.org/W2055670190","https://openalex.org/W2055969650","https://openalex.org/W2062854284","https://openalex.org/W2093617300","https://openalex.org/W2093774709","https://openalex.org/W2096391265","https://openalex.org/W2097527197","https://openalex.org/W2116102644","https://openalex.org/W2154434103","https://openalex.org/W2154815292","https://openalex.org/W2167325579","https://openalex.org/W2221953609","https://openalex.org/W2268604949","https://openalex.org/W2362476068","https://openalex.org/W2497077536","https://openalex.org/W2519383683","https://openalex.org/W2524307097","https://openalex.org/W2551156993","https://openalex.org/W2612118928","https://openalex.org/W2755418751","https://openalex.org/W2775608145","https://openalex.org/W2781738013","https://openalex.org/W2885845431","https://openalex.org/W2899524259","https://openalex.org/W2913992572","https://openalex.org/W2915042614","https://openalex.org/W2921011193","https://openalex.org/W2945490636","https://openalex.org/W2949757588","https://openalex.org/W2951542569","https://openalex.org/W2955434816","https://openalex.org/W2982169647","https://openalex.org/W2990961515","https://openalex.org/W2993800728","https://openalex.org/W2997740458","https://openalex.org/W3006960967","https://openalex.org/W3015289174","https://openalex.org/W3099026505","https://openalex.org/W3100931082","https://openalex.org/W3101000235","https://openalex.org/W3101835793","https://openalex.org/W3102303141","https://openalex.org/W3102775972","https://openalex.org/W3103438630","https://openalex.org/W3103778666","https://openalex.org/W3106326670","https://openalex.org/W3108983691","https://openalex.org/W3116601100","https://openalex.org/W3126124413","https://openalex.org/W3141881961","https://openalex.org/W4248555592","https://openalex.org/W6729942461","https://openalex.org/W6912284476"],"related_works":["https://openalex.org/W3203856319","https://openalex.org/W4385310265","https://openalex.org/W4281550036","https://openalex.org/W2037426566","https://openalex.org/W4384615858","https://openalex.org/W3206120658","https://openalex.org/W2254754114","https://openalex.org/W2906136444","https://openalex.org/W4385987075","https://openalex.org/W590714003"],"abstract_inverted_index":{"Practical":[0],"error":[1,51,62,108,132,150],"analysis":[2],"is":[3,22,126],"essential":[4],"for":[5,105,134],"the":[6,27,58,71,80,96,116,149],"design,":[7],"optimization,":[8],"and":[9,75,143],"evaluation":[10],"of":[11,29,70,153],"Noisy":[12],"Intermediate-Scale":[13],"Quantum(NISQ)":[14],"computing.":[15],"However,":[16],"bounding":[17],"errors":[18,31],"in":[19,53,110],"quantum":[20,30,36,54,67,112,136,154],"programs":[21,137],"a":[23,44,66,102],"grand":[24],"challenge,":[25],"because":[26],"effects":[28],"depend":[32],"on":[33,95,115],"exponentially":[34],"large":[35],"states.":[37],"In":[38],"this":[39],"work,":[40],"we":[41],"present":[42],"Gleipnir,":[43],"novel":[45],"methodology":[46],"toward":[47],"practically":[48],"computing":[49],"verified":[50],"bounds":[52,109,133],"programs.":[55],"Gleipnir":[56,100,125],"introduces":[57],"(\u03c1,\u03b4)-diamond":[59,117],"norm,":[60],"an":[61],"metric":[63],"constrained":[64],"by":[65],"predicate":[68,85],"consisting":[69],"approximate":[72],"state":[73,82],"\u03c1":[74],"its":[76],"distance":[77],"\u03b4":[78],"to":[79,128,140,147],"ideal":[81],"\u03c1.":[83],"This":[84],"(\u03c1,\u03b4)":[86],"can":[87,144],"be":[88,145],"computed":[89],"adaptively":[90],"using":[91],"tensor":[92],"networks":[93],"based":[94,114],"Matrix":[97],"Product":[98],"States.":[99],"features":[101],"lightweight":[103],"logic":[104],"reasoning":[106],"about":[107],"noisy":[111],"programs,":[113],"norm":[118],"metric.":[119],"Our":[120],"experimental":[121],"results":[122],"show":[123],"that":[124],"able":[127],"efficiently":[129],"generate":[130],"tight":[131],"real-world":[135],"with":[138],"10":[139],"100":[141],"qubits,":[142],"used":[146],"evaluate":[148],"mitigation":[151],"performance":[152],"compiler":[155],"transformations.":[156]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2}],"updated_date":"2026-04-14T08:04:32.555800","created_date":"2025-10-10T00:00:00"}