{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T16:12:14Z","timestamp":1778083934605,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,30]],"date-time":"2022-10-30T00:00:00Z","timestamp":1667088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,30]]},"DOI":"10.1145\/3508352.3549331","type":"proceedings-article","created":{"date-parts":[[2022,12,22]],"date-time":"2022-12-22T12:10:54Z","timestamp":1671711054000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Qubit Mapping for Reconfigurable Atom Arrays"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9711-2441","authenticated-orcid":false,"given":"Bochen","family":"Tan","sequence":"first","affiliation":[{"name":"University of California"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dolev","family":"Bluvstein","sequence":"additional","affiliation":[{"name":"Harvard University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikhail D.","family":"Lukin","sequence":"additional","affiliation":[{"name":"Harvard University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2887-6963","authenticated-orcid":false,"given":"Jason","family":"Cong","sequence":"additional","affiliation":[{"name":"University of California"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,12,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 57th ACM\/IEEE Design Automation Conference (DAC '20)","author":"Alam M.","unstructured":"M. Alam, A. Ash-Saki, and S. Ghosh. 2020. An efficient circuit compilation flow for quantum approximate optimization algorithm. In Proceedings of the 57th ACM\/IEEE Design Automation Conference (DAC '20). IEEE, San Francisco, CA, USA, 6 pages."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-019-1666-5"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317888"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA52012.2021.00069"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1038\/nphys698"},{"key":"e_1_3_2_1_6_1","unstructured":"D. Bhattacharjee and A. Chattopadhyay. 2017. Depth-optimal quantum circuit placement for arbitrary topologies. https:\/\/arxiv.org\/abs\/1703.08540"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 38th IEEE\/ACM International Conference on Computer-Aided Design (ICCAD '19)","author":"Bhattacharjee D.","unstructured":"D. Bhattacharjee, A. A. Saki, M. Alam, A. Chattopadhyay, and S. Ghosh. 2019. MUQUT: Multi-constraint quantum circuit mapping on NISQ computers: Invited paper. In Proceedings of the 38th IEEE\/ACM International Conference on Computer-Aided Design (ICCAD '19). IEEE, Westminster, CO, USA, 7 pages."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-022-04592-6"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 11th Annual Symposium on Combinatorial Search. AAAI Press","author":"Botea A.","unstructured":"A. Botea, A. Kishimoto, and R. Marinescu. 2018. On the complexity of quantum circuit compilation. In Proceedings of the 11th Annual Symposium on Combinatorial Search. AAAI Press, Stockholm, Sweden, 5 pages."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 40th IEEE\/ACM International Conference on Computer-Aided Design (ICCAD '21)","author":"Brandhofer S.","unstructured":"S. Brandhofer, H. P. B\u00fcchler, and I. Polian. 2021. Optimal mapping for near-term quantum architectures based on Rydberg atoms. In Proceedings of the 40th IEEE\/ACM International Conference on Computer-Aided Design (ICCAD '21). Association for Computing Machinery, Munich, Germany, 7 pages."},{"key":"e_1_3_2_1_11_1","first-page":"1","article-title":"Topological and subsystem codes on low-degree graphs with flag qubits","author":"Chamberland C.","year":"2020","unstructured":"C. Chamberland, G. Zhu, T. J. Yoder, J. B. Hertzberg, and A. W. Cross. 2020. Topological and subsystem codes on low-degree graphs with flag qubits. Physical Review X 10, 1 (Jan. 2020), 011022.","journal-title":"Physical Review"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"L. de Moura and N. Bj\u00f8rner. 2008. Z3: An efficient SMT solver. In Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science) C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg 337--340.","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"S. Ebadi A. Keesling M. Cain T. T. Wang H. Levine D. Bluvstein G. Semeghini A. Omran J.-G. Liu R. Samajdar X.-Z. Luo B. Nash X. Gao B. Barak E. Farhi S. Sachdev N. Gemelke L. Zhou S. Choi H. Pichler S.-T. Wang M. Greiner V. Vuletic and M. D. Lukin. 2022. Quantum optimization of maximum independent set using Rydberg atom arrays. Science 376 6598 (2022) 1209--1215.","DOI":"10.1126\/science.abo6587"},{"key":"e_1_3_2_1_15_1","unstructured":"E. Farhi J. Goldstone and S. Gutmann. 2014. A quantum approximate optimization algorithm. https:\/\/arxiv.org\/abs\/1411.4028"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 53rd Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO '20)","author":"Gokhale P.","unstructured":"P. Gokhale, A. Javadi-Abhari, N. Earnest, Y. Shi, and F. T. Chong. 2020. Optimized quantum compilation for near-term algorithms with OpenPulse. In Proceedings of the 53rd Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO '20). IEEE, Athens, Greece, 186--200."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"D. Gonz\u00e1lez-Cuadra T. V. Zache J. Carrasco B. Kraus and P. Zoller. 2022. Hardware efficient quantum simulation of non-abelian gauge theories with qudits on Rydberg platforms. https:\/\/arxiv.org\/abs\/2203.15541","DOI":"10.1103\/PhysRevLett.129.160501"},{"key":"e_1_3_2_1_18_1","unstructured":"Google Quantum AI. 2021. Quantum computer datasheet. https:\/\/quantumai.google\/hardware\/datasheet\/weber.pdf"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-022-04603-6"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"A. Grospellier L. Grou\u00e8s A. Krishna and A. Leverrier. 2021. Combining hard and soft decoders for hypergraph product codes. Quantum 5 (April 2021) 432.","DOI":"10.22331\/q-2021-04-15-432"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41567-020-01105-y"},{"key":"e_1_3_2_1_22_1","volume-title":"Quantum Computers, Algorithms and Chaos (Proceedings of the International School of Physics \"Enrico Fermi\"","author":"Hein M.","unstructured":"M. Hein, W. D\u00fcr, J. Eisert, R. Raussendorf, M. Van den Nest, and H.-J. Briegel. 2006. Entanglement in graph states and its applications. In Quantum Computers, Algorithms and Chaos (Proceedings of the International School of Physics \"Enrico Fermi\", Vol. 162). IOP Press, Varenna, Italy, 115--218."},{"key":"e_1_3_2_1_23_1","unstructured":"IBM. 2022. IBM quantum processor. https:\/\/quantum-computing.ibm.com\/services\/docs\/services\/manage\/systems\/processors"},{"key":"e_1_3_2_1_24_1","unstructured":"IonQ. 2022. IonQ technology. https:\/\/ionq.com\/technology"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature00784"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.123.170503"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '19)","author":"Li G.","unstructured":"G. Li, Y. Ding, and Y. Xie. 2019. Tackling the qubit mapping problem for NISQ-era quantum devices. In Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '19). ACM Press, Providence, RI, USA, 1001--1014."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.917562"},{"key":"e_1_3_2_1_29_1","unstructured":"C. Mead and L. Conway. 1980. Introduction to VLSI Systems. Addison-Wesley USA."},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the 46th International Symposium on Computer Architecture (ISCA '19)","author":"Murali P.","unstructured":"P. Murali, N. M. Linke, M. Martonosi, A. J. Abhari, N. H. Nguyen, and C. H. Alderete. 2019. Full-stack, real-system quantum computer studies: Architectural comparisons and design insights. In Proceedings of the 46th International Symposium on Computer Architecture (ISCA '19). ACM Press, Phoenix, Arizona, 527--540."},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the 49th Annual International Symposium on Computer Architecture","author":"Patel T.","unstructured":"T. Patel, D. Silver, and D. Tiwari. 2022. Geyser: A compilation framework for quantum computing with neutral atoms. In Proceedings of the 49th Annual International Symposium on Computer Architecture (New York, New York) (ISCA '22). Association for Computing Machinery, New York, NY, USA, 383--395."},{"key":"e_1_3_2_1_32_1","unstructured":"H. Pichler S.-T. Wang L. Zhou S. Choi and M. D. Lukin. 2018. Quantum optimization for maximum independent set using Rydberg atom arrays. https:\/\/arxiv.org\/abs\/1808.10816"},{"key":"e_1_3_2_1_33_1","unstructured":"Quantinuum. 2022. Quantinuum H1 powered by Honeywell. https:\/\/www.quantinuum.com\/products\/h1"},{"key":"e_1_3_2_1_34_1","unstructured":"Rigetti. 2022. Scalable quantum systems built from the chip up to power practical applications. https:\/\/www.rigetti.com\/what-we-build"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the 19th Asia and South Pacific Design Automation Conference (ASP-DAC '14)","author":"Shafaei A.","unstructured":"A. Shafaei, M. Saeedi, and M. Pedram. 2014. Qubit placement to minimize communication overhead in 2D quantum architectures. In Proceedings of the 19th Asia and South Pacific Design Automation Conference (ASP-DAC '14). IEEE, Singapore, 495--500."},{"key":"e_1_3_2_1_36_1","volume-title":"Pulser: An open-source package for the design of pulse sequences in programmable neutral-atom arrays. Quantum 6 (Jan.","author":"Silv\u00e9rio H.","year":"2022","unstructured":"H. Silv\u00e9rio, S. Grijalva, C. Dalyac, L. Leclerc, P. J. Karalekas, N. Shammah, M. Beji, L.-P. Henry, and L. Henriet. 2022. Pulser: An open-source package for the design of pulse sequences in programmable neutral-atom arrays. Quantum 6 (Jan. 2022), 629."},{"key":"e_1_3_2_1_37_1","first-page":"1","article-title":"Dual-element, two-dimensional atom array with continuous-mode operation","author":"Singh K.","year":"2022","unstructured":"K. Singh, S. Anand, A. Pocklington, J. T. Kemp, and H. Bernien. 2022. Dual-element, two-dimensional atom array with continuous-mode operation. Physical Review X 12, 1 (March 2022), 011040.","journal-title":"Physical Review"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3168822"},{"key":"e_1_3_2_1_39_1","first-page":"1","article-title":"t|ket⟩: A retargetable compiler for NISQ devices","volume":"6","author":"Sivarajah S.","year":"2020","unstructured":"S. Sivarajah, S. Dilkes, A. Cowtan, W. Simmons, A. Edgington, and R. Duncan. 2020. t|ket⟩: A retargetable compiler for NISQ devices. Quantum Science and Technology 6, 1 (Nov. 2020), 014003.","journal-title":"Quantum Science and Technology"},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 39th IEEE\/ACM International Conference on Computer-Aided Design (ICCAD '20)","author":"Tan B.","unstructured":"B. Tan and J. Cong. 2020. Optimal layout synthesis for quantum computing. In Proceedings of the 39th IEEE\/ACM International Conference on Computer-Aided Design (ICCAD '20). Association for Computing Machinery, Virtual Event, USA, 9 pages."},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings of the 40th IEEE\/ACM International Conference on Computer-Aided Design (ICCAD '21)","author":"Tan B.","unstructured":"B. Tan and J. Cong. 2021. Optimal qubit mapping with simultaneous gate absorption. In Proceedings of the 40th IEEE\/ACM International Conference on Computer-Aided Design (ICCAD '21). Association for Computing Machinery, Munich, Germany, 8 pages."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2020.3009140"},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of the 56th Annual Design Automation Conference 2019 (DAC '19)","author":"Wille R.","unstructured":"R. Wille, L. Burgholzer, and A. Zulehner. 2019. Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and H operations. In Proceedings of the 56th Annual Design Automation Conference 2019 (DAC '19). ACM Press, Las Vegas, NV, USA, 6 pages."},{"key":"e_1_3_2_1_44_1","volume-title":"Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '21)","author":"Zhang C.","unstructured":"C. Zhang, A. B. Hayes, L. Qiu, Y. Jin, Y. Chen, and E. Z. Zhang. 2021. Time-optimal qubit mapping. In Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '21). ACM, Virtual USA, 360--374."},{"key":"e_1_3_2_1_45_1","volume-title":"Proceedings of the 24th Asia and South Pacific Design Automation Conference (ASPDAC '19)","author":"Zulehner A.","unstructured":"A. Zulehner and R. Wille. 2019. Compiling SU(4) quantum circuits to IBM QX architectures. In Proceedings of the 24th Asia and South Pacific Design Automation Conference (ASPDAC '19). ACM Press, Tokyo, Japan, 185--190."}],"event":{"name":"ICCAD '22: IEEE\/ACM International Conference on Computer-Aided Design","location":"San Diego California","acronym":"ICCAD '22","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE-EDS Electronic Devices Society","IEEE CAS","IEEE CEDA"]},"container-title":["Proceedings of the 41st IEEE\/ACM International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3508352.3549331","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3508352.3549331","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:22Z","timestamp":1750188622000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3508352.3549331"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,30]]},"references-count":44,"alternative-id":["10.1145\/3508352.3549331","10.1145\/3508352"],"URL":"https:\/\/doi.org\/10.1145\/3508352.3549331","relation":{},"subject":[],"published":{"date-parts":[[2022,10,30]]},"assertion":[{"value":"2022-12-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}