{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T05:12:13Z","timestamp":1783746733516,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,7,13]],"date-time":"2026-07-13T00:00:00Z","timestamp":1783900800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,13]]},"DOI":"10.1145\/3806645.3816162","type":"proceedings-article","created":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T04:21:11Z","timestamp":1783743671000},"page":"699-705","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Structural Parallelism in Quantum Programs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5937-5796","authenticated-orcid":false,"given":"Simone","family":"Faro","sequence":"first","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Catania, Catania, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4722-9542","authenticated-orcid":false,"given":"Francesco Pio","family":"Marino","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Catania, Catania, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-9926-3691","authenticated-orcid":false,"given":"Gabriele","family":"Messina","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Catania, Catania, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,13]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386007"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"crossref","unstructured":"Richard Cleve Artur Ekert Chiara Macchiavello and Michele Mosca. 1998. Quantum algorithms revisited. Proceedings of the Royal Society of London. Series A: Mathematical Physical and Engineering Sciences 454 1969 (1998) 339\u2013354.","DOI":"10.1098\/rspa.1998.0164"},{"key":"e_1_3_3_2_4_2","unstructured":"Andrew\u00a0W Cross Lev\u00a0S Bishop John\u00a0A Smolin and Jay\u00a0M Gambetta. 2017. Open quantum assembly language. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/1707.03429 (2017)."},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"crossref","unstructured":"David Deutsch and Richard Jozsa. 1992. Rapid solution of problems by quantum computation. Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences 439 1907 (1992) 553\u2013558.","DOI":"10.1098\/rspa.1992.0167"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","unstructured":"Cirq Developers. 2024. Cirq. https:\/\/quantumai.google\/cirq. 10.5281\/zenodo.15191735","DOI":"10.5281\/zenodo.15191735"},{"key":"e_1_3_3_2_7_2","unstructured":"Simone Faro Francesco\u00a0Pio Marino and Gabriele Messina. 2026. Reversible Lifetime Semantics for Quantum Programs. arxiv:https:\/\/arXiv.org\/abs\/2603.14538\u00a0[quant-ph] https:\/\/arxiv.org\/abs\/2603.14538"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-97-2340-9_21"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-97-0989-2_13"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","unstructured":"Ali Javadi-Abhari Matthew Treinish Kevin Krsulich Christopher\u00a0J. Wood Jake Lishman Julien Gacon Simon Martiel Paul\u00a0D. Nation Lev\u00a0S. Bishop Andrew\u00a0W. Cross Blake\u00a0R. Johnson and Jay\u00a0M. Gambetta. 2024. Quantum computing with Qiskit. arXiv:https:\/\/arXiv.org\/abs\/2405.08810\u00a0[quant-ph] 10.48550\/arXiv.2405.08810","DOI":"10.48550\/arXiv.2405.08810"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"crossref","unstructured":"Ryan LaRose. 2019. Overview and Comparison of Gate Level Quantum Software Platforms. Quantum 3 (2019) 130.","DOI":"10.22331\/q-2019-03-25-130"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"crossref","unstructured":"Peter\u00a0W Shor. 1999. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Rev. 41 2 (1999).","DOI":"10.1137\/S0036144598347011"},{"key":"e_1_3_3_2_15_2","unstructured":"Robert\u00a0S Smith Michael\u00a0J Curtis and William\u00a0J Zeng. 2016. A practical quantum instruction set architecture. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/1608.03355 (2016)."},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/3183895.3183901"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"crossref","unstructured":"Matan Vax Peleg Emanuel Eyal Cornfeld Israel Reichental Ori Opher Ori Roth Tal Michaeli Lior Preminger Lior Gazit Amir Naveh and Yehuda Naveh. 2025. Qmod: Expressive High-Level Quantum Modeling. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2502.19368 (2025).","DOI":"10.1109\/QSW67625.2025.00026"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"crossref","unstructured":"Charles Yuan Christopher McNally and Michael Carbin. 2022. Twist: Sound reasoning for purity and entanglement in quantum programs. Proceedings of the ACM on Programming Languages 6 POPL (2022) 1\u201332.","DOI":"10.1145\/3498691"}],"event":{"name":"HPDC '26: 35th International Symposium on High-Performance Parallel and Distributed Computing","location":"Cleveland USA","acronym":"HPDC '26","sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 35th International Symposium on High-Performance Parallel and Distributed Computing"],"original-title":[],"deposited":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T04:22:28Z","timestamp":1783743748000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3806645.3816162"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,13]]},"references-count":17,"alternative-id":["10.1145\/3806645.3816162","10.1145\/3806645"],"URL":"https:\/\/doi.org\/10.1145\/3806645.3816162","relation":{},"subject":[],"published":{"date-parts":[[2026,7,13]]},"assertion":[{"value":"2026-07-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}