{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T06:34:29Z","timestamp":1764657269362,"version":"3.46.0"},"reference-count":37,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T00:00:00Z","timestamp":1756512000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T00:00:00Z","timestamp":1756512000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,8,30]]},"DOI":"10.1109\/qce65121.2025.00058","type":"proceedings-article","created":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T18:22:51Z","timestamp":1764613371000},"page":"459-469","source":"Crossref","is-referenced-by-count":0,"title":["QIRopt: An Optimization Method for Quantum Intermediate Representation"],"prefix":"10.1109","author":[{"given":"Junjie","family":"Luo","sequence":"first","affiliation":[{"name":"Kyushu University,Fukuoka,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haoyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Kyushu University,Fukuoka,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianjun","family":"Zhao","sequence":"additional","affiliation":[{"name":"Kyushu University,Fukuoka,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"Open quantum assembly language","year":"2017","author":"Cross","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462177"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab6bf6"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3183895.3183901"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715261"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3579367"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1998.0162"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1038\/npjqi.2015.23"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s11831-019-09372-6"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3390\/app9245472"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0208561"},{"article-title":"Introduction to Q # & Quantum Development Kit","volume-title":"Microsoft","year":"2024","key":"ref12"},{"volume-title":"Introducing quantum intermediate representation (qir)","year":"2020","author":"Geller","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1103\/revmodphys.94.015004"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"volume-title":"Quantum intermediate representation (qir) specification","year":"2024","key":"ref16"},{"key":"ref17","first-page":"461","article-title":"On the cnot-cost of toffoli gates","volume":"9","author":"Shende","year":"2008","journal-title":"Quantum Inf. Comput."},{"volume-title":"Qubits in q #","year":"2018","author":"Geller","key":"ref18"},{"volume-title":"What are qubits?","year":"2019","author":"Geller","key":"ref19"},{"key":"ref20","article-title":"A Catalogue of Optimizing Transformations","volume-title":"IBM Thomas J. Watson Research Center","author":"Allen","year":"1971"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2846658"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"volume-title":"Tutorial: Implement grover\u2019s search algorithm in q #","year":"2024","key":"ref23"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1137\/S0036144598347011"},{"volume-title":"Quantum integer factorization by shor\u2019s period-finding algorithm","year":"2019","author":"Matz","key":"ref25"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626412500107"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45937-5_16"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/QCE52317.2021.00043"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3434318"},{"volume-title":"The Coq reference manual - release 8.19.0","year":"2024","key":"ref31"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.91.025001"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.physrep.2019.10.001"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2244643"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523431"},{"volume-title":"Qiskit","year":"2022","key":"ref36"},{"key":"ref37","article-title":"Enabling dataflow optimization for quantum programs","author":"Ittah","year":"2021","journal-title":"arXiv preprint arXiv"}],"event":{"name":"2025 IEEE International Conference on Quantum Computing and Engineering (QCE)","start":{"date-parts":[[2025,8,30]]},"location":"Albuquerque, NM, USA","end":{"date-parts":[[2025,9,5]]}},"container-title":["2025 IEEE International Conference on Quantum Computing and Engineering (QCE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11249812\/11249813\/11250313.pdf?arnumber=11250313","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T06:29:54Z","timestamp":1764656994000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11250313\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,30]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/qce65121.2025.00058","relation":{},"subject":[],"published":{"date-parts":[[2025,8,30]]}}}