{"id":"https://openalex.org/W4411267744","doi":"https://doi.org/10.1145/3729253","title":"Optimizing Ancilla-Based Quantum Circuits with SPARE","display_name":"Optimizing Ancilla-Based Quantum Circuits with SPARE","publication_year":2025,"publication_date":"2025-06-10","ids":{"openalex":"https://openalex.org/W4411267744","doi":"https://doi.org/10.1145/3729253"},"language":"en","primary_location":{"id":"doi:10.1145/3729253","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729253","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3729253","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/3729253","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054704326","display_name":"Ritvik Sharma","orcid":"https://orcid.org/0000-0002-5809-7031"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ritvik Sharma","raw_affiliation_strings":["Stanford University, Stanford, USA"],"raw_orcid":"https://orcid.org/0000-0002-5809-7031","affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060778165","display_name":"Sara Achour","orcid":"https://orcid.org/0000-0003-3444-1544"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sara Achour","raw_affiliation_strings":["Stanford University, Stanford University, USA"],"raw_orcid":"https://orcid.org/0000-0003-3444-1544","affiliations":[{"raw_affiliation_string":"Stanford University, Stanford University, USA","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04695549,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"PLDI","first_page":"176","last_page":"200"},"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.9993000030517578,"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/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/spare-part","display_name":"Spare part","score":0.766069769859314},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.6336090564727783},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.5758069753646851},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.48206716775894165},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.36168813705444336},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.28815364837646484},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2182808518409729},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.19847798347473145},{"id":"https://openalex.org/keywords/mechanical-engineering","display_name":"Mechanical engineering","score":0.07859310507774353}],"concepts":[{"id":"https://openalex.org/C194648553","wikidata":"https://www.wikidata.org/wiki/Q1364774","display_name":"Spare part","level":2,"score":0.766069769859314},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.6336090564727783},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5758069753646851},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48206716775894165},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.36168813705444336},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.28815364837646484},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2182808518409729},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.19847798347473145},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.07859310507774353}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3729253","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729253","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3729253","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/3729253","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729253","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3729253","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":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4411267744.pdf","grobid_xml":"https://content.openalex.org/works/W4411267744.grobid-xml"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W1969246646","https://openalex.org/W1975548669","https://openalex.org/W1978553093","https://openalex.org/W2046826122","https://openalex.org/W2084652510","https://openalex.org/W2102008187","https://openalex.org/W2157601714","https://openalex.org/W2160347025","https://openalex.org/W2164968369","https://openalex.org/W2168676717","https://openalex.org/W2346370519","https://openalex.org/W2566002283","https://openalex.org/W2586874551","https://openalex.org/W2790668893","https://openalex.org/W2795473864","https://openalex.org/W2801305581","https://openalex.org/W2886696706","https://openalex.org/W2938353722","https://openalex.org/W2961190600","https://openalex.org/W2990961515","https://openalex.org/W2993800728","https://openalex.org/W3013348036","https://openalex.org/W3016898042","https://openalex.org/W3023478445","https://openalex.org/W3033997567","https://openalex.org/W3098041393","https://openalex.org/W3098228168","https://openalex.org/W3098397564","https://openalex.org/W3102773744","https://openalex.org/W3106041057","https://openalex.org/W3106120343","https://openalex.org/W3116601100","https://openalex.org/W3154862842","https://openalex.org/W3173618123","https://openalex.org/W4281389731","https://openalex.org/W4281670955","https://openalex.org/W4315606056","https://openalex.org/W4321610982","https://openalex.org/W4365211818","https://openalex.org/W4391927561","https://openalex.org/W4392877631","https://openalex.org/W4396214556","https://openalex.org/W4396986598","https://openalex.org/W4399783107","https://openalex.org/W4399851253","https://openalex.org/W4399851293","https://openalex.org/W4399872402","https://openalex.org/W4403223418","https://openalex.org/W6930607397"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2376859990","https://openalex.org/W2912704652","https://openalex.org/W2381161177","https://openalex.org/W2319226115","https://openalex.org/W830772239","https://openalex.org/W2970750595","https://openalex.org/W2356702869"],"abstract_inverted_index":{"Many":[0],"quantum":[1,16,26,61,112],"algorithms":[2],"instantiate":[3],"and":[4,24,90,116,146,153,170,185,209],"use":[5,30,49],"ancillas,":[6],"spare":[7],"qubits":[8,32,51],"that":[9,48,64],"serve":[10],"as":[11],"temporary":[12],"storage":[13],"in":[14,132,137,143,149,158,162,167,173,197,206,216],"a":[15,59,125,193,202,212],"circuit.":[17,79],"In":[18,80],"particular,":[19],"many":[20],"recently":[21],"developed":[22],"high-level":[23],"modular":[25],"programming":[27,36],"languages":[28],"(QPLs)":[29],"ancilla":[31,50,72],"to":[33,41,52,76,95,129,155,192,201,211,219],"implement":[34],"various":[35],"constructs.":[37],"These":[38],"are":[39],"lowered":[40],"circuits":[42,113],"with":[43],"nested/cascading":[44],"compute-uncompute":[45,67],"gate":[46,68],"sequences":[47],"track":[53],"internal":[54],"state.":[55],"We":[56,107,177],"present":[57],"SPARE,":[58],"rewrite-based":[60],"circuit":[62,187],"optimizer":[63],"restructures":[65],"these":[66],"sequences,":[69],"leveraging":[70],"the":[71,78,85,104,182,220,225],"qubit":[73,133],"state":[74],"information":[75],"optimize":[77],"this":[81],"work,":[82],"we":[83],"prove":[84],"correctness":[86],"of":[87,127],"SPARE\u2019s":[88,92],"rewrites":[89],"link":[91],"gate-level":[93,226],"transforms":[94],"language-level":[96],"program":[97],"rewrites,":[98],"which":[99],"may":[100],"be":[101],"performed":[102],"on":[103,110],"input":[105],"language.":[106],"evaluate":[108,179],"SPARE":[109,123,180,189],"QPL-generated":[111],"against":[114,151,175,181],"Unqomp":[115],"Spire,":[117],"two":[118],"optimizing":[119],"compilers":[120],"for":[121],"QPLs.":[122],"achieves":[124,190],"reduction":[126,196,205,215],"up":[128,154,191,200,210],"27.3":[130],"%":[131,136,142,148,157,161,166,172,195,204,214],"count,":[134],"56.7":[135,213],"2":[138],"-qubit":[139],"gates,":[140,164,199,208],"68.2":[141],"1-qubit":[144,168,207],"gates":[145,169],"73.9":[147],"depth":[150,174,217],"Unqomp,":[152],"17.8":[156],"qubits,":[159],"67.3":[160],"2-qubit":[163],"61.4":[165],"59.9":[171],"Spire.":[176],"also":[178],"Quartz,":[183],"Feynman,":[184],"PyZX":[186],"optimizers:":[188],"70.0":[194],"two-qubit":[198],"53.6":[203],"compared":[218],"best":[221],"result":[222],"from":[223],"all":[224],"optimizers.":[227]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}