{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:54:30Z","timestamp":1773194070374,"version":"3.50.1"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T00:00:00Z","timestamp":1750550400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T00:00:00Z","timestamp":1750550400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,6,22]]},"DOI":"10.1109\/dac63849.2025.11133028","type":"proceedings-article","created":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T17:35:41Z","timestamp":1757957741000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices"],"prefix":"10.1109","author":[{"given":"Zhaohui","family":"Yang","sequence":"first","affiliation":[{"name":"The Hong Kong University of Science and Technology,Department of Electronic and Computer Engineering,Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dawei","family":"Ding","sequence":"additional","affiliation":[{"name":"Tsinghua University,Yau Mathematical Sciences Center,Beijing,China,100084"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chenghong","family":"Zhu","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology (Guangzhou),Guangdong,China,511453"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianxin","family":"Chen","sequence":"additional","affiliation":[{"name":"Tsinghua University,Department of Computer Science and Technology,Beijing,China,100084"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuan","family":"Xie","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology,Department of Electronic and Computer Engineering,Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365700"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.103.150502"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1126\/science.273.5278.1073"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms5213"},{"key":"ref6","article-title":"A quantum approximate optimization algorithm","author":"Farhi","year":"2014","journal-title":"arXiv preprint arXiv:1411.4028"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1038\/s42254-021-00348-9"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.318.13"},{"key":"ref9","article-title":"Towards a generic compilation approach for quantum circuits through resynthesis","author":"van de Griend","year":"2023","journal-title":"arXiv preprint arXiv:2304.08814"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/QCE57702.2023.00087"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507715"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA59077.2024.00029"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab8e92"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3620665.3640386"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.22331\/q-2022-06-13-734"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2019.10.004"},{"key":"ref17","article-title":"PHOENIX GitHub repo"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevB.81.134507"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1063\/1.5088164"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304023"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3470496.3527394"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1063\/1.1672392"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02781-3_9"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1006\/aphy.2002.6254"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1002\/qute.202100061"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1038\/s41928-020-00498-1"},{"key":"ref27","volume-title":"New fractional gates reduce circuit depth for utilityscale workloads","year":"2024"},{"key":"ref28","volume-title":"Getting started with ionq\u2019s hardware-native gateset","year":"2023"}],"event":{"name":"2025 62nd ACM\/IEEE Design Automation Conference (DAC)","location":"San Francisco, CA, USA","start":{"date-parts":[[2025,6,22]]},"end":{"date-parts":[[2025,6,25]]}},"container-title":["2025 62nd ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11132383\/11132091\/11133028.pdf?arnumber=11133028","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T05:57:22Z","timestamp":1758002242000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11133028\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/dac63849.2025.11133028","relation":{},"subject":[],"published":{"date-parts":[[2025,6,22]]}}}