{"id":"https://openalex.org/W7168036873","doi":"https://doi.org/10.1145/3806645.3816162","title":"Structural Parallelism in Quantum Programs","display_name":"Structural Parallelism in Quantum Programs","publication_year":2026,"publication_date":"2026-07-11","ids":{"openalex":"https://openalex.org/W7168036873","doi":"https://doi.org/10.1145/3806645.3816162"},"language":null,"primary_location":{"id":"doi:10.1145/3806645.3816162","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3806645.3816162","pdf_url":null,"source":null,"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 35th International Symposium on High-Performance Parallel and Distributed Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3806645.3816162","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5105877451","display_name":"Simone Faro","orcid":"https://orcid.org/0000-0001-5937-5796"},"institutions":[{"id":"https://openalex.org/I39063666","display_name":"University of Catania","ror":"https://ror.org/03a64bh57","country_code":"IT","type":"education","lineage":["https://openalex.org/I39063666"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Simone Faro","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Catania, Catania, Italy"],"raw_orcid":"https://orcid.org/0000-0001-5937-5796","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Catania, Catania, Italy","institution_ids":["https://openalex.org/I39063666"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004198996","display_name":"Francesco Pio Marino","orcid":"https://orcid.org/0000-0003-4722-9542"},"institutions":[{"id":"https://openalex.org/I39063666","display_name":"University of Catania","ror":"https://ror.org/03a64bh57","country_code":"IT","type":"education","lineage":["https://openalex.org/I39063666"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Pio Marino","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Catania, Catania, Italy"],"raw_orcid":"https://orcid.org/0000-0003-4722-9542","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Catania, Catania, Italy","institution_ids":["https://openalex.org/I39063666"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5119624385","display_name":"Gabriele Messina","orcid":null},"institutions":[{"id":"https://openalex.org/I39063666","display_name":"University of Catania","ror":"https://ror.org/03a64bh57","country_code":"IT","type":"education","lineage":["https://openalex.org/I39063666"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gabriele Messina","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Catania, Catania, Italy"],"raw_orcid":"https://orcid.org/0009-0004-9926-3691","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Catania, Catania, Italy","institution_ids":["https://openalex.org/I39063666"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I39063666"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"699","last_page":"705"},"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.9733999967575073,"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.9733999967575073,"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.003100000089034438,"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"}},{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":0.0020000000949949026,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/qubit","display_name":"Qubit","score":0.6290000081062317},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.6067000031471252},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5435000061988831},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.41920000314712524},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.4142000079154968},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.4104999899864197},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.39149999618530273}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6990000009536743},{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.6290000081062317},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.6067000031471252},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5435000061988831},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4968999922275543},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.41920000314712524},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.4142000079154968},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.4104999899864197},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.39149999618530273},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.38339999318122864},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.3716000020503998},{"id":"https://openalex.org/C90408235","wikidata":"https://www.wikidata.org/wiki/Q938141","display_name":"Quantum annealing","level":4,"score":0.3230000138282776},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3199000060558319},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.311599999666214},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3075999915599823},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28110000491142273},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.2768000066280365},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.2750000059604645},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.25600001215934753},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2535000145435333},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.25049999356269836}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3806645.3816162","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3806645.3816162","pdf_url":null,"source":null,"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 35th International Symposium on High-Performance Parallel and Distributed Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3806645.3816162","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3806645.3816162","pdf_url":null,"source":null,"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 35th International Symposium on High-Performance Parallel and Distributed Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W2050334794","https://openalex.org/W2084652510","https://openalex.org/W2109741106","https://openalex.org/W2137147061","https://openalex.org/W2160347025","https://openalex.org/W2790668893","https://openalex.org/W2838090975","https://openalex.org/W3033997567","https://openalex.org/W4206219333","https://openalex.org/W4392854993","https://openalex.org/W4396571119","https://openalex.org/W4396986598","https://openalex.org/W4413823681","https://openalex.org/W6931253271"],"related_works":[],"abstract_inverted_index":{"Ancillary":[0],"qubits":[1],"are":[2],"an":[3],"essential":[4],"resource":[5],"in":[6,66,135,148],"quantum":[7,68,88,126,205],"programs,":[8],"yet":[9],"their":[10,108],"management":[11],"often":[12],"introduces":[13],"artificial":[14],"long-range":[15],"dependencies":[16,134],"that":[17,119,155],"obscure":[18],"opportunities":[19],"for":[20],"parallel":[21],"execution.":[22],"In":[23],"many":[24],"programming":[25,69],"models,":[26],"uncomputation":[27,63],"is":[28],"treated":[29],"as":[30],"a":[31,77,114,159,172],"global":[32],"cleanup":[33],"phase":[34],"appended":[35],"after":[36],"the":[37,61,67,84,93,130,136,143,149,201],"forward":[38],"computation,":[39],"causing":[40],"temporary":[41,97,146,165],"data":[42],"to":[43],"remain":[44],"live":[45],"far":[46],"beyond":[47],"its":[48],"semantic":[49,85,94,133],"relevance":[50],"and":[51,56,75,153,186],"inflating":[52],"both":[53],"circuit":[54,150],"width":[55,181],"scheduling":[57],"constraints.":[58],"Building":[59],"on":[60],"lifetime-guided":[62,156],"discipline":[64,178],"introduced":[65],"language":[70,197],"Qutes,":[71],"this":[72,140,177],"paper":[73],"identifies":[74],"formalizes":[76],"new":[78],"form":[79,115],"of":[80,87,96,116,132,145,161,204],"parallelism":[81,118],"emerging":[82],"from":[83,122,129],"structure":[86],"programs.":[89],"By":[90],"precisely":[91],"tracking":[92],"lifetime":[95],"variables,":[98],"subcomputations":[99,166],"associated":[100],"with":[101],"ancillas":[102],"can":[103,199],"be":[104],"restored":[105],"locally":[106,168],"once":[107],"influence":[109],"terminates.":[110],"This":[111],"mechanism":[112],"exposes":[113],"structural":[117,202],"arises":[120],"not":[121],"qubit":[123],"disjointness":[124],"or":[125],"superposition,":[127],"but":[128],"reduction":[131],"program.":[137],"We":[138],"formalize":[139],"phenomenon":[141],"through":[142,182],"notion":[144],"regions":[147],"dependence":[151],"graph":[152],"show":[154],"reclamation":[157],"induces":[158],"contraction":[160],"these":[162],"regions,":[163],"collapsing":[164],"into":[167],"closed":[169],"structures.":[170],"As":[171],"consequence,":[173],"circuits":[174],"compiled":[175],"under":[176],"reduce":[179],"peak":[180],"systematic":[183],"ancilla":[184],"reuse":[185],"improve":[187],"space\u2013time":[188],"volume":[189],"without":[190],"increasing":[191],"asymptotic":[192],"depth,":[193],"illustrating":[194],"how":[195],"high-level":[196],"semantics":[198],"reshape":[200],"properties":[203],"circuits.":[206]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-07-12T00:00:00"}