{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T14:42:07Z","timestamp":1773931327422,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,7,20]]},"DOI":"10.1145\/3731545.3744153","type":"proceedings-article","created":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T12:46:16Z","timestamp":1757421976000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5937-5796","authenticated-orcid":false,"given":"Simone","family":"Faro","sequence":"first","affiliation":[{"name":"University of Catania, catania, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4722-9542","authenticated-orcid":false,"given":"Francesco Pio","family":"Marino","sequence":"additional","affiliation":[{"name":"University of Catania, catania, Italy"},{"name":"University of Rouen, rouen, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-9926-3691","authenticated-orcid":false,"given":"Gabriele","family":"Messina","sequence":"additional","affiliation":[{"name":"University of Catania, catania, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,9,9]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"300","volume-title":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","author":"Bichsel Benjamin","unstructured":"Benjamin Bichsel, Daniel Zhan, Goran Sutter, and Martin Vechev. Silq: A high-level quantum language with safe uncomputation and intuitive semantics. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 286\u2013300. ACM, 2020."},{"key":"e_1_3_2_1_2_1","series-title":"Lecture Notes in Computer Science","first-page":"133","volume-title":"Reversible Computation - 15th International Conference, RC","author":"Cantone Domenico","year":"2023","unstructured":"Domenico Cantone, Simone Faro, and Arianna Pavone. Quantum string matching unfolded and extended. In Martin Kutrib and Uwe Meyer, editors, Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, volume 13960 of Lecture Notes in Computer Science, pages 117\u2013133. Springer, 2023."},{"key":"e_1_3_2_1_3_1","volume-title":"Pyquil: A python library for quantum programming. https:\/\/github.com\/rigetti\/pyquil","author":"Computing Rigetti","year":"2023","unstructured":"Rigetti Computing. Pyquil: A python library for quantum programming. https:\/\/github.com\/rigetti\/pyquil, 2023. Accessed: 2024-11-19."},{"key":"e_1_3_2_1_4_1","volume-title":"A quantum assembly language. arXiv preprint arXiv:1707.03429","author":"Cross Andrew W.","year":"2017","unstructured":"Andrew W. Cross, Lev S. Bishop, John A. Smolin, and Jay M. Gambetta. A quantum assembly language. arXiv preprint arXiv:1707.03429, 2017."},{"key":"e_1_3_2_1_5_1","first-page":"553","article-title":"Rapid solution of problems by quantum computation","volume":"439","author":"Deutsch David","year":"1992","unstructured":"David Deutsch and Richard Jozsa. Rapid solution of problems by quantum computation. Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences, 439:553\u2013558, 1992.","journal-title":"Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 25nd Italian Conference on Theoretical Computer Science","author":"Faro Simone","year":"2024","unstructured":"Simone Faro, Arianna Pavone, and Caterina Viola. Families of constant-depth quantum circuits for rotations and permutations. In Proceedings of the 25nd Italian Conference on Theoretical Computer Science, Torino, Italy, 2024."},{"key":"e_1_3_2_1_7_1","volume-title":"TAMC 2024, Hong Kong, China, May 13\u201315, 2024, Proceedings","volume":"14637","author":"Faro Simone","year":"2024","unstructured":"Simone Faro, Arianna Pavone, and Caterina Viola. Quantum path parallelism: A circuit-based approach to text searching. In Xujin Chen and Bo Li, editors, Theory and Applications of Models of Computation - 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13\u201315, 2024, Proceedings, volume 14637 of Lecture Notes in Computer Science, pages 247\u2013259. Springer, 2024."},{"key":"e_1_3_2_1_8_1","volume-title":"Open-source quantum software projects","author":"Fingerhuth Mark","year":"2024","unstructured":"Mark Fingerhuth. Open-source quantum software projects. 2024."},{"key":"e_1_3_2_1_9_1","first-page":"173","volume-title":"Towards Higher Abstraction Levels in Quantum Computing","author":"F\u00fcrntratt H.","unstructured":"H. F\u00fcrntratt, P. Schnabl, F. Krebs, R. Unterberger, and H. Zeiner. Towards Higher Abstraction Levels in Quantum Computing, pages 162\u2013173. 03 2024."},{"key":"e_1_3_2_1_10_1","first-page":"342","volume-title":"Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Green Alexander S.","year":"2013","unstructured":"Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, and Beno\u00eet Valiron. Quipper: A scalable quantum programming language. In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 333\u2013342, New York, NY, USA, 2013. ACM."},{"key":"e_1_3_2_1_11_1","volume-title":"Quantum computing with Qiskit","author":"Javadi-Abhari A.","year":"2024","unstructured":"A. Javadi-Abhari, M. Treinish, K. Krsulich, C.J. Wood, J. Lishman, J. Gacon, S. Martiel, P.D. Nation, L.S. Bishop, A.W. Cross, B.R. Johnson, and J.M. Gambetta. Quantum computing with Qiskit, 2024."},{"key":"e_1_3_2_1_12_1","volume-title":"The q# programming language. https:\/\/learn.microsoft.com\/en-us\/azure\/quantum\/","author":"Development Kit Microsoft Quantum","year":"2023","unstructured":"Microsoft Quantum Development Kit. The q# programming language. https:\/\/learn.microsoft.com\/en-us\/azure\/quantum\/, 2023. Accessed: 2024-11-19."},{"key":"e_1_3_2_1_13_1","first-page":"24","volume-title":"Proceedings of the 2024 Workshop on Quantum Search and Information Retrieval","author":"Marino Francesco Pio","year":"2024","unstructured":"Francesco Pio Marino, Simone Faro, and Antonio Scardace. Practical implementation of a quantum string matching algorithm. In Proceedings of the 2024 Workshop on Quantum Search and Information Retrieval, pages 17\u201324, 2024."},{"key":"e_1_3_2_1_14_1","volume-title":"The Definitive ANTLR 4 Reference. Pragmatic Bookshelf, 2 edition","author":"Parr T.","year":"2013","unstructured":"T. Parr. The Definitive ANTLR 4 Reference. Pragmatic Bookshelf, 2 edition, 2013."},{"key":"e_1_3_2_1_15_1","series-title":"CEUR Workshop Proceedings","first-page":"218","volume-title":"Proceedings of the 24th Italian Conference on Theoretical Computer Science","author":"Pavone Arianna","unstructured":"Arianna Pavone and Caterina Viola. The quantum cyclic rotation gate. In Giuseppa Castiglione and Marinella Sciortino, editors, Proceedings of the 24th Italian Conference on Theoretical Computer Science, volume 3587 of CEUR Workshop Proceedings, pages 206\u2013218. CEUR-WS.org, 2023."},{"issue":"7","key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","first-page":"830","DOI":"10.1007\/s42979-024-03141-4","article-title":"The quantum cyclic rotation gate","volume":"5","author":"Pavone Arianna","year":"2024","unstructured":"Arianna Pavone and Caterina Viola. The quantum cyclic rotation gate. SN Comput. Sci., 5(7):830, 2024.","journal-title":"SN Comput. Sci."},{"key":"e_1_3_2_1_17_1","volume-title":"List of qc simulators","year":"2024","unstructured":"Quantiki. List of qc simulators. 2024."},{"key":"e_1_3_2_1_18_1","volume-title":"Cirq: A python framework for creating, editing, and invoking noisy intermediate scale quantum (nisq) circuits. https:\/\/quantumai.google\/cirq","author":"Quantum Google AI","year":"2023","unstructured":"Google AI Quantum and Collaborators. Cirq: A python framework for creating, editing, and invoking noisy intermediate scale quantum (nisq) circuits. https:\/\/quantumai.google\/cirq, 2023. Accessed: 2024-11-19."},{"key":"e_1_3_2_1_19_1","volume-title":"Qmod: Expressive high-level quantum modeling","author":"Vax Matan","year":"2025","unstructured":"Matan Vax, Peleg Emanuel, Eyal Cornfeld, Israel Reichental, Ori Opher, Ori Roth, Tal Michaeli, Lior Preminger, Lior Gazit, Amir Naveh, and Yehuda Naveh. Qmod: Expressive high-level quantum modeling, 2025."},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. ACM Program. Lang., 6(POPL)","author":"Yuan Charles","year":"2022","unstructured":"Charles Yuan, Christopher McNally, and Michael Carbin. Twist: sound reasoning for purity and entanglement in quantum programs. Proc. ACM Program. Lang., 6(POPL), January 2022."},{"issue":"3","key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","first-page":"415","DOI":"10.3390\/e25030415","article-title":"Entanglement swapping and swapped entanglement","volume":"25","author":"Zangi Sultan M.","year":"2023","unstructured":"Sultan M. Zangi, Chitra Shukla, Atta ur Rahman, and Bo Zheng. Entanglement swapping and swapped entanglement. Entropy, 25(3):415, February 2023.","journal-title":"Entropy"}],"event":{"name":"HPDC '25: 34th International Symposium on High-Performance Parallel and Distributed Computing","location":"University of Notre Dame Conference Facilities Notre Dame IN USA","acronym":"HPDC '25","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 34th International Symposium on High-Performance Parallel and Distributed Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3731545.3744153","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T12:50:25Z","timestamp":1757422225000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3731545.3744153"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,20]]},"references-count":21,"alternative-id":["10.1145\/3731545.3744153","10.1145\/3731545"],"URL":"https:\/\/doi.org\/10.1145\/3731545.3744153","relation":{},"subject":[],"published":{"date-parts":[[2025,7,20]]},"assertion":[{"value":"2025-09-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}