{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T14:28:29Z","timestamp":1754144909242,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,16]]},"DOI":"10.1145\/3736112.3736143","type":"proceedings-article","created":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T15:02:27Z","timestamp":1749826947000},"page":"28-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Gate Fusion Is Map Fusion"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6061-5993","authenticated-orcid":false,"given":"Martin","family":"Elsman","sequence":"first","affiliation":[{"name":"University of Copenhagen, Copenhagen, Denmark"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1195-9722","authenticated-orcid":false,"given":"Troels","family":"Henriksen","sequence":"additional","affiliation":[{"name":"University of Copenhagen, Copenhagen, Denmark"}]}],"member":"320","published-online":{"date-parts":[[2025,6,16]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.70.052328"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3689609.3689998"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3609024.3609412"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1103\/physreva.52.3457"},{"key":"e_1_3_2_2_5_1","unstructured":"Srikar Chundury Jiajia Li In-Saeng Suh and Frank Mueller. 2024. DiaQ: Efficient State-Vector Quantum Simulation. arxiv:2405.01250. arxiv:2405.01250"},{"key":"e_1_3_2_2_6_1","unstructured":"Gavin E. Crooks. 2024. Quantum Gates - Gates States and Circuits. https:\/\/threeplusone.com\/gates Tech. Note 014 v0.11.0 beta"},{"key":"e_1_3_2_2_7_1","volume-title":"Gambetta","author":"Cross Andrew W.","year":"2017","unstructured":"Andrew W. Cross, Lev S. Bishop, John A. Smolin, and Jay M. Gambetta. 2017. Open Quantum Assembly Language. arxiv:1707.03429. arxiv:1707.03429"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/qce49297.2020.00035"},{"key":"e_1_3_2_2_9_1","volume-title":"Proceedings of the 2nd Workshop on Quantum Software (WQS","author":"Elsman Martin","year":"2025","unstructured":"Martin Elsman. 2025. Deriving a Kronecker-Free Functional Quantum Simulator. In Proceedings of the 2nd Workshop on Quantum Software (WQS 2025)."},{"key":"e_1_3_2_2_10_1","volume-title":"Oancea","author":"Elsman Martin","year":"2018","unstructured":"Martin Elsman, Troels Henriksen, and Cosmin E. Oancea. 2018. Parallel Programming in Futhark. https:\/\/futhark-book.readthedocs.io"},{"key":"e_1_3_2_2_11_1","unstructured":"Jennifer Faj Ivy Peng Jacob Wahlgren and Stefano Markidis. 2023. Quantum Computer Simulations at Warp Speed: Assessing the Impact of GPU Acceleration. arxiv:2307.14860. arxiv:2307.14860"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/sc.2016.73"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/3014904.3015003"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460944.3464310"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2502323.2502328"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062354"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/aaa5cc"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3491248"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2405.08810"},{"key":"e_1_3_2_2_22_1","volume-title":"QuEST and high performance simulation of quantum computers. Scientific Reports, 9","author":"Jones T","year":"2019","unstructured":"T Jones, A Brown, I Bush, and S Benjamin. 2019. QuEST and high performance simulation of quantum computers. Scientific Reports, 9, 2019 (2019)."},{"key":"e_1_3_2_2_23_1","volume-title":"An Introduction to Quantum Computing","author":"Kaye Phillip","year":"1985","unstructured":"Phillip Kaye, Raymond Laflamme, and Michele Mosca. 2007. An Introduction to Quantum Computing. Oxford University Press, Inc., USA. isbn:0198570007"},{"volume-title":"Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing. Springer-Verlag","author":"Kennedy Ken","key":"e_1_3_2_2_24_1","unstructured":"Ken Kennedy and Kathryn S. McKinley. 1993. Maximizing Loop Parallelism and Improving Data Locality via Loop Fusion and Distribution. In Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing. Springer-Verlag, Berlin, Heidelberg. 301\u2013320. isbn:3540576592"},{"key":"e_1_3_2_2_25_1","unstructured":"N. Khammassi G. G. Guerreschi I. Ashraf J. W. Hogaboam C. G. Almudever and K. Bertels. 2018. cQASM v1.0: Towards a Common Quantum Assembly Language. arxiv:1805.09607. arxiv:1805.09607"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009880"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.07.012"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1137\/050644756"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3587216.3587218"},{"key":"e_1_3_2_2_30_1","volume-title":"Chuang","author":"Nielsen Michael A.","year":"2011","unstructured":"Michael A. Nielsen and Isaac L. Chuang. 2011. Quantum Computation and Quantum Information: 10th Anniversary Edition (10th ed.). Cambridge University Press, USA. isbn:1107002176"},{"key":"e_1_3_2_2_31_1","volume-title":"Structured Quantum Programming","author":"Omer Bernhard","year":"2003","unstructured":"Bernhard Omer. 2009. Structured Quantum Programming. Institute for Theoretical Physics Vienna University of Technology. http:\/\/tph.tuwien.ac.at\/~oemer\/doc\/structquprog.pdf first version 26th May 2003"},{"volume-title":"Quantum Entanglement Analysis Based on Abstract Interpretation","author":"Perdrix Simon","key":"e_1_3_2_2_32_1","unstructured":"Simon Perdrix. 2008. Quantum Entanglement Analysis Based on Abstract Interpretation. In Static Analysis, Mar\u00eda Alpuente and Germ\u00e1n Vidal (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 270\u2013282. isbn:978-3-540-69166-2"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ad5b16"},{"key":"e_1_3_2_2_34_1","volume-title":"Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers. arxiv:2406.14792. arxiv:2406.14792","author":"Seidel Raphael","year":"2024","unstructured":"Raphael Seidel, Sebastian Bock, Ren\u00e9 Zander, Matic Petri\u010d, Niklas Steinmann, Nikolay Tcholtchev, and Manfred Hauswirth. 2024. Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers. arxiv:2406.14792. arxiv:2406.14792"},{"key":"e_1_3_2_2_35_1","unstructured":"Mikhail Smelyanskiy Nicolas P. D. Sawaya and Al\u00e1n Aspuru-Guzik. 2016. qHiPSTER: The Quantum High Performance Software Testing Environment. arxiv:1601.07195. arxiv:1601.07195"},{"key":"e_1_3_2_2_36_1","unstructured":"Robert Smith. 2023. A tutorial quantum interpreter in 150 lines of Lisp. https:\/\/www.stylewarning.com\/posts\/quantum-interpreter\/ Blog post."},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-01-31-49"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183895.3183901"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","unstructured":"Quantum AI team and collaborators. 2020. qsim. https:\/\/doi.org\/10.5281\/zenodo.4023103 10.5281\/zenodo.4023103","DOI":"10.5281\/zenodo.4023103"},{"key":"e_1_3_2_2_40_1","volume-title":"Kaitlin N. Smith, Joshua Viszlai, Xin-Chuan Wu, Nikos Hardavellas, Margaret R. Martonosi, and Frederic T. Chong.","author":"Tomesh Teague","year":"2022","unstructured":"Teague Tomesh, Pranav Gokhale, Victory Omole, Gokul Subramanian Ravi, Kaitlin N. Smith, Joshua Viszlai, Xin-Chuan Wu, Nikos Hardavellas, Margaret R. Martonosi, and Frederic T. Chong. 2022. SupermarQ: A Scalable Quantum Benchmark Suite. arxiv:2202.11045. arxiv:2202.11045"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84628-887-6"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523433"}],"event":{"name":"ARRAY '25: 11th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Seoul Republic of Korea","acronym":"ARRAY '25"},"container-title":["Proceedings of the 11th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3736112.3736143","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T05:57:37Z","timestamp":1752645457000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3736112.3736143"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,16]]},"references-count":42,"alternative-id":["10.1145\/3736112.3736143","10.1145\/3736112"],"URL":"https:\/\/doi.org\/10.1145\/3736112.3736143","relation":{},"subject":[],"published":{"date-parts":[[2025,6,16]]},"assertion":[{"value":"2025-06-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}