{"id":"https://openalex.org/W4406222580","doi":"https://doi.org/10.1145/3704883","title":"Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages","display_name":"Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages","publication_year":2025,"publication_date":"2025-01-07","ids":{"openalex":"https://openalex.org/W4406222580","doi":"https://doi.org/10.1145/3704883"},"language":"en","primary_location":{"id":"doi:10.1145/3704883","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704883","pdf_url":null,"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://doi.org/10.1145/3704883","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017216598","display_name":"Andrea Colledan","orcid":"https://orcid.org/0000-0002-0049-0391"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["FR","IT"],"is_corresponding":false,"raw_author_name":"Andrea Colledan","raw_affiliation_strings":["Inria, Valbonne, France","University of Bologna, Bologna, Italy"],"raw_orcid":"https://orcid.org/0000-0002-0049-0391","affiliations":[{"raw_affiliation_string":"Inria, Valbonne, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"University of Bologna, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084450516","display_name":"Ugo Dal Lago","orcid":"https://orcid.org/0000-0001-9200-070X"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["FR","IT"],"is_corresponding":false,"raw_author_name":"Ugo Dal Lago","raw_affiliation_strings":["Inria, Valbonne, France","University of Bologna, Bologna, Italy"],"raw_orcid":"https://orcid.org/0000-0001-9200-070X","affiliations":[{"raw_affiliation_string":"Inria, Valbonne, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"University of Bologna, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.1286,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.87616921,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":96},"biblio":{"volume":"9","issue":"POPL","first_page":"1386","last_page":"1416"},"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.9991999864578247,"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.9991999864578247,"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.9961000084877014,"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"}},{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.991599977016449,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computer-science","display_name":"Computer science","score":0.6390343904495239},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.5853967666625977},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.5370885729789734},{"id":"https://openalex.org/keywords/estimation","display_name":"Estimation","score":0.4560054540634155},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4198231101036072},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3394310772418976},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.32627081871032715},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14698106050491333},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.12795856595039368},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.12750795483589172},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.10207617282867432},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.07540363073348999},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.06297409534454346}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6390343904495239},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5853967666625977},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.5370885729789734},{"id":"https://openalex.org/C96250715","wikidata":"https://www.wikidata.org/wiki/Q965330","display_name":"Estimation","level":2,"score":0.4560054540634155},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4198231101036072},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3394310772418976},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.32627081871032715},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14698106050491333},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.12795856595039368},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.12750795483589172},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.10207617282867432},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.07540363073348999},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.06297409534454346},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3704883","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704883","pdf_url":null,"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"},{"id":"pmh:oai:HAL:hal-05429267v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05429267","pdf_url":"https://hal.science/hal-05429267/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the ACM on Programming Languages, 2025, 9 (POPL, Article 47), pp.1386-1416. ⟨10.1145/3704883⟩","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:cris.unibo.it:11585/1004897","is_oa":true,"landing_page_url":"https://hdl.handle.net/11585/1004897","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1145/3704883","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704883","pdf_url":null,"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/G4080017644","display_name":null,"funder_award_id":"CN00000013","funder_id":"https://openalex.org/F4320331528","funder_display_name":"Ministero dell'Universit\u00e0 e della Ricerca"},{"id":"https://openalex.org/G5356239126","display_name":null,"funder_award_id":"CN00000013","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320331528","display_name":"Ministero dell'Universit\u00e0 e della Ricerca","ror":"https://ror.org/0341vw408"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":63,"referenced_works":["https://openalex.org/W118877790","https://openalex.org/W1802214495","https://openalex.org/W1992587415","https://openalex.org/W2007466965","https://openalex.org/W2010790229","https://openalex.org/W2016769804","https://openalex.org/W2027193703","https://openalex.org/W2045900383","https://openalex.org/W2077613266","https://openalex.org/W2084652510","https://openalex.org/W2101085206","https://openalex.org/W2130413583","https://openalex.org/W2137282578","https://openalex.org/W2159390636","https://openalex.org/W2160347025","https://openalex.org/W2168676717","https://openalex.org/W2171496589","https://openalex.org/W2212436842","https://openalex.org/W2222812367","https://openalex.org/W2335111715","https://openalex.org/W2493469328","https://openalex.org/W2517008720","https://openalex.org/W2727902284","https://openalex.org/W2779911866","https://openalex.org/W2781738013","https://openalex.org/W2785371369","https://openalex.org/W2792585849","https://openalex.org/W2899524259","https://openalex.org/W2909742212","https://openalex.org/W2912682974","https://openalex.org/W2921909284","https://openalex.org/W2952568606","https://openalex.org/W2963595697","https://openalex.org/W2965839166","https://openalex.org/W2982932855","https://openalex.org/W2993800728","https://openalex.org/W2995074506","https://openalex.org/W3007889862","https://openalex.org/W3023853936","https://openalex.org/W3032363873","https://openalex.org/W3081625510","https://openalex.org/W3090554446","https://openalex.org/W3100931082","https://openalex.org/W3103226540","https://openalex.org/W3105735000","https://openalex.org/W3108052210","https://openalex.org/W3116601100","https://openalex.org/W3126124413","https://openalex.org/W3139906032","https://openalex.org/W3169231649","https://openalex.org/W3202827246","https://openalex.org/W4206807714","https://openalex.org/W4214951473","https://openalex.org/W4220906786","https://openalex.org/W4284965081","https://openalex.org/W4285783048","https://openalex.org/W4289855867","https://openalex.org/W4298195558","https://openalex.org/W4315631112","https://openalex.org/W4393955102","https://openalex.org/W4399872411","https://openalex.org/W4401856216","https://openalex.org/W6892755627"],"related_works":["https://openalex.org/W2576994247","https://openalex.org/W2608353378","https://openalex.org/W4249206767","https://openalex.org/W2563559453","https://openalex.org/W2382330008","https://openalex.org/W1519970947","https://openalex.org/W4243860260","https://openalex.org/W4383503847","https://openalex.org/W2342695897","https://openalex.org/W2216265843"],"abstract_inverted_index":{"We":[0],"introduce":[1],"a":[2,129],"type":[3],"system":[4],"for":[5,60],"the":[6,15,18,22,88,105,115],"Quipper":[7],"language":[8],"designed":[9],"to":[10,31,95],"derive":[11],"upper":[12],"bounds":[13,125],"on":[14,73,87],"size":[16,26],"of":[17,64],"circuits":[19],"produced":[20],"by":[21,47],"typed":[23],"program.":[24],"This":[25,109],"can":[27],"be":[28,96],"measured":[29],"according":[30],"various":[32],"metrics,":[33],"including":[34],"width":[35],",":[36,41,75],"depth":[37],"and":[38,68],"gate":[39,55],"count":[40],"but":[42],"also":[43],"variations":[44],"thereof":[45],"obtained":[46],"considering":[48],"only":[49],"some":[50,54],"wire":[51],"types":[52],"or":[53],"kinds.":[56],"The":[57,91],"key":[58],"ingredients":[59],"achieving":[61],"this":[62],"level":[63],"flexibility":[65],"are":[66,83],"effects":[67],"refinement":[69],"types,":[70],"both":[71],"relying":[72],"indices":[74],"that":[76],"is,":[77],"generic":[78],"arithmetic":[79],"expressions":[80],"whose":[81],"operators":[82],"interpreted":[84],"differently":[85],"depending":[86],"target":[89],"metric.":[90,108],"approach":[92,110],"is":[93,111,126],"shown":[94],"correct":[97],"through":[98,114],"logical":[99],"predicates,":[100],"under":[101],"reasonable":[102],"assumptions":[103],"about":[104],"chosen":[106],"resource":[107],"empirically":[112],"evaluated":[113],"QuRA":[116],"tool,":[117],"showing":[118],"that,":[119],"in":[120,128],"many":[121],"cases,":[122],"inferring":[123],"tight":[124],"possible":[127],"fully":[130],"automatic":[131],"way.":[132]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-08-29T07:29:34.045763","created_date":"2025-10-10T00:00:00"}