{"id":"https://openalex.org/W4409311680","doi":"https://doi.org/10.1145/3720416","title":"Dependency-Aware Compilation for Surface Code Quantum Architectures","display_name":"Dependency-Aware Compilation for Surface Code Quantum Architectures","publication_year":2025,"publication_date":"2025-04-09","ids":{"openalex":"https://openalex.org/W4409311680","doi":"https://doi.org/10.1145/3720416"},"language":"en","primary_location":{"id":"doi:10.1145/3720416","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720416","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3720416","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/3720416","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035893705","display_name":"Abtin Molavi","orcid":"https://orcid.org/0009-0006-1841-9565"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Abtin Molavi","raw_affiliation_strings":["University of Wisconsin-Madison, Madison, USA"],"raw_orcid":"https://orcid.org/0009-0006-1841-9565","affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, Madison, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021188160","display_name":"Amanda Xu","orcid":"https://orcid.org/0009-0008-2279-5816"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Amanda Xu","raw_affiliation_strings":["University of Wisconsin-Madison, Madison, USA"],"raw_orcid":"https://orcid.org/0009-0008-2279-5816","affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, Madison, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007818121","display_name":"Swamit Tannu","orcid":"https://orcid.org/0000-0003-4479-7413"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Swamit Tannu","raw_affiliation_strings":["University of Wisconsin-Madison, Madison, USA"],"raw_orcid":"https://orcid.org/0000-0003-4479-7413","affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, Madison, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050593520","display_name":"Aws Albarghouthi","orcid":"https://orcid.org/0000-0003-4577-175X"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aws Albarghouthi","raw_affiliation_strings":["University of Wisconsin-Madison, Madison, USA"],"raw_orcid":"https://orcid.org/0000-0003-4577-175X","affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, Madison, USA","institution_ids":["https://openalex.org/I135310074"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I135310074"],"apc_list":null,"apc_paid":null,"fwci":10.9458,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.98044823,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":100},"biblio":{"volume":"9","issue":"OOPSLA1","first_page":"57","last_page":"84"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998000264167786,"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":0.9998000264167786,"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/T10237","display_name":"Cryptography and Data Security","score":0.9968000054359436,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.7105678915977478},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5910281538963318},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5645737648010254},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4664214551448822},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.438326358795166},{"id":"https://openalex.org/keywords/surface","display_name":"Surface (topology)","score":0.4343830347061157},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3938455283641815},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3445793390274048},{"id":"https://openalex.org/keywords/computational-science","display_name":"Computational science","score":0.3395944833755493},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21423286199569702},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.2100566327571869},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.1479245126247406},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.10470283031463623},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.08968642354011536}],"concepts":[{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.7105678915977478},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5910281538963318},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5645737648010254},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4664214551448822},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.438326358795166},{"id":"https://openalex.org/C2776799497","wikidata":"https://www.wikidata.org/wiki/Q484298","display_name":"Surface (topology)","level":2,"score":0.4343830347061157},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3938455283641815},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3445793390274048},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.3395944833755493},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21423286199569702},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.2100566327571869},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.1479245126247406},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.10470283031463623},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.08968642354011536},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3720416","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720416","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3720416","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/3720416","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720416","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3720416","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/G270002336","display_name":"SHF: FET: Medium: Designing and Synthesizing a Quantum Circuit Compiler","funder_award_id":"2212232","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/F4320309434","display_name":"University of Wisconsin-Madison","ror":"https://ror.org/01y2jtd41"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4409311680.pdf","grobid_xml":"https://content.openalex.org/works/W4409311680.grobid-xml"},"referenced_works_count":67,"referenced_works":["https://openalex.org/W82625556","https://openalex.org/W1568345435","https://openalex.org/W1604110421","https://openalex.org/W1975548669","https://openalex.org/W1983103400","https://openalex.org/W2005509629","https://openalex.org/W2012729006","https://openalex.org/W2024060531","https://openalex.org/W2030867075","https://openalex.org/W2033216491","https://openalex.org/W2057427520","https://openalex.org/W2062948942","https://openalex.org/W2079294297","https://openalex.org/W2084652510","https://openalex.org/W2100609826","https://openalex.org/W2130753923","https://openalex.org/W2140191557","https://openalex.org/W2154571828","https://openalex.org/W2164286571","https://openalex.org/W2166065655","https://openalex.org/W2168676717","https://openalex.org/W2295563127","https://openalex.org/W2297903070","https://openalex.org/W2750837442","https://openalex.org/W2753032830","https://openalex.org/W2809729522","https://openalex.org/W2886696706","https://openalex.org/W2915124843","https://openalex.org/W2952568606","https://openalex.org/W2963837308","https://openalex.org/W2964148776","https://openalex.org/W2979465497","https://openalex.org/W3009488992","https://openalex.org/W3098228168","https://openalex.org/W3099545137","https://openalex.org/W3111189158","https://openalex.org/W3148529197","https://openalex.org/W3181660950","https://openalex.org/W3205601995","https://openalex.org/W3209549234","https://openalex.org/W4285029287","https://openalex.org/W4293484738","https://openalex.org/W4297672591","https://openalex.org/W4308083514","https://openalex.org/W4308083589","https://openalex.org/W4309424751","https://openalex.org/W4321610982","https://openalex.org/W4386764200","https://openalex.org/W4389260685","https://openalex.org/W4389373471","https://openalex.org/W4389469953","https://openalex.org/W4389491904","https://openalex.org/W4392265997","https://openalex.org/W4394006177","https://openalex.org/W4394662590","https://openalex.org/W4395020693","https://openalex.org/W4396820654","https://openalex.org/W4396944746","https://openalex.org/W4398204237","https://openalex.org/W4399151433","https://openalex.org/W4401211815","https://openalex.org/W4403593853","https://openalex.org/W4405183524","https://openalex.org/W4407809955","https://openalex.org/W4412219119","https://openalex.org/W6907225408","https://openalex.org/W6912189135"],"related_works":["https://openalex.org/W2067317451","https://openalex.org/W2154771632","https://openalex.org/W4211085505","https://openalex.org/W3122478268","https://openalex.org/W2084758217","https://openalex.org/W408804804","https://openalex.org/W4231021675","https://openalex.org/W3086365953","https://openalex.org/W4226072953","https://openalex.org/W2056396287"],"abstract_inverted_index":{"Practical":[0],"applications":[1],"of":[2,20,30,87],"quantum":[3,32,35],"computing":[4],"depend":[5],"on":[6],"fault-tolerant":[7],"devices":[8],"with":[9,78],"error":[10],"correction.":[11],"Today,":[12],"the":[13,28,60,84],"most":[14],"promising":[15],"approach":[16,113],"is":[17,44,114],"a":[18,79,102],"class":[19],"error-correcting":[21],"codes":[22],"called":[23],"surface":[24,38],"codes.":[25,39],"We":[26,71],"study":[27],"problem":[29,53,74],"compiling":[31,119],"circuits":[33],"for":[34,46,118],"computers":[36],"implementing":[37],"Optimal":[40],"or":[41],"near-optimal":[42],"compilation":[43,52],"critical":[45],"both":[47],"efficiency":[48],"and":[49,63,76,104,116],"correctness.":[50],"The":[51],"requires":[54],"(1)":[55],"mapping":[56],"circuit":[57,88],"qubits":[58,62],"to":[59,90],"device":[61],"(2)":[64],"routing":[65],"execution":[66],"paths":[67],"between":[68],"interacting":[69],"qubits.":[70],"solve":[72],"this":[73],"efficiently":[75],"near-optimally":[77],"novel":[80],"algorithm":[81],"that":[82,95,111],"exploits":[83],"dependency":[85],"structure":[86],"operations":[89],"formulate":[91],"discrete":[92],"optimization":[93],"problems":[94],"can":[96],"be":[97],"approximated":[98],"via":[99],"simulated":[100],"annealing,":[101],"classic":[103],"simple":[105],"algorithm.":[106],"Our":[107],"extensive":[108],"evaluation":[109],"shows":[110],"our":[112],"powerful":[115],"flexible":[117],"realistic":[120],"workloads.":[121]},"counts_by_year":[{"year":2026,"cited_by_count":8},{"year":2025,"cited_by_count":2}],"updated_date":"2026-08-25T07:29:55.448023","created_date":"2025-10-10T00:00:00"}