{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:04:14Z","timestamp":1750309454123,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,3]]},"DOI":"10.1145\/3696443.3708949","type":"proceedings-article","created":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T11:50:26Z","timestamp":1740225026000},"page":"284-298","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis of Quantum Simulators by Compilation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5070-1898","authenticated-orcid":false,"given":"Meisam","family":"Tarabkhah","sequence":"first","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6354-330X","authenticated-orcid":false,"given":"Mahshid","family":"Delavar","sequence":"additional","affiliation":[{"name":"University of Sheffield, Edinburgh, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0920-335X","authenticated-orcid":false,"given":"Mina","family":"Doosti","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9062-759X","authenticated-orcid":false,"given":"Amir","family":"Shaikhha","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2025,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.70.052328"},{"key":"e_1_3_2_1_2_1","unstructured":"Mart\u00edn Abadi Ashish Agarwal Paul Barham Eugene Brevdo Zhifeng Chen Craig Citro Greg S. Corrado Andy Davis Jeffrey Dean Matthieu Devin Sanjay Ghemawat Ian Goodfellow Andrew Harp Geoffrey Irving Michael Isard Yangqing Jia Rafal Jozefowicz Lukasz Kaiser Manjunath Kudlur Josh Levenberg Dandelion Man\u00e9 Rajat Monga Sherry Moore Derek Murray Chris Olah Mike Schuster Jonathon Shlens Benoit Steiner Ilya Sutskever Kunal Talwar Paul Tucker Vincent Vanhoucke Vijay Vasudevan Fernanda Vi\u00e9gas Oriol Vinyals Pete Warden Martin Wattenberg Martin Wicke Yuan Yu and Xiaoqiang Zheng. 2015. TensorFlow: Large-Scale Machine Learning on Heterogeneous Systems. https:\/\/www.tensorflow.org\/ Software available from tensorflow.org"},{"key":"e_1_3_2_1_3_1","volume-title":"Fernando GSL Brandao, and David A Buell","author":"Arute Frank","year":"2019","unstructured":"Frank Arute, Kunal Arya, Ryan Babbush, Dave Bacon, Joseph C Bardin, Rami Barends, Rupak Biswas, Sergio Boixo, Fernando GSL Brandao, and David A Buell. 2019. Quantum supremacy using a programmable superconducting processor. Nature, 574, 7779 (2019), 505\u2013510."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.71.022316"},{"key":"e_1_3_2_1_5_1","volume-title":"Quantum chemistry in the age of quantum computing. Chemical reviews, 119, 19","author":"Cao Yudong","year":"2019","unstructured":"Yudong Cao, Jonathan Romero, Jonathan P Olson, Matthias Degroote, Peter D Johnson, M\u00e1ria Kieferov\u00e1, Ian D Kivlichan, Tim Menke, Borja Peropadre, and Nicolas PD Sawaya. 2019. Quantum chemistry in the age of quantum computing. Chemical reviews, 119, 19 (2019), 10856\u201310915."},{"key":"e_1_3_2_1_6_1","volume-title":"TVM: An Automated End-to-End Optimizing Compiler for Deep Learning. In 13th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2018","author":"Chen Tianqi","year":"2018","unstructured":"Tianqi Chen, Thierry Moreau, Ziheng Jiang, Lianmin Zheng, Eddie Q. Yan, Haichen Shen, Meghan Cowan, Leyuan Wang, Yuwei Hu, Luis Ceze, Carlos Guestrin, and Arvind Krishnamurthy. 2018. TVM: An Automated End-to-End Optimizing Compiler for Deep Learning. In 13th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2018, Carlsbad, CA, USA, October 8-10, 2018, Andrea C. Arpaci-Dusseau and Geoff Voelker (Eds.). USENIX Association, 578\u2013594. https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/chen"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3505636"},{"key":"e_1_3_2_1_8_1","unstructured":"Alexander M Dalzell Sam McArdle Mario Berta Przemyslaw Bienias Chi-Fang Chen Andr\u00e1s Gily\u00e9n Connor T Hann Michael J Kastoryano Emil T Khabiboulline and Aleksander Kubica. 2023. Quantum algorithms: A survey of applications and end-to-end complexities. arXiv preprint arXiv:2310.03011."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.80.012304"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.51.1015"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"key":"e_1_3_2_1_12_1","unstructured":"Alan Geller. 2020. Introducing quantum intermediate representation (QIR). Q# Blog. Sept."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2407.13726"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3622804"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11128-017-1768-7"},{"volume-title":"Kronecker products and matrix calculus with applications","author":"Graham Alexander","key":"e_1_3_2_1_16_1","unstructured":"Alexander Graham. 2018. Kronecker products and matrix calculus with applications. Courier Dover Publications."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3520484"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2023-02-21-931"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.21105\/JOSS.06720"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3491247"},{"key":"e_1_3_2_1_21_1","volume-title":"QuEST and high performance simulation of quantum computers. Scientific reports, 9, 1","author":"Jones Tyson","year":"2019","unstructured":"Tyson Jones, Anna Brown, Ian Bush, and Simon C Benjamin. 2019. QuEST and high performance simulation of quantum computers. Scientific reports, 9, 1 (2019), 10736."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Alexei Yu Kitaev Alexander Shen and Mikhail N Vyalyi. 2002. Classical and quantum computation. American Mathematical Soc..","DOI":"10.1090\/gsm\/047"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133901"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.22331\/Q-2020-10-11-341"},{"volume-title":"Classical and quantum information","author":"Marinescu Dan C","key":"e_1_3_2_1_25_1","unstructured":"Dan C Marinescu. 2011. Classical and quantum information. Academic Press."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/QCE52317.2021.00043"},{"key":"e_1_3_2_1_27_1","volume-title":"Quantum Computation and Quantum Information","author":"Nielsen Michael A","unstructured":"Michael A Nielsen and Isaac L Chuang. 2010. Quantum Computation and Quantum Information (10th ed.). Cambridge University Press. isbn:9781107002173","edition":"10"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1002\/wcms.1481"},{"volume-title":"PyTorch: An Imperative Style","author":"Paszke Adam","key":"e_1_3_2_1_29_1","unstructured":"Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, Alban Desmaison, Andreas Kopf, Edward Yang, Zachary DeVito, Martin Raison, Alykhan Tejani, Sasank Chilamkurthy, Benoit Steiner, Lu Fang, Junjie Bai, and Soumith Chintala. 2019. PyTorch: An Imperative Style, High-Performance Deep Learning Library. In Advances in Neural Information Processing Systems 32. Curran Associates, Inc., 8024\u20138035. http:\/\/papers.neurips.cc\/paper\/9015-pytorch-an-imperative-style-high-performance-deep-learning-library.pdf"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3497776.3517772"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"volume-title":"Feynman Lectures on Computation","author":"Preskill John","key":"e_1_3_2_1_32_1","unstructured":"John Preskill. 2023. Quantum computing 40 years later. In Feynman Lectures on Computation. CRC Press, 193\u2013244."},{"key":"e_1_3_2_1_33_1","unstructured":"Qiskit. [n. d.]. Qiskit. QasmSimulator. https:\/\/qiskit.org\/ecosystem\/aer\/stubs\/qiskit_aer.QasmSimulator.html"},{"volume-title":"Tensor network contractions: methods and applications to quantum many-body systems","author":"Ran Shi-Ju","key":"e_1_3_2_1_34_1","unstructured":"Shi-Ju Ran, Emanuele Tirrito, Cheng Peng, Xi Chen, Luca Tagliacozzo, Gang Su, and Maciej Lewenstein. 2020. Tensor network contractions: methods and applications to quantum many-body systems. Springer Nature."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11128-017-1603-1"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3588717"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","first-page":"964","DOI":"10.22331\/q-2023-03-30-964","article-title":"Simulating quantum circuits using tree tensor networks","volume":"7","author":"Seitz Philipp","year":"2023","unstructured":"Philipp Seitz, Ismael Medina, Esther Cruz, Qunsheng Huang, and Christian B Mendl. 2023. Simulating quantum circuits using tree tensor networks. Quantum, 7 (2023), 964.","journal-title":"Quantum"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3578360.3580264"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.ECOOP.2023.28"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO57630.2024.10444787"},{"volume-title":"A semi-ring dictionary query language for data science. School of Informatics","author":"Shaikhha Amir","key":"e_1_3_2_1_41_1","unstructured":"Amir Shaikhha, Mathieu Huot, Shideh Hashemian, Amirali Kaboli, Alex Mascolo, Milos Nikolic, Jaclyn Smith, and Dan Olteanu. 2024. A semi-ring dictionary query language for data science. School of Informatics, University of Edinburgh."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3527333"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3579990.3580016"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.ECOOP.2019.25"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3639271"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365700"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2015.27"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2854038.2854060"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2857721"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.physrep.2022.08.003"},{"key":"e_1_3_2_1_51_1","volume-title":"Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions. CoRR, abs\/1802.04730","author":"Vasilache Nicolas","year":"2018","unstructured":"Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary DeVito, William S. Moses, Sven Verdoolaege, Andrew Adams, and Albert Cohen. 2018. Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions. CoRR, abs\/1802.04730 (2018), arXiv:1802.04730. arxiv:1802.04730"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.131.180601"},{"key":"e_1_3_2_1_53_1","unstructured":"Kieran Young Marcus Scese and Ali Ebnenasir. 2023. Simulating Quantum Computations on Classical Machines: A Survey. arXiv preprint arXiv:2311.16505."}],"event":{"name":"CGO '25: 23rd ACM\/IEEE International Symposium on Code Generation and Optimization","sponsor":["SIGPLAN SIGPLAN Programming Languages","SIGMICRO SIGMICRO Microarchitecture","IEEE Computer Society IEEE Computer Society"],"location":"Las Vegas NV USA","acronym":"CGO '25"},"container-title":["Proceedings of the 23rd ACM\/IEEE International Symposium on Code Generation and Optimization"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696443.3708949","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:10:13Z","timestamp":1750295413000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696443.3708949"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3]]},"references-count":53,"alternative-id":["10.1145\/3696443.3708949","10.1145\/3696443"],"URL":"https:\/\/doi.org\/10.1145\/3696443.3708949","relation":{},"subject":[],"published":{"date-parts":[[2025,3]]},"assertion":[{"value":"2025-03-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}