{"id":"https://openalex.org/W4399851253","doi":"https://doi.org/10.1145/3656397","title":"The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation","display_name":"The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation","publication_year":2024,"publication_date":"2024-06-20","ids":{"openalex":"https://openalex.org/W4399851253","doi":"https://doi.org/10.1145/3656397"},"language":"en","primary_location":{"id":"doi:10.1145/3656397","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656397","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656397","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3656397","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055486177","display_name":"Charles Yuan","orcid":"https://orcid.org/0000-0002-4918-4467"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Charles Yuan","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, USA"],"raw_orcid":"https://orcid.org/0000-0002-4918-4467","affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091194125","display_name":"Michael Carbin","orcid":"https://orcid.org/0000-0002-6928-0456"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Carbin","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, USA"],"raw_orcid":"https://orcid.org/0000-0002-6928-0456","affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, USA","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I63966007"],"apc_list":null,"apc_paid":null,"fwci":2.3237,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.89373272,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"8","issue":"PLDI","first_page":"492","last_page":"517"},"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.9994999766349792,"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/T10622","display_name":"Quantum Mechanics and Applications","score":0.9987000226974487,"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/computation","display_name":"Computation","score":0.6090819239616394},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.5784404873847961},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5295817852020264},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5091866850852966},{"id":"https://openalex.org/keywords/error-detection-and-correction","display_name":"Error detection and correction","score":0.43458831310272217},{"id":"https://openalex.org/keywords/quantum-error-correction","display_name":"Quantum error correction","score":0.41205528378486633},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39652541279792786},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35930925607681274},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32636791467666626},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.17272412776947021},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.16342666745185852}],"concepts":[{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6090819239616394},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.5784404873847961},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5295817852020264},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5091866850852966},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.43458831310272217},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.41205528378486633},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39652541279792786},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35930925607681274},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32636791467666626},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.17272412776947021},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.16342666745185852}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3656397","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656397","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656397","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3656397","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656397","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656397","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1254239345","display_name":"CAREER: A Programming Language for Developing Software to Execute Reliably on Unreliable Hardware","funder_award_id":"1751011","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/F4320306151","display_name":"Alfred P. Sloan Foundation","ror":"https://ror.org/052csg198"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4399851253.pdf","grobid_xml":"https://content.openalex.org/works/W4399851253.grobid-xml"},"referenced_works_count":82,"referenced_works":["https://openalex.org/W1574086789","https://openalex.org/W1749786511","https://openalex.org/W1969246646","https://openalex.org/W1975548669","https://openalex.org/W1978553093","https://openalex.org/W1979130667","https://openalex.org/W1999626800","https://openalex.org/W2005170092","https://openalex.org/W2015179126","https://openalex.org/W2027780909","https://openalex.org/W2030867075","https://openalex.org/W2031374990","https://openalex.org/W2046826122","https://openalex.org/W2070421562","https://openalex.org/W2079294297","https://openalex.org/W2084652510","https://openalex.org/W2102008187","https://openalex.org/W2105259569","https://openalex.org/W2121981260","https://openalex.org/W2131684748","https://openalex.org/W2135205181","https://openalex.org/W2135830616","https://openalex.org/W2157601714","https://openalex.org/W2160347025","https://openalex.org/W2164968369","https://openalex.org/W2165264713","https://openalex.org/W2169656062","https://openalex.org/W2266138411","https://openalex.org/W2346370519","https://openalex.org/W2349487082","https://openalex.org/W2559394418","https://openalex.org/W2563269605","https://openalex.org/W2566002283","https://openalex.org/W2765570517","https://openalex.org/W2765753692","https://openalex.org/W2775106578","https://openalex.org/W2781773094","https://openalex.org/W2790668893","https://openalex.org/W2798745146","https://openalex.org/W2801305581","https://openalex.org/W2903516100","https://openalex.org/W2938353722","https://openalex.org/W2946582523","https://openalex.org/W2952311581","https://openalex.org/W2952708034","https://openalex.org/W2962720041","https://openalex.org/W2963690659","https://openalex.org/W2990961515","https://openalex.org/W2993800728","https://openalex.org/W3013348036","https://openalex.org/W3016573600","https://openalex.org/W3023478445","https://openalex.org/W3033997567","https://openalex.org/W3034064438","https://openalex.org/W3043792635","https://openalex.org/W3046434888","https://openalex.org/W3098041393","https://openalex.org/W3098397564","https://openalex.org/W3100122058","https://openalex.org/W3102161549","https://openalex.org/W3102239087","https://openalex.org/W3102303141","https://openalex.org/W3102773744","https://openalex.org/W3106120343","https://openalex.org/W3116601100","https://openalex.org/W3139898386","https://openalex.org/W3182253249","https://openalex.org/W3212908997","https://openalex.org/W4213428754","https://openalex.org/W4281389731","https://openalex.org/W4281670955","https://openalex.org/W4285783048","https://openalex.org/W4288018418","https://openalex.org/W4289147395","https://openalex.org/W4289855867","https://openalex.org/W4312997020","https://openalex.org/W4315606056","https://openalex.org/W4321610982","https://openalex.org/W4365211818","https://openalex.org/W4366771594","https://openalex.org/W6929931295","https://openalex.org/W6931031300"],"related_works":["https://openalex.org/W1996213744","https://openalex.org/W1982303606","https://openalex.org/W2761090343","https://openalex.org/W4388540582","https://openalex.org/W4320554545","https://openalex.org/W3126247638","https://openalex.org/W53386123","https://openalex.org/W4212962264","https://openalex.org/W2471581415","https://openalex.org/W4389168214"],"abstract_inverted_index":{"Numerous":[0],"quantum":[1,7,19,41,64,89,120,193,272,287],"algorithms":[2],"require":[3],"the":[4,12,63,71,84,95,113,125,131,158,162,166,183,191,210,262],"use":[5,109,147,203],"of":[6,15,36,74,87,97,116,127,133,140,161,190,198,284],"error":[8,20,121,231],"correction":[9,21,122,232],"to":[10,110,148,152,173,235,253,264,298],"overcome":[11],"intrinsic":[13],"unreliability":[14],"physical":[16],"qubits.":[17],"However,":[18],"imposes":[22],"a":[23,40,75,88,102,106,117,138,144,150,178,196,247,254,271],"unique":[24],"performance":[25],"bottleneck,":[26],"known":[27],"as":[28,39,62],"T":[29,72,114,155,159,228,295],"-complexity,":[30,156],"that":[31,55,105,143,202,209,216,221,245],"can":[32,66,82,108,146,256],"make":[33],"an":[34,37,174,188,265],"implementation":[35],"algorithm":[38],"program":[42,118,151,164,248,263],"run":[43],"more":[44],"slowly":[45],"than":[46,260],"on":[47,239],"idealized":[48,240],"hardware.":[49,241],"In":[50],"this":[51,80],"work,":[52],"we":[53,100,136,206],"identify":[54],"programming":[56],"abstractions":[57],"for":[58],"control":[59,98,204],"flow,":[60,99,205],"such":[61],"if-statement,":[65],"introduce":[67],"polynomial":[68],"increases":[69],"in":[70,186,276],"-complexity":[73,115,160,229],"program.":[76],"If":[77],"not":[78],"mitigated,":[79],"slowdown":[81],"diminish":[83],"computational":[85],"advantage":[86],"algorithm.":[90],"To":[91,129],"enable":[92,130],"reasoning":[93],"about":[94],"costs":[96],"present":[101,137],"cost":[103,167,211],"model":[104,212],"developer":[107,145],"accurately":[111],"analyze":[112],"under":[119,230],"and":[123,169,215,268],"pinpoint":[124],"sources":[126],"slowdown.":[128],"mitigation":[132],"these":[134,299],"costs,":[135],"set":[139,197],"program-level":[141,184],"optimizations":[142,185,218],"rewrite":[149],"reduce":[153],"its":[154],"predict":[157],"optimized":[163],"using":[165],"model,":[168],"then":[170,269],"compile":[171,310],"it":[172,250],"efficient":[175,294],"circuit":[176,255,267,273,288],"via":[177],"straightforward":[179],"strategy.":[180],"We":[181],"implement":[182],"Spire,":[187],"extension":[189],"Tower":[192],"compiler.":[194],"Using":[195],"11":[199],"benchmark":[200],"programs":[201,220],"empirically":[207],"show":[208,244],"is":[213,233,251],"accurate,":[214],"Spire's":[217],"recover":[219,290],"are":[222],"asymptotically":[223,293],"efficient,":[224],"meaning":[225],"their":[226,236],"runtime":[227],"equal":[234],"time":[237],"complexity":[238],"Our":[242],"results":[243,259],"optimizing":[246],"before":[249],"compiled":[252],"yield":[257],"better":[258],"compiling":[261],"inefficient":[266],"invoking":[270],"optimizer":[274],"found":[275],"prior":[277],"work.":[278],"For":[279],"our":[280],"benchmarks,":[281],"only":[282],"2":[283,300],"8":[285],"tested":[286],"optimizers":[289],"circuits":[291],"with":[292],"-complexity.":[296],"Compared":[297],"optimizers,":[301],"Spire":[302],"uses":[303],"54":[304],"\u00d7":[305,308],"\u2212":[306],"2400":[307],"less":[309],"time.":[311]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":9}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}