{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T15:54:54Z","timestamp":1780674894732,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","funder":[{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["101001318"],"award-info":[{"award-number":["101001318"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,11,16]]},"DOI":"10.1145\/3731599.3767546","type":"proceedings-article","created":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T16:18:44Z","timestamp":1762532324000},"page":"1907-1915","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards Supporting QIR"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5785-2528","authenticated-orcid":false,"given":"Yannick","family":"Stade","sequence":"first","affiliation":[{"name":"Chair for Design Automation, Technical University of Munich, Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4699-1316","authenticated-orcid":false,"given":"Lukas","family":"Burgholzer","sequence":"additional","affiliation":[{"name":"Chair for Design Automation, Technical University of Munich, Munich, Germany and Munich Quantum Software Company, Garching near Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4993-7860","authenticated-orcid":false,"given":"Robert","family":"Wille","sequence":"additional","affiliation":[{"name":"Chair for Design Automation, Technical University of Munich, Munich, Germany and Munich Quantum Software Company, Garching near Munich, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,11,15]]},"reference":[{"key":"e_1_3_3_2_2_2","unstructured":"Ali Asadi Amintor Dusko Chae-Yeun Park Vincent Michaud-Rioux Isidor Schoch Shuli Shu Trevor Vincent and Lee\u00a0James O\u2019Riordan. 2024. Hybrid quantum programming with PennyLane Lightning on HPC platforms. arxiv:https:\/\/arXiv.org\/abs\/2403.02512https:\/\/arxiv.org\/abs\/2403.02512"},{"key":"e_1_3_3_2_3_2","unstructured":"Ville Bergholm Josh Izaac Maria Schuld et\u00a0al. 2022. PennyLane: Automatic differentiation of hybrid quantum-classical computations. arxiv:https:\/\/arXiv.org\/abs\/1811.04968https:\/\/arxiv.org\/abs\/1811.04968"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","unstructured":"Ethan Bernstein and Umesh Vazirani. 1997. Quantum Complexity Theory. SIAM Jour. of Comp. 26 5 (Oct. 1997) 1411\u20131473. 10.1137\/S0097539796300921","DOI":"10.1137\/S0097539796300921"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","unstructured":"Dolev Bluvstein Simon\u00a0J. Evered Alexandra\u00a0A. Geim Sophie\u00a0H. Li Hengyun Zhou Tom Manovitz Sepehr Ebadi Madelyn Cain Marcin Kalinowski Dominik Hangleiter J.\u00a0Pablo\u00a0Bonilla Ataides Nishad Maskara Iris Cong Xun Gao Pedro\u00a0Sales Rodriguez Thomas Karolyshyn Giulia Semeghini Michael\u00a0J. Gullans Markus Greiner Vladan Vuleti\u0107 and Mikhail\u00a0D. Lukin. 2023. Logical Quantum Processor Based on Reconfigurable Atom Arrays. Nature (Dec. 2023) 1\u20133. 10.1038\/s41586-023-06927-3","DOI":"10.1038\/s41586-023-06927-3"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1002\/3527603093.ch10"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"crossref","unstructured":"Lukas Burgholzer Jorge Echavarria Patrick Hopf Yannick Stade Damian Rovara Ludwig Schmid Erc\u00fcment Kaya Burak Mete Muhammad\u00a0Nufail Farooqi Minh Chung Marco\u00a0De Pascale Laura Schulz Martin Schulz and Robert Wille. 2025. The Munich Quantum Software Stack: Connecting End Users Integrating Diverse Quantum Technologies Accelerating HPC. arxiv:https:\/\/arXiv.org\/abs\/2509.02674","DOI":"10.1145\/3773656.3773669"},{"key":"e_1_3_3_2_8_2","volume-title":"Int\u2019l Conf. on Quantum Computing and Engineering","author":"Burgholzer Lukas","year":"2024","unstructured":"Lukas Burgholzer, Jorge Echavarria, Martin Schulz, Laura Schulz, and Robert Wille. 2024. Building Efficient Software Stacks for Quantum Computers: Experiences from the Munich Quantum Software Stack. In Int\u2019l Conf. on Quantum Computing and Engineering. IEEE."},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","unstructured":"Lukas Burgholzer Yannick Stade Tom Peham and Robert Wille. 2025. MQT Core: The Backbone of the Munich Quantum Toolkit (MQT). Journal of Open Source Software 10 108 (2025) 7478. 10.21105\/joss.07478","DOI":"10.21105\/joss.07478"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","unstructured":"Earl\u00a0T. Campbell Barbara\u00a0M. Terhal and Christophe Vuillot. 2017. Roads towards Fault-Tolerant Universal Quantum Computation. Nature 549 7671 (Sept. 2017) 172\u2013179. arxiv:https:\/\/arXiv.org\/abs\/1612.0733010.1038\/nature23460","DOI":"10.1038\/nature23460"},{"key":"e_1_3_3_2_11_2","unstructured":"Andrew\u00a0W. Cross Lev\u00a0S. Bishop John\u00a0A. Smolin and Jay\u00a0M. Gambetta. 2017. Open Quantum Assembly Language. arxiv:https:\/\/arXiv.org\/abs\/1707.03429http:\/\/arxiv.org\/abs\/1707.03429"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","unstructured":"Andrew\u00a0W. Cross Ali Javadi-Abhari Thomas Alexander Niel de Beaudrap 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 Transactions on Quantum Computing 3 3 (Sept. 2022) 1\u201350. arxiv:https:\/\/arXiv.org\/abs\/2104.1472210.1145\/3505636","DOI":"10.1145\/3505636"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","unstructured":"Google Quantum AI et\u00a0al. 2023. Suppressing Quantum Errors by Scaling a Surface Code Logical Qubit. Nature 614 7949 (Feb. 2023) 676\u2013681. 10.1038\/s41586-022-05434-1","DOI":"10.1038\/s41586-022-05434-1"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","unstructured":"Lov\u00a0K. Grover. 1997. Quantum Mechanics Helps in Searching for a Needle in a Haystack. Phys. Rev. Lett. 79 2 (7 1997) 325\u2013328. 10.1103\/PhysRevLett.79.325","DOI":"10.1103\/PhysRevLett.79.325"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL49045.2020.000-9"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","unstructured":"Stuart Harwood Claudio Gambella Dimitar Trenev Andrea Simonetto David Bernal\u00a0Neira and Donny Greenberg. 2021. Formulating and Solving Routing Problems on Quantum Computers. IEEE Transactions on Quantum Engineering 2 (2021) 1\u201317. 10.1109\/TQE.2021.3049230","DOI":"10.1109\/TQE.2021.3049230"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","unstructured":"Youngseok Kim Andrew Eddins Sajant Anand Ken\u00a0Xuan Wei Ewout Van Den\u00a0Berg Sami Rosenblatt Hasan Nayfeh Yantao Wu Michael Zaletel Kristan Temme and Abhinav Kandala. 2023. Evidence for the Utility of Quantum Computing before Fault Tolerance. Nature 618 7965 (June 2023) 500\u2013505. 10.1038\/s41586-023-06096-3","DOI":"10.1038\/s41586-023-06096-3"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/CGO51591.2021.9370308"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304023"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","unstructured":"Hannah\u00a0J. Manetsch Gyohei Nomura Elie Bataille Kon\u00a0H. Leung Xudong Lv and Manuel Endres. 2024. A Tweezer Array with 6100 Highly Coherent Atomic Qubits. arxiv:https:\/\/arXiv.org\/abs\/2403.1202110.48550\/arXiv.2403.12021","DOI":"10.48550\/arXiv.2403.12021"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","unstructured":"S.\u00a0A. Moses et\u00a0al. 2023. A Race-Track Trapped-Ion Quantum Processor. Phys. Rev. X 13 4 (12 2023) 041052. 10.1103\/PhysRevX.13.041052","DOI":"10.1103\/PhysRevX.13.041052"},{"key":"e_1_3_3_2_23_2","volume-title":"Quantum Computation and Quantum Information (10th anniversary ed ed.)","author":"Nielsen Michael\u00a0A.","year":"2010","unstructured":"Michael\u00a0A. Nielsen and Isaac\u00a0L. Chuang. 2010. Quantum Computation and Quantum Information (10th anniversary ed ed.). Cambridge University Press, Cambridge ; New York."},{"key":"e_1_3_3_2_24_2","unstructured":"Tom Peham Ludwig Schmid Lucas Berent Markus M\u00fcller and Robert Wille. 2024. Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes. arxiv:https:\/\/arXiv.org\/abs\/2408.11894http:\/\/arxiv.org\/abs\/2408.11894"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","unstructured":"Alberto Peruzzo Jarrod McClean Peter Shadbolt Man-Hong Yung Xiao-Qi Zhou Peter\u00a0J. Love Al\u00e1n Aspuru-Guzik and Jeremy\u00a0L. O\u2019Brien. 2014. A Variational Eigenvalue Solver on a Photonic Quantum Processor. Nature Communications 5 1 (Sept. 2014) 4213. 10.1038\/ncomms5213","DOI":"10.1038\/ncomms5213"},{"key":"e_1_3_3_2_26_2","volume-title":"QIR Specification","year":"2021","unstructured":"QIR Alliance: https:\/\/qir-alliance.org2021. QIR Specification. QIR Alliance: https:\/\/qir-alliance.org. https:\/\/github.com\/qir-alliance\/qir-spec"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","unstructured":"N. Quetschlich L. Burgholzer and R. Wille. 2023. MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing. Quantum (2023). 10.22331\/q-2023-07-20-1062","DOI":"10.22331\/q-2023-07-20-1062"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","unstructured":"Nils Quetschlich Lukas Burgholzer and Robert Wille. 2025. MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing. ACM Transactions on Quantum Computing 6 1 (2025) 1\u201326. 10.1145\/3673241","DOI":"10.1145\/3673241"},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC58780.2024.10473902"},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365700"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE60285.2024.00098"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"publisher","unstructured":"Nikitas Stamatopoulos Daniel\u00a0J. Egger Yue Sun Christa Zoufal Raban Iten Ning Shen and Stefan Woerner. 2020. Option Pricing using Quantum Computers. Quantum 4 (2020) 291. 10.22331\/q-2020-07-06-291","DOI":"10.22331\/q-2020-07-06-291"},{"key":"e_1_3_3_2_33_2","doi-asserted-by":"publisher","unstructured":"Lieven M.\u00a0K. Vandersypen Matthias Steffen Gregory Breyta Costantino\u00a0S. Yannoni Mark\u00a0H. Sherwood and Isaac\u00a0L. Chuang. 2001. Experimental Realization of Shor\u2019s Quantum Factoring Algorithm Using Nuclear Magnetic Resonance. Nature 414 6866 (Dec. 2001) 883\u2013887. 10.1038\/414883a","DOI":"10.1038\/414883a"},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/QSW62656.2024.00013"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/3569052.3578928"},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"publisher","unstructured":"Robert Wille Stefan Hillmich and Lukas Burgholzer. 2022. Tools for Quantum Computing Based on Decision Diagrams. ACM Transactions on Quantum Computing 3 3 (2022) 1\u201317. 10.1145\/3491246","DOI":"10.1145\/3491246"},{"key":"e_1_3_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-15699-11"},{"key":"e_1_3_3_2_38_2","doi-asserted-by":"publisher","unstructured":"Christa Zoufal Aur\u00e9lien Lucchi and Stefan Woerner. 2019. Quantum Generative Adversarial Networks for Learning and Loading Random Distributions. npj Quantum Information 5 1 (Dec. 2019) 103. 10.1038\/s41534-019-0223-2","DOI":"10.1038\/s41534-019-0223-2"}],"event":{"name":"SC Workshops '25: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis","location":"St Louis MO USA","acronym":"SC Workshops '25","sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing"]},"container-title":["Proceedings of the SC '25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3731599.3767546","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T19:31:44Z","timestamp":1767987104000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3731599.3767546"}},"subtitle":["Steps for Adopting the Quantum Intermediate Representation"],"short-title":[],"issued":{"date-parts":[[2025,11,15]]},"references-count":37,"alternative-id":["10.1145\/3731599.3767546","10.1145\/3731599"],"URL":"https:\/\/doi.org\/10.1145\/3731599.3767546","relation":{},"subject":[],"published":{"date-parts":[[2025,11,15]]},"assertion":[{"value":"2025-11-15","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}