{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:54:12Z","timestamp":1773194052438,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":67,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T00:00:00Z","timestamp":1743292800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2138437, 2048144"],"award-info":[{"award-number":["2138437, 2048144"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Oak Ridge Leadership Computing Facility","award":["DE-AC05-00OR22725"],"award-info":[{"award-number":["DE-AC05-00OR22725"]}]},{"DOI":"10.13039\/501100006374","name":"National Energy Research Scientific Computing Center","doi-asserted-by":"publisher","award":["DE-AC02-05CH11231"],"award-info":[{"award-number":["DE-AC02-05CH11231"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,3,30]]},"DOI":"10.1145\/3669940.3707236","type":"proceedings-article","created":{"date-parts":[[2025,2,6]],"date-time":"2025-02-06T12:28:01Z","timestamp":1738844881000},"page":"876-890","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["QECC-Synth: A Layout Synthesizer for Quantum Error Correction Codes on Sparse Architectures"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-7563-271X","authenticated-orcid":false,"given":"Keyi","family":"Yin","sequence":"first","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-2948-898X","authenticated-orcid":false,"given":"Hezi","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-8902-7464","authenticated-orcid":false,"given":"Xiang","family":"Fang","sequence":"additional","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0824-6107","authenticated-orcid":false,"given":"Yunong","family":"Shi","sequence":"additional","affiliation":[{"name":"AWS Quantum Technologies, New York, NY, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9449-0498","authenticated-orcid":false,"given":"Travis S.","family":"Humble","sequence":"additional","affiliation":[{"name":"Oak Ridge National Laboratory, Oak Ridge, TN, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3734-9137","authenticated-orcid":false,"given":"Ang","family":"Li","sequence":"additional","affiliation":[{"name":"Pacific Northwest National Laboratory, Richland, WA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8716-5793","authenticated-orcid":false,"given":"Yufei","family":"Ding","sequence":"additional","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,3,30]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Exponential suppression of bit or phase errors with cyclic error correction. Nature 595, 7867","year":"2021","unstructured":"2021. Exponential suppression of bit or phase errors with cyclic error correction. Nature 595, 7867 (2021), 383--387."},{"key":"e_1_3_2_1_2_1","volume-title":"Suppressing quantum errors by scaling a surface code logical qubit. Nature 614, 7949","year":"2023","unstructured":"2023. Suppressing quantum errors by scaling a surface code logical qubit. Nature 614, 7949 (2023), 676--681."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/258533.258579"},{"key":"e_1_3_2_1_4_1","volume-title":"Subsystem fault tolerance with the Bacon-Shor code. Physical review letters 98, 22","author":"Aliferis Panos","year":"2007","unstructured":"Panos Aliferis and Andrew W Cross. 2007. Subsystem fault tolerance with the Bacon-Shor code. Physical review letters 98, 22 (2007), 220502."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007912.1007931"},{"key":"e_1_3_2_1_6_1","volume-title":"David A Buell, et al.","author":"Arute Frank","year":"2019","unstructured":"Frank Arute, Kunal Arya, Ryan Babbush, Dave Bacon, Joseph C Bardin, Rami Barends, Rupak Biswas, Sergio Boixo, Fernando GSL Brandao, David A Buell, et al. 2019. Quantum supremacy using a programmable superconducting processor. Nature 574, 7779 (2019), 505--510."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.96.042316"},{"key":"e_1_3_2_1_8_1","volume-title":"Handbook of satisfiability","author":"Biere Armin","unstructured":"Armin Biere, Marijn Heule, and Hans van Maaren. 2009. Handbook of satisfiability. Vol. 185. IOS press."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.76.012305"},{"key":"e_1_3_2_1_10_1","volume-title":"Quantum codes on a lattice with boundary. arXiv preprint quant-ph\/9811052","author":"Bravyi Sergey B","year":"1998","unstructured":"Sergey B Bravyi and A Yu Kitaev. 1998. Quantum codes on a lattice with boundary. arXiv preprint quant-ph\/9811052 (1998)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/IEDM.2018.8614500"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.54.1098"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-02-08-53"},{"key":"e_1_3_2_1_14_1","article-title":"Topological and subsystem codes on low-degree graphs with flag qubits","author":"Chamberland Christopher","year":"2020","unstructured":"Christopher Chamberland, Guanyu Zhu, Theodore J Yoder, Jared B Hertzberg, and Andrew W Cross. 2020. Topological and subsystem codes on low-degree graphs with flag qubits. Physical Review X 10, 1 (2020), 011022.","journal-title":"Physical Review"},{"key":"e_1_3_2_1_15_1","volume-title":"Fault-tolerant quantum computation with few qubits. npj Quantum Information 4, 1","author":"Chao Rui","year":"2018","unstructured":"Rui Chao and Ben W Reichardt. 2018. Fault-tolerant quantum computation with few qubits. npj Quantum Information 4, 1 (2018), 42."},{"key":"e_1_3_2_1_16_1","volume-title":"Quantum error correction with only two extra qubits. Physical review letters 121, 5","author":"Chao Rui","year":"2018","unstructured":"Rui Chao and Ben W Reichardt. 2018. Quantum error correction with only two extra qubits. Physical review letters 121, 5 (2018), 050502."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1103\/PRXQuantum.1.010302"},{"key":"e_1_3_2_1_18_1","volume-title":"IBM Quantum breaks the 100-qubit processor barrier. IBM Research Blog 2","author":"Chow Jerry","year":"2021","unstructured":"Jerry Chow, Oliver Dial, and Jay Gambetta. 2021. IBM Quantum breaks the 100-qubit processor barrier. IBM Research Blog 2 (2021)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3466752.3480059"},{"key":"e_1_3_2_1_20_1","volume-title":"Effective fault-tolerant quantum computation with slow measurements. Physical review letters 98, 2","author":"DiVincenzo David P","year":"2007","unstructured":"David P DiVincenzo and Panos Aliferis. 2007. Effective fault-tolerant quantum computation with slow measurements. Physical review letters 98, 2 (2007), 020501."},{"key":"e_1_3_2_1_21_1","volume-title":"Quantum information processing, quantum computing, and quantum error correction: an engineering approach","author":"Djordjevic Ivan B","unstructured":"Ivan B Djordjevic. 2021. Quantum information processing, quantum computing, and quantum error correction: an engineering approach. Academic Press."},{"key":"e_1_3_2_1_22_1","volume-title":"Qubit allocation for noisy intermediate-scale quantum computers. arXiv preprint arXiv:1810.08291","author":"Finigan Will","year":"2018","unstructured":"Will Finigan, Michael Cubeddu, Thomas Lively, Johannes Flick, and Prineha Narang. 2018. Qubit allocation for noisy intermediate-scale quantum computers. arXiv preprint arXiv:1810.08291 (2018)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.86.032324"},{"key":"e_1_3_2_1_24_1","series-title":"September 2020","volume-title":"IBM's roadmap for scaling quantum technology. IBM Research Blog","author":"Gambetta Jay","year":"2020","unstructured":"Jay Gambetta. 2020. IBM's roadmap for scaling quantum technology. IBM Research Blog (September 2020) (2020)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2021-07-06-497"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.57.127"},{"key":"e_1_3_2_1_27_1","volume-title":"Bell's theorem, quantum theory and conceptions of the universe","author":"Greenberger Daniel M","unstructured":"Daniel M Greenberger, Michael A Horne, and Anton Zeilinger. 1989. Going beyond Bell's theorem. In Bell's theorem, quantum theory and conceptions of the universe. Springer, 69--72."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Jared B Hertzberg Eric J Zhang Sami Rosenblatt Easwar Magesan John A Smolin Jeng-Bang Yau Vivekananda P Adiga Martin Sandberg Markus Brink Jerry M Chow et al. 2021. Laser-annealing Josephson junctions for yielding scaled-up superconducting quantum processors. npj Quantum Information 7 1 (2021) 129.","DOI":"10.1038\/s41534-021-00464-5"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3505637"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA45697.2020.00053"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","unstructured":"Alexey Ignatiev Antonio Morgado and Joao Marques-Silva. 2018. PySAT: A Python Toolkit for Prototyping with SAT Oracles. In SAT. 428--437. https:\/\/doi.org\/10.1007\/978--3--319--94144--8_26","DOI":"10.1007\/978--3--319--94144--8_26"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0003-4916(02)00018-0"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.55.900"},{"key":"e_1_3_2_1_34_1","volume-title":"Resilient quantum computation. Science 279, 5349","author":"Knill Emanuel","year":"1998","unstructured":"Emanuel Knill, Raymond Laflamme, and Wojciech H Zurek. 1998. Resilient quantum computation. Science 279, 5349 (1998), 342--345."},{"key":"e_1_3_2_1_35_1","article-title":"Fault-tolerant gates on hypergraph product codes","author":"Krishna Anirudh","year":"2021","unstructured":"Anirudh Krishna and David Poulin. 2021. Fault-tolerant gates on hypergraph product codes. Physical Review X 11, 1 (2021), 011023.","journal-title":"Physical Review"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.101.032333"},{"key":"e_1_3_2_1_37_1","volume-title":"An algorithm for path connections and its applications. IRE transactions on electronic computers 3","author":"Lee Chin Yang","year":"1961","unstructured":"Chin Yang Lee. 1961. An algorithm for path connections and its applications. IRE transactions on electronic computers 3 (1961), 346-- 365."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304023"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3620665.3640362"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.102.042605"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41567-021-01423-9"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO56248.2022.00077"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"SA Moses CH Baldwin MS Allman R Ancona L Ascarrunz C Barnes J Bartolotta B Bjork P Blanchard M Bohn et al. 2023. A race track trapped-ion quantum processor. arXiv preprint arXiv:2305.03828 (2023).","DOI":"10.1103\/PhysRevX.13.041052"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304075"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/aa5918"},{"key":"e_1_3_2_1_46_1","volume-title":"Quantum computation and quantum information","author":"Nielsen Michael A","unstructured":"Michael A Nielsen and Isaac L Chuang. 2010. Quantum computation and quantum information. Cambridge university press."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1088\/2058--9565\/abc6f4"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevApplied.15.064063"},{"key":"e_1_3_2_1_50_1","volume-title":"Scheme for reducing decoherence in quantum computer memory. Physical review A 52, 4","author":"Shor Peter W","year":"1995","unstructured":"Peter W Shor. 1995. Scheme for reducing decoherence in quantum computer memory. Physical review A 52, 4 (1995), R2493."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"crossref","unstructured":"VV Sivak Alec Eickbusch Baptiste Royer Shraddha Singh Ioannis Tsioutsios Suhas Ganjam Alessandro Miano BL Brock AZ Ding Luigi Frunzio et al. 2023. Real-time quantum error correction beyond break-even. Nature 616 7955 (2023) 50--55.","DOI":"10.1038\/s41586-023-05782-6"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.81.022317"},{"key":"e_1_3_2_1_53_1","volume-title":"Thresholds for topological codes in the presence of loss. Physical review letters 102, 20","author":"Barrett Sean D","year":"2009","unstructured":"ThomasMStace, Sean D Barrett, and Andrew C Doherty. 2009. Thresholds for topological codes in the presence of loss. Physical review letters 102, 20 (2009), 200501."},{"key":"e_1_3_2_1_54_1","series-title":"Series A: Mathematical, Physical and Engineering Sciences 452","volume-title":"Multiple-particle interference and quantum error correction. Proceedings of the Royal Society of London","author":"Steane Andrew","year":"1954","unstructured":"Andrew Steane. 1996. Multiple-particle interference and quantum error correction. Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences 452, 1954 (1996), 2551--2577."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/18.771249"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.127.080505"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO56248.2022.00079"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415620"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415620"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2013.2292061"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.90.062320"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.129.050504"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317859"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3470496.3527381"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446706"},{"key":"e_1_3_2_1_66_1","volume-title":"Incorporating Multi-armed Bandit with Local Search for MaxSAT. ArXiv abs\/2211.16011","author":"Zheng Jiongzhi","year":"2022","unstructured":"Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chumin Li, and Felip Many\u00e0. 2022. Incorporating Multi-armed Bandit with Local Search for MaxSAT. ArXiv abs\/2211.16011 (2022)."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2846658"}],"event":{"name":"ASPLOS '25: 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Rotterdam Netherlands","acronym":"ASPLOS '25","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3669940.3707236","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3669940.3707236","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T14:49:01Z","timestamp":1755787741000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3669940.3707236"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,30]]},"references-count":67,"alternative-id":["10.1145\/3669940.3707236","10.1145\/3669940"],"URL":"https:\/\/doi.org\/10.1145\/3669940.3707236","relation":{},"subject":[],"published":{"date-parts":[[2025,3,30]]},"assertion":[{"value":"2025-03-30","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}