{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T15:16:49Z","timestamp":1780413409079,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"German Federal Ministry of Research, Technology and Space (BMFTR), funding program \"quantum technologies\u2014from basic research to market\"","award":["13N17387"],"award-info":[{"award-number":["13N17387"]}]},{"name":"High-Tech Agenda of the Free State of Bavaria","award":["-"],"award-info":[{"award-number":["-"]}]},{"name":"German Research Foundation","award":["MA9739\/1-1"],"award-info":[{"award-number":["MA9739\/1-1"]}]},{"name":"German Research Foundation","award":["SCHA1635\/20-1"],"award-info":[{"award-number":["SCHA1635\/20-1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3786150.3788611","type":"proceedings-article","created":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T14:22:46Z","timestamp":1780410166000},"page":"50-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Quantum Software for Quantum Simulation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2801-7192","authenticated-orcid":false,"given":"Maja","family":"Franz","sequence":"first","affiliation":[{"name":"Technical University of Applied Sciences Regensburg, Regensburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-7171-0865","authenticated-orcid":false,"given":"Lukas","family":"Schmidbauer","sequence":"additional","affiliation":[{"name":"Technical University of Applied Sciences Regensburg, Regensburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5533-7274","authenticated-orcid":false,"given":"Joshua","family":"Ammermann","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7153-761X","authenticated-orcid":false,"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9765-8313","authenticated-orcid":false,"given":"Wolfgang","family":"Mauerer","sequence":"additional","affiliation":[{"name":"Technical University of Applied Sciences Regensburg, Regensburg, Germany and Siemens AG, Foundational Technologies, Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,2]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","unstructured":"Ehud Altman Kenneth\u00a0R. Brown Giuseppe Carleo Lincoln\u00a0D. Carr Eugene Demler Cheng Chin Brian DeMarco Sophia\u00a0E. Economou Mark\u00a0A. Eriksson Kai-Mei\u00a0C. Fu Markus Greiner Kaden\u00a0R.A. Hazzard Randall\u00a0G. Hulet Alicia\u00a0J. Koll\u00e1r Benjamin\u00a0L. Lev Mikhail\u00a0D. Lukin Ruichao Ma Xiao Mi Shashank Misra Christopher Monroe Kater Murch Zaira Nazario Kang-Kuen Ni Andrew\u00a0C. Potter Pedram Roushan Mark Saffman Monika Schleier-Smith Irfan Siddiqi Raymond Simmonds Meenakshi Singh I.B. Spielman Kristan Temme David\u00a0S. Weiss Jelena Vu\u00a0\u010dkovi\u0107\u00a0 Vladan Vuleti\u0107 Jun Ye and Martin Zwierlein. 2021. Quantum Simulators: Architectures and Opportunities. PRX Quantum (2021) 017003. 10.1103\/PRXQuantum.2.017003","DOI":"10.1103\/PRXQuantum.2.017003"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.18420\/inf2024_43"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","unstructured":"R Au-Yeung B Camino O Rathore and V Kendon. 2024. Quantum algorithms for scientific computing. Rep. Prog. Phys. 87 11 (2024) 116001. 10.1088\/1361-6633\/ad85f0","DOI":"10.1088\/1361-6633\/ad85f0"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","unstructured":"Christian\u00a0W. Bauer Zohreh Davoudi A.\u00a0Baha Balantekin Tanmoy Bhattacharya Marcela Carena Wibe\u00a0A. de Jong Patrick Draper Aida El-Khadra Nate Gemelke Masanori Hanada Dmitri Kharzeev Henry Lamm Ying-Ying Li Junyu Liu Mikhail Lukin Yannick Meurice Christopher Monroe Benjamin Nachman Guido Pagano John Preskill Enrico Rinaldi Alessandro Roggero David\u00a0I. Santiago Martin\u00a0J. Savage Irfan Siddiqi George Siopsis David Van\u00a0Zanten Nathan Wiebe Yukari Yamauchi K\u00fcbra Yeter-Aydeniz and Silvia Zorzetti. 2023. Quantum Simulation for High-Energy Physics. PRX Quantum 4 (2023) 027001. Issue 2. 10.1103\/PRXQuantum.4.027001","DOI":"10.1103\/PRXQuantum.4.027001"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","unstructured":"Juan Bermejo-Vega Dominik Hangleiter Martin Schwarz Robert Raussendorf and Jens Eisert. 2018. Architectures for Quantum Simulation Showing a Quantum Speedup. PRX 8 2 (2018). 10.1103\/physrevx.8.021010","DOI":"10.1103\/physrevx.8.021010"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-64136-7_12"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","unstructured":"Cirq developers. 2025. Cirq. 10.5281\/zenodo.4062499","DOI":"10.5281\/zenodo.4062499"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","unstructured":"Andrew Cross Ali Javadi-Abhari Thomas Alexander Niel De\u00a0Beaudrap Lev\u00a0S. Bishop Steven Heidel Colm\u00a0A. Ryan Prasahnt Sivarajah John Smolin Jay\u00a0M. Gambetta and Blake\u00a0R. Johnson. 2022. OpenQASM 3: A Broader and Deeper Quantum Assembly Language. ACM TQC 3 3 Article 12 (2022) 50\u00a0pages. 10.1145\/3505636","DOI":"10.1145\/3505636"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","unstructured":"Andrew\u00a0J Daley Immanuel Bloch Christian Kokail Stuart Flannigan Natalie Pearson Matthias Troyer and Peter Zoller. 2022. Practical quantum advantage in quantum simulation. Nature 607 7920 (2022) 667\u2013676. 10.1038\/s41586-022-04940-6","DOI":"10.1038\/s41586-022-04940-6"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"Ivan\u00a0H Deutsch Gavin\u00a0K Brennen and Poul\u00a0S Jessen. 2000. Quantum computing with neutral atoms in an optical lattice. Fortschr. Phys. 48 9-11 (2000) 925\u2013943.","DOI":"10.1002\/1521-3978(200009)48:9\/11<925::AID-PROP925>3.0.CO;2-A"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/Q-SE66736.2025.00010"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","unstructured":"Yulong Dong K.\u00a0Birgitta Whaley and Lin Lin. 2022. A quantum hamiltonian simulation benchmark. npj Quantum Inf. 8 1 (2022). 10.1038\/s41534-022-00636-x","DOI":"10.1038\/s41534-022-00636-x"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.14"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","unstructured":"Maja Franz P\u00eda Zurita Markus Diefenthaler and Wolfgang Mauerer. 2024. Co-Design of Quantum Hardware and Algorithms in Nuclear and High Energy Physics. EPJ Web of Conferences 295 (2024) 12002. 10.1051\/epjconf\/202429512002","DOI":"10.1051\/epjconf\/202429512002"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","unstructured":"Stefania Fresca and Andrea Manzoni. 2021. Real-Time Simulation of Parameter-Dependent Fluid Flows through Deep Learning-Based Reduced Order Models. Fluids 6 7 (2021). 10.3390\/fluids6070259","DOI":"10.3390\/fluids6070259"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Jad\u00a0C. Halimeh Masanori Hanada Shunji Matsuura Franco Nori Enrico Rinaldi and Andreas Sch\u00e4fer. 2025. A universal framework for the quantum simulation of Yang-Mills theory. arxiv:https:\/\/arXiv.org\/abs\/2411.13161\u00a0[quant-ph]","DOI":"10.1038\/s42005-025-02421-6"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-87216-8"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"P. Hauke D. Marcos M. Dalmonte and P. Zoller. 2013. Quantum Simulation of a Lattice Schwinger Model in a Chain of Trapped Ions. PRX 3 (2013) 041018. Issue 4. 10.1103\/PhysRevX.3.041018","DOI":"10.1103\/PhysRevX.3.041018"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","unstructured":"Lucas Lamata Adrian Parra-Rodriguez Mikel Sanz and Enrique Solano. 2018. Digital-analog quantum simulations with superconducting circuits. Adv. Phys.: X 3 1 (2018) 1457981. 10.1080\/23746149.2018.1457981","DOI":"10.1080\/23746149.2018.1457981"},{"key":"e_1_3_3_1_21_2","unstructured":"Daniel Lobser Joshua Goldberg Andrew\u00a0J. Landahl Peter Maunz Benjamin C.\u00a0A. Morrison Kenneth Rudinger Antonio Russo Brandon Ruzic Daniel Stick Jay Van\u00a0Der Wall and Susan\u00a0M. Clark. 2023. JaqalPaw: A Guide to Defining Pulses and Waveforms for Jaqal. arxiv:https:\/\/arXiv.org\/abs\/2305.02311\u00a0[quant-ph]"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","unstructured":"Andrew Lucas. 2014. Ising formulations of many NP problems. Front. in Phys. 2 (2014). 10.3389\/fphy.2014.00005","DOI":"10.3389\/fphy.2014.00005"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","unstructured":"Yannick Meurice Ryo Sakai and Judah Unmuth-Yockey. 2022. Tensor lattice field theory for renormalization and quantum computing. RMP 94 2 (2022). 10.1103\/revmodphys.94.025005","DOI":"10.1103\/revmodphys.94.025005"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","unstructured":"Alexander Miessen Pauline\u00a0J. Ollitrault Francesco Tacchino and Ivano Tavernelli. 2022. Quantum algorithms for quantum dynamics. Nature Computational Science 3 1 (2022) 25\u201337. 10.1038\/s43588-022-00374-2","DOI":"10.1038\/s43588-022-00374-2"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","unstructured":"Juan\u00a0Manuel Murillo Jose Garcia-Alonso Enrique Moguel Johanna Barzen Frank Leymann Shaukat Ali Tao Yue Paolo Arcaini Ricardo P\u00e9rez-Castillo Ignacio Garc\u00eda-Rodr\u00edguez\u00a0de Guzm\u00e1n Mario Piattini Antonio Ruiz-Corts Antonio Brogi Jianjun Zhao Andriy Miranskyy and Manuel Wimmer. 2025. Quantum Software Engineering: Roadmap and Challenges Ahead. ACM Trans. Softw. Eng. Methodol. (2025). 10.1145\/3712002","DOI":"10.1145\/3712002"},{"key":"e_1_3_3_1_26_2","volume-title":"PASQAL","author":"developers PASQAL","year":"2025","unstructured":"PASQAL developers. 2025. PASQAL."},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","unstructured":"Qiskit developers. 2025. Qiskit: An Open-source Framework for Quantum Computing. 10.5281\/zenodo.2562110","DOI":"10.5281\/zenodo.2562110"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE65121.2025.10286"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1109\/QSW67625.2025.00021"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/QSW62656.2024.00018"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","unstructured":"Alexander\u00a0F. Shaw Pavel Lougovski Jesse\u00a0R. Stryker and Nathan Wiebe. 2020. Quantum Algorithms for Simulating the Lattice Schwinger Model. Quantum 4 (2020) 306. 10.22331\/q-2020-08-10-306","DOI":"10.22331\/q-2020-08-10-306"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/QSW67625.2025.00035"},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"publisher","unstructured":"Matthias Troyer and Uwe-Jens Wiese. 2005. Computational Complexity and Fundamental Limitations to Fermionic Quantum Monte Carlo Simulations. PRL 94 (2005) 170201. Issue 17. 10.1103\/PhysRevLett.94.170201","DOI":"10.1103\/PhysRevLett.94.170201"},{"key":"e_1_3_3_1_34_2","doi-asserted-by":"publisher","unstructured":"Bing Yang Hui Sun Robert Ott Han-Yi Wang Torsten\u00a0V. Zache Jad\u00a0C. Halimeh Zhen-Sheng Yuan Philipp Hauke and Jian-Wei Pan. 2020. Observation of gauge invariance in a 71-site Bose\u2013Hubbard quantum simulator. Nature 587 7834 (2020) 392\u2013396. 10.1038\/s41586-020-2910-8","DOI":"10.1038\/s41586-020-2910-8"},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"publisher","unstructured":"Tao Yue Wolfgang Mauerer Shaukat Ali and Davide Taibi. 2023. Challenges and Opportunities in Quantum Software Architecture. (2023) 1\u201323. 10.1007\/978-3-031-36847-9_1","DOI":"10.1007\/978-3-031-36847-9_1"},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"publisher","unstructured":"Zhao-Yu Zhou Guo-Xian Su Jad\u00a0C. Halimeh Robert Ott Hui Sun Philipp Hauke Bing Yang Zhen-Sheng Yuan J\u00fcrgen Berges and Jian-Wei Pan. 2022. Thermalization dynamics of a gauge theory on a quantum simulator. Science 377 6603 (2022) 311\u2013314. 10.1126\/science.abl6277","DOI":"10.1126\/science.abl6277"}],"event":{"name":"Q-SE '26: IEEE\/ACM International Workshop on Quantum Software Engineering","location":"Rio de Janeiro , Brazil","acronym":"Q-SE '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 7th IEEE\/ACM International Workshop on Quantum Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3786150.3788611","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T14:49:49Z","timestamp":1780411789000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3786150.3788611"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":35,"alternative-id":["10.1145\/3786150.3788611","10.1145\/3786150"],"URL":"https:\/\/doi.org\/10.1145\/3786150.3788611","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-06-02","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}