{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T16:49:39Z","timestamp":1771951779295,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":68,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,3,18]],"date-time":"2022-03-18T00:00:00Z","timestamp":1647561600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,3,19]]},"DOI":"10.1145\/3497776.3517775","type":"proceedings-article","created":{"date-parts":[[2022,3,18]],"date-time":"2022-03-18T17:28:13Z","timestamp":1647624493000},"page":"15-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["QRANE: lifting QASM programs to an affine IR"],"prefix":"10.1145","author":[{"given":"Blake","family":"Gerard","sequence":"first","affiliation":[{"name":"University of Oklahoma, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3874-6003","authenticated-orcid":false,"given":"Tobias","family":"Grosser","sequence":"additional","affiliation":[{"name":"University of Edinburgh, UK"}]},{"given":"Martin","family":"Kong","sequence":"additional","affiliation":[{"name":"University of Oklahoma, USA"}]}],"member":"320","published-online":{"date-parts":[[2022,3,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447818.3460369"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314615"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2004.1342537"},{"key":"e_1_3_2_1_4_1","volume-title":"Mahabubul Alam, Anupam Chattopadhyay, and Swaroop Ghosh.","author":"Bhattacharjee Debjyoti","year":"2019","unstructured":"Debjyoti Bhattacharjee , Abdullah Ash Saki , Mahabubul Alam, Anupam Chattopadhyay, and Swaroop Ghosh. 2019 . MUQUT : Multi-Constraint Quantum Circuit Mapping on Noisy Intermediate-Scale Quantum Computers . arxiv:1911.08559. Debjyoti Bhattacharjee, Abdullah Ash Saki, Mahabubul Alam, Anupam Chattopadhyay, and Swaroop Ghosh. 2019. MUQUT: Multi-Constraint Quantum Circuit Mapping on Noisy Intermediate-Scale Quantum Computers. arxiv:1911.08559."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386007"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375595"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3410463.3414635"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.10"},{"key":"e_1_3_2_1_9_1","unstructured":"Andrew M Childs Eddie Schoute and Cem M Unsal. 2019. Circuit transformations for quantum architectures. arXiv preprint arXiv:1902.09102.  Andrew M Childs Eddie Schoute and Cem M Unsal. 2019. Circuit transformations for quantum architectures. arXiv preprint arXiv:1902.09102."},{"key":"e_1_3_2_1_10_1","unstructured":"Patrick J. Coles Stephan J. Eidenbenz Scott Pakin Adetokunbo Adedoyin John Ambrosiano Petr M. Anisimov William Casper Gopinath Chennupati Carleton Coffrin Hristo N. Djidjev David Gunter Satish Karra Nathan Lemons Shizeng Lin Andrey Y. Lokhov Alexander Malyzhenkov David Dennis Lee Mascarenas Susan M. Mniszewski Balu Nadiga Dan O\u2019Malley Diane Oyen Lakshman Prasad Randy Roberts Philip Romero Nandakishore Santhi Nikolai Sinitsyn Pieter Swart Marc Vuffray Jim Wendelberger Boram Yoon Richard J. Zamora and Wei Zhu. 2018. Quantum Algorithm Implementations for Beginners. CoRR abs\/1804.03719 (2018) arXiv:1804.03719. arxiv:1804.03719  Patrick J. Coles Stephan J. Eidenbenz Scott Pakin Adetokunbo Adedoyin John Ambrosiano Petr M. Anisimov William Casper Gopinath Chennupati Carleton Coffrin Hristo N. Djidjev David Gunter Satish Karra Nathan Lemons Shizeng Lin Andrey Y. Lokhov Alexander Malyzhenkov David Dennis Lee Mascarenas Susan M. Mniszewski Balu Nadiga Dan O\u2019Malley Diane Oyen Lakshman Prasad Randy Roberts Philip Romero Nandakishore Santhi Nikolai Sinitsyn Pieter Swart Marc Vuffray Jim Wendelberger Boram Yoon Richard J. Zamora and Wei Zhu. 2018. Quantum Algorithm Implementations for Beginners. CoRR abs\/1804.03719 (2018) arXiv:1804.03719. arxiv:1804.03719"},{"key":"e_1_3_2_1_11_1","volume-title":"Carlo Sansone, and Mario Vento","author":"Cordella Luigi P","year":"2004","unstructured":"Luigi P Cordella , Pasquale Foggia , Carlo Sansone, and Mario Vento . 2004 . A (sub) graph isomorphism algorithm for matching large graphs. IEEE transactions on pattern analysis and machine intelligence, 26, 10 (2004), 1367\u20131372. Luigi P Cordella, Pasquale Foggia, Carlo Sansone, and Mario Vento. 2004. A (sub) graph isomorphism algorithm for matching large graphs. IEEE transactions on pattern analysis and machine intelligence, 26, 10 (2004), 1367\u20131372."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.TQC.2019.5"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.318.13"},{"key":"e_1_3_2_1_14_1","unstructured":"Andrew W Cross Lev S Bishop John A Smolin and Jay M Gambetta. 2017. Open quantum assembly language. arXiv preprint arXiv:1707.03429.  Andrew W Cross Lev S Bishop John A Smolin and Jay M Gambetta. 2017. Open quantum assembly language. arXiv preprint arXiv:1707.03429."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407931"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.6333004"},{"key":"e_1_3_2_1_17_1","volume-title":"QRANE: Lifting QASM Programs to an Affine IR. https:\/\/github.com\/BlakeGerard\/qrane Online","author":"Gerard Blake","year":"2022","unstructured":"Blake Gerard , Tobias Grosser , and Martin Kong . 2022 . QRANE: Lifting QASM Programs to an Affine IR. https:\/\/github.com\/BlakeGerard\/qrane Online ; accessed on March 2022 Blake Gerard, Tobias Grosser, and Martin Kong. 2022. QRANE: Lifting QASM Programs to an Affine IR. https:\/\/github.com\/BlakeGerard\/qrane Online; accessed on March 2022"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/QCS54837.2021.00009"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-006-0012-3"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007516818651"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626412500107"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2751205.2751248"},{"key":"e_1_3_2_1_24_1","unstructured":"Jingzhe Guo and Mingsheng Ying. 2020. Software Pipelining for Quantum Loop Programs. arXiv preprint arXiv:2012.12700.  Jingzhe Guo and Mingsheng Ying. 2020. Software Pipelining for Quantum Loop Programs. arXiv preprint arXiv:2012.12700."},{"key":"e_1_3_2_1_25_1","unstructured":"Aric Hagberg Pieter Swart and Daniel S Chult. 2008. Exploring network structure dynamics and function using NetworkX. Los Alamos National Lab.(LANL) Los Alamos NM (United States).  Aric Hagberg Pieter Swart and Daniel S Chult. 2008. Exploring network structure dynamics and function using NetworkX. Los Alamos National Lab.(LANL) Los Alamos NM (United States)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1968.300136"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872380"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786763.2694357"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254108"},{"key":"e_1_3_2_1_30_1","unstructured":"IBM. 2018. Qiskit. https:\/\/qiskit.org  IBM. 2018. Qiskit. https:\/\/qiskit.org"},{"key":"e_1_3_2_1_31_1","unstructured":"IBM. 2021. IBM Quantum Services. https:\/\/quantum-computing.ibm.com\/services  IBM. 2021. IBM Quantum Services. https:\/\/quantum-computing.ibm.com\/services"},{"key":"e_1_3_2_1_32_1","unstructured":"IBM-Research Alexandre Blais Robin Blume Kohout Francesco Buscemi Jonas Bylander Isaac Chuang Vincent Dwyer Mark Everitt Michael Geller Thomas Haener Andrew Houck Thomas Ihn Sabre Kais Miguel \u00c1ngel Mart\u00edn-Delgado Rod Van Meter Harumichi Nishimura Russell Rundle Enrique Solano Damian Steiger Todd Tilma Christophe Vuillot Martin Weides James Wootton and Shigeru Yamashita. 2018. Open Source Quantum Information Science Kit. https:\/\/qiskit.org  IBM-Research Alexandre Blais Robin Blume Kohout Francesco Buscemi Jonas Bylander Isaac Chuang Vincent Dwyer Mark Everitt Michael Geller Thomas Haener Andrew Houck Thomas Ihn Sabre Kais Miguel \u00c1ngel Mart\u00edn-Delgado Rod Van Meter Harumichi Nishimura Russell Rundle Enrique Solano Damian Steiger Todd Tilma Christophe Vuillot Martin Weides James Wootton and Shigeru Yamashita. 2018. Open Source Quantum Information Science Kit. https:\/\/qiskit.org"},{"key":"e_1_3_2_1_33_1","volume-title":"IIC JKU - IBMQX QASM Circuits. https:\/\/github.com\/iic-jku\/ibm_qx_mapping\/tree\/master\/examples Online","author":"Johannes Kepler University Linz Institute for Integrated Circuits. 2019.","year":"2021","unstructured":"Johannes Kepler University Linz Institute for Integrated Circuits. 2019. IIC JKU - IBMQX QASM Circuits. https:\/\/github.com\/iic-jku\/ibm_qx_mapping\/tree\/master\/examples Online ; accessed on August 2021 Johannes Kepler University Linz Institute for Integrated Circuits. 2019. IIC JKU - IBMQX QASM Circuits. https:\/\/github.com\/iic-jku\/ibm_qx_mapping\/tree\/master\/examples Online; accessed on August 2021"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73588"},{"key":"e_1_3_2_1_35_1","unstructured":"Raban Iten Romain Moyard Tony Metger David Sutter and Stefan Woerner. 2020. Exact and practical pattern matching for quantum circuit optimization. arxiv:1909.05270.  Raban Iten Romain Moyard Tony Metger David Sutter and Stefan Woerner. 2020. Exact and practical pattern matching for quantum circuit optimization. arxiv:1909.05270."},{"key":"e_1_3_2_1_36_1","volume-title":"Scaffold: Quantum programming language. PRINCETON UNIV NJ DEPT OF COMPUTER SCIENCE.","author":"JavadiAbhari Ali","year":"2012","unstructured":"Ali JavadiAbhari , Arvin Faruque , Mohammad J Dousti , Lukas Svec , Oana Catu , Amlan Chakrabati , Chen-Fu Chiang , Seth Vanderwilt , John Black , and Fred Chong . 2012 . Scaffold: Quantum programming language. PRINCETON UNIV NJ DEPT OF COMPUTER SCIENCE. Ali JavadiAbhari, Arvin Faruque, Mohammad J Dousti, Lukas Svec, Oana Catu, Amlan Chakrabati, Chen-Fu Chiang, Seth Vanderwilt, John Black, and Fred Chong. 2012. Scaffold: Quantum programming language. PRINCETON UNIV NJ DEPT OF COMPUTER SCIENCE."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908117"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1356058.1356071"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3465409"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314653"},{"key":"e_1_3_2_1_41_1","volume-title":"Qasmbench: A low-level qasm benchmark suite for nisq evaluation and simulation. arXiv preprint arXiv:2005.13018.","author":"Li Ang","year":"2020","unstructured":"Ang Li , Samuel Stein , Sriram Krishnamoorthy , and James Ang . 2020 . Qasmbench: A low-level qasm benchmark suite for nisq evaluation and simulation. arXiv preprint arXiv:2005.13018. Ang Li, Samuel Stein, Sriram Krishnamoorthy, and James Ang. 2020. Qasmbench: A low-level qasm benchmark suite for nisq evaluation and simulation. arXiv preprint arXiv:2005.13018."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304023"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.917562"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737974"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304075"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378477"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","unstructured":"Michael A Nielsen and Isaac Chuang. 2002. Quantum computation and quantum information.  Michael A Nielsen and Isaac Chuang. 2002. Quantum computation and quantum information.","DOI":"10.1119\/1.1463744"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462176"},{"key":"e_1_3_2_1_49_1","volume-title":"Revlib: An Online Resource for Reversible Functions and Circuits","year":"2021","unstructured":"Revlib. 2021 . Revlib: An Online Resource for Reversible Functions and Circuits . http:\/\/www.revlib.org\/functions.php Online; accessed on August 2021 Revlib. 2021. Revlib: An Online Resource for Reversible Functions and Circuits. http:\/\/www.revlib.org\/functions.php Online; accessed on August 2021"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2854038.2854056"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3363785"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304018"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360546"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3168822"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab8e92"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415620"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2020.3009140"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3352460.3358257"},{"key":"e_1_3_2_1_59_1","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. arXiv preprint arXiv:1802.04730.  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. arXiv preprint arXiv:1802.04730."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738003"},{"key":"e_1_3_2_1_61_1","first-page":"299","article-title":"isl: An Integer Set Library for the Polyhedral Model","volume":"6327","author":"Verdoolaege Sven","year":"2010","unstructured":"Sven Verdoolaege . 2010 . isl: An Integer Set Library for the Polyhedral Model .. In ICMS. 6327 , 299 \u2013 302 . Sven Verdoolaege. 2010. isl: An Integer Set Library for the Polyhedral Model.. In ICMS. 6327, 299\u2013302.","journal-title":"ICMS."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2400682.2400713"},{"key":"e_1_3_2_1_63_1","volume-title":"Second International Workshop on Polyhedral Compilation Techniques (IMPACT\u201912)","author":"Verdoolaege Sven","year":"2012","unstructured":"Sven Verdoolaege and Tobias Grosser . 2012 . Polyhedral extraction tool . In Second International Workshop on Polyhedral Compilation Techniques (IMPACT\u201912) , Paris, France. 141. Sven Verdoolaege and Tobias Grosser. 2012. Polyhedral extraction tool. In Second International Workshop on Polyhedral Compilation Techniques (IMPACT\u201912), Paris, France. 141."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-006-1231-0"},{"key":"e_1_3_2_1_65_1","volume-title":"RevLib: An Online Resource for Reversible Functions and Reversible Circuits. In Int\u2019l Symp. on Multi-Valued Logic. 220\u2013225","author":"Wille R.","unstructured":"R. Wille , D. Gro\u00df e, L. Teuber , G. W. Dueck , and R. Drechsler . 2008 . RevLib: An Online Resource for Reversible Functions and Reversible Circuits. In Int\u2019l Symp. on Multi-Valued Logic. 220\u2013225 . RevLib is available at http:\/\/www.revlib.org R. Wille, D. Gro\u00df e, L. Teuber, G. W. Dueck, and R. Drechsler. 2008. RevLib: An Online Resource for Reversible Functions and Reversible Circuits. In Int\u2019l Symp. on Multi-Valued Logic. 220\u2013225. RevLib is available at http:\/\/www.revlib.org"},{"key":"e_1_3_2_1_66_1","volume-title":"Frederic T Chong, and Costin Iancu.","author":"Wu Xin-Chuan","year":"2020","unstructured":"Xin-Chuan Wu , Marc Grau Davis , Frederic T Chong, and Costin Iancu. 2020 . QGo: Scalable Quantum Circuit Optimization Using Automated Synthesis . arXiv preprint arXiv:2012.09835. Xin-Chuan Wu, Marc Grau Davis, Frederic T Chong, and Costin Iancu. 2020. QGo: Scalable Quantum Circuit Optimization Using Automated Synthesis. arXiv preprint arXiv:2012.09835."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.2969647"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342181"}],"event":{"name":"CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction","location":"Seoul South Korea","acronym":"CC '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3497776.3517775","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3497776.3517775","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:49:26Z","timestamp":1750193366000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3497776.3517775"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,18]]},"references-count":68,"alternative-id":["10.1145\/3497776.3517775","10.1145\/3497776"],"URL":"https:\/\/doi.org\/10.1145\/3497776.3517775","relation":{},"subject":[],"published":{"date-parts":[[2022,3,18]]},"assertion":[{"value":"2022-03-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}