{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T15:31:52Z","timestamp":1773588712659,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":69,"publisher":"ACM","funder":[{"name":"NSF (National Science Foundation)","award":["232580"],"award-info":[{"award-number":["232580"]}]},{"name":"NSF (National Science Foundation)","award":["2016136"],"award-info":[{"award-number":["2016136"]}]},{"name":"NSF (National Science Foundation)","award":["NQVL"],"award-info":[{"award-number":["NQVL"]}]},{"name":"NSF (National Science Foundation)","award":["2212232"],"award-info":[{"award-number":["2212232"]}]},{"name":"DOE U.S. Department of Energy","award":["DE-SC0012704"],"award-info":[{"award-number":["DE-SC0012704"]}]},{"name":"DOE U.S. Department of Energy","award":["DE-SC0025638"],"award-info":[{"award-number":["DE-SC0025638"]}]},{"name":"DOE U.S. Department of Energy","award":["DE-SC0020289"],"award-info":[{"award-number":["DE-SC0020289"]}]},{"name":"DOE U.S. Department of Energy","award":["QNEXT"],"award-info":[{"award-number":["QNEXT"]}]},{"name":"Army Research Office","award":["W911NF-23-1-0077"],"award-info":[{"award-number":["W911NF-23-1-0077"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,3,22]]},"DOI":"10.1145\/3779212.3790205","type":"proceedings-article","created":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:55:26Z","timestamp":1773150926000},"page":"1476-1491","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["PropHunt: Automated Optimization of Quantum Syndrome Measurement Circuits"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-3560-9177","authenticated-orcid":false,"given":"Joshua","family":"Viszlai","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Chicago, Chicago, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0171-6214","authenticated-orcid":false,"given":"Satvik","family":"Maurya","sequence":"additional","affiliation":[{"name":"Department of Computer Sciences, University of Wisconsin-Madison, Madison, WI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4479-7413","authenticated-orcid":false,"given":"Swamit","family":"Tannu","sequence":"additional","affiliation":[{"name":"Department of Computer Sciences, University of Wisconsin-Madison, Madison, WI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9683-8032","authenticated-orcid":false,"given":"Margaret","family":"Martonosi","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Princeton University, Princeton, NJ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9282-4645","authenticated-orcid":false,"given":"Frederic T.","family":"Chong","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Chicago, Chicago, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,3,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-024-08449-y"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-19212-9_3"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1103\/ps3r-wf84"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1103\/PRXQuantum.2.020341"},{"key":"e_1_3_2_1_5_1","first-page":"58","volume-title":"Nature","volume":"626","author":"Bluvstein Dolev","year":"2024","unstructured":"Dolev Bluvstein, Simon J Evered, Alexandra A Geim, Sophie H Li, Hengyun Zhou, Tom Manovitz, Sepehr Ebadi, Madelyn Cain, Marcin Kalinowski, Dominik Hangleiter, et al., 2024. Logical quantum processor based on reconfigurable atom arrays. Nature, Vol. 626, 7997 (2024), 58-65."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-022-04592-6"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-024-07107-7"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-02-08-53"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1103\/physrevx.10.011022"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-018-0085-z"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1103\/PRXQuantum.1.010302"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2025-12-11-1936"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-01765-0"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1103\/prxquantum.5.010348"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2021-07-06-497"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3406325.3451005"},{"key":"e_1_3_2_1_18_1","volume-title":"Handling fabrication defects in hex-grid surface codes. arXiv preprint arXiv:2508.08116","author":"Higgott Oscar","year":"2025","unstructured":"Oscar Higgott, Benjamin Anker, Matt McEwen, and Dripto M Debroy. 2025. Handling fabrication defects in hex-grid surface codes. arXiv preprint arXiv:2508.08116 (2025)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2025-01-20-1600"},{"key":"e_1_3_2_1_20_1","volume-title":"Localized statistics decoding: A parallel decoding algorithm for quantum low-density parity-check codes. arXiv preprint arXiv:2406.18655","author":"Hillmann Timo","year":"2024","unstructured":"Timo Hillmann, Lucas Berent, Armanda O Quintavalle, Jens Eisert, Robert Wille, and Joschka Roffe. 2024. Localized statistics decoding: A parallel decoding algorithm for quantum low-density parity-check codes. arXiv preprint arXiv:2406.18655 (2024)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature03350"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2022-08-11-774"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2025-01-27-1609"},{"key":"e_1_3_2_1_24_1","volume-title":"Snakes and Ladders: Adapting the surface code to defects. arXiv preprint arXiv:2412.11504","author":"Leroux Catherine","year":"2024","unstructured":"Catherine Leroux, Sophia F Lin, Przemyslaw Bienias, Krishanu R Sankar, Asmae Benhemou, Aleksander Kubica, and Joseph K Iverson. 2024. Snakes and Ladders: Adapting the surface code to defects. arXiv preprint arXiv:2412.11504 (2024)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS54457.2022.00117"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304023"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.7.021050"},{"key":"e_1_3_2_1_28_1","volume-title":"Pak Kau Lim, and Leonid P Pryadko","author":"Lin Hsiang-Ku","year":"2025","unstructured":"Hsiang-Ku Lin, Xingrui Liu, Pak Kau Lim, and Leonid P Pryadko. 2025a. Single-shot and two-shot decoding with generalized bicycle codes. arXiv preprint arXiv:2502.19406 (2025)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.109.022407"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3620665.3640362"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA61900.2025.00021"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.12.021028"},{"key":"e_1_3_2_1_33_1","unstructured":"Alexander J Malcolm Andrew N Glaudell Patricio Fuentes Daryus Chandra Alexis Schotte Colby DeLisle Rafael Haenel Amir Ebrahimi Joschka Roffe Armanda O Quintavalle et al. 2025. Computing efficiently in QLDPC codes. arXiv preprint arXiv:2502.07150 (2025)."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2025-01-30-1618"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO56248.2022.00077"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.1428442"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-025-56255-5"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1103\/PRXQuantum.6.020330"},{"key":"e_1_3_2_1_39_1","unstructured":"Michael A. Perlin. 2023. qLDPC. https:\/\/github.com\/qLDPCOrg\/qLDPC."},{"key":"e_1_3_2_1_40_1","volume-title":"Architecture for fast implementation of qLDPC codes with optimized Rydberg gates. arXiv preprint arXiv:2404.18809","author":"Poole C","year":"2024","unstructured":"C Poole, TM Graham, MA Perlin, M Otten, and M Saffman. 2024. Architecture for fast implementation of qLDPC codes with optimized Rydberg gates. arXiv preprint arXiv:2404.18809 (2024)."},{"key":"e_1_3_2_1_41_1","volume-title":"CNF encodings. Handbook of satisfiability","author":"Prestwich Steven","year":"2021","unstructured":"Steven Prestwich. 2021. CNF encodings. Handbook of satisfiability (2021), 75-100."},{"key":"e_1_3_2_1_42_1","volume-title":"QDistRnd: A GAP package for computing the distance of quantum error-correcting codes. arXiv preprint arXiv:2308.15140","author":"Pryadko Leonid P","year":"2023","unstructured":"Leonid P Pryadko, Vadim A Shabashov, and Valerii K Kozin. 2023. QDistRnd: A GAP package for computing the distance of quantum error-correcting codes. arXiv preprint arXiv:2308.15140 (2023)."},{"key":"e_1_3_2_1_43_1","volume-title":"Explicit Instances of Quantum Tanner Codes. arXiv preprint arXiv:2508.05095","author":"Radebold Rebecca Katharina","year":"2025","unstructured":"Rebecca Katharina Radebold, Stephen D Bartlett, and Andrew C Doherty. 2025. Explicit Instances of Quantum Tanner Codes. arXiv preprint arXiv:2508.05095 (2025)."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","unstructured":"AG Radnaev WC Chung DC Cole D Mason TG Ballance MJ Bedalov DA Belknap MR Berman M Blakely IL Bloomfield et al. 2024. A universal neutral-atom quantum computer with individual optical addressing and non-destructive readout. arXiv preprint arXiv:2408.08288 (2024).","DOI":"10.1103\/66s8-jj18"},{"key":"e_1_3_2_1_45_1","volume-title":"Quantum computing: A gentle introduction","author":"Rieffel Eleanor G","unstructured":"Eleanor G Rieffel and Wolfgang H Polak. 2011. Quantum computing: A gentle introduction. MIT Press."},{"key":"e_1_3_2_1_46_1","volume-title":"LDPC: Python tools for low density parity check codes. https:\/\/pypi.org\/project\/ldpc\/","author":"Roffe Joschka","year":"2022","unstructured":"Joschka Roffe. 2022. LDPC: Python tools for low density parity check codes. https:\/\/pypi.org\/project\/ldpc\/"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2023-05-15-1005"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1996.548464"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1103\/physrevapplied.18.014072"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2023-07-25-1065"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/QCE60285.2024.00098"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.78.2252"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3658617.3697778"},{"key":"e_1_3_2_1_54_1","volume-title":"Error mitigation for short-depth quantum circuits. arXiv preprint arXiv:1612.02058","author":"Temme Kristan","year":"2016","unstructured":"Kristan Temme, Sergey Bravyi, and Jay M Gambetta. 2016. Error mitigation for short-depth quantum circuits. arXiv preprint arXiv:1612.02058 (2016)."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.90.062320"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.129.050504"},{"key":"e_1_3_2_1_57_1","volume-title":"Automation of reasoning: 2: Classical papers on computational logic 1967-1970","author":"Tseitin Grigori S","unstructured":"Grigori S Tseitin. 1983. On the complexity of derivation in propositional calculus. In Automation of reasoning: 2: Classical papers on computational logic 1967-1970. Springer, 466-483."},{"key":"e_1_3_2_1_58_1","volume-title":"Junyu Liu, Natalia Nottingham, Jonathan M Baker, and Frederic T Chong.","author":"Viszlai Joshua","year":"2023","unstructured":"Joshua Viszlai, Willers Yang, Sophia Fuhui Lin, Junyu Liu, Natalia Nottingham, Jonathan M Baker, and Frederic T Chong. 2023. Matching generalized-bicycle codes to neutral atoms for low-overhead fault-tolerance. arXiv preprint arXiv:2311.16980 (2023)."},{"key":"e_1_3_2_1_59_1","volume-title":"Scheduling and Decoding Obstacles of Quantum LDPC Codes. In 2024 57th IEEE\/ACM International Symposium on Microarchitecture (MICRO). IEEE, 718-734","author":"Vittal Suhas","year":"2024","unstructured":"Suhas Vittal, Ali Javadi-Abhari, Andrew W Cross, Lev S Bishop, and Moinuddin Qureshi. 2024. Flag-Proxy Networks: Overcoming the Architectural, Scheduling and Decoding Obstacles of Quantum LDPC Codes. In 2024 57th IEEE\/ACM International Symposium on Microarchitecture (MICRO). IEEE, 718-734."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/QCE57702.2023.00103"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA59077.2024.00030"},{"key":"e_1_3_2_1_62_1","volume-title":"Ambiguity Clustering: an accurate and efficient decoder for qLDPC codes. arXiv preprint arXiv:2406.14527","author":"Wolanski Stasiu","year":"2024","unstructured":"Stasiu Wolanski and Ben Barber. 2024. Ambiguity Clustering: an accurate and efficient decoder for qLDPC codes. arXiv preprint arXiv:2406.14527 (2024)."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3470496.3527381"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41567-024-02479-z"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO61859.2024.00061"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3669940.3707236"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1103\/gqpr-dgz7"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"crossref","unstructured":"Aosai Zhang Haipeng Xie Yu Gao Jia-Nan Yang Zehang Bao Zitian Zhu Jiachen Chen Ning Wang Chuanyu Zhang Jiarun Zhong et al. 2025. Demonstrating quantum error mitigation on logical qubits. arXiv preprint arXiv:2501.09079 (2025).","DOI":"10.1038\/s41467-025-67768-4"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2846658"}],"event":{"name":"ASPLOS '26: 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Pittsburgh PA USA","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGPLAN ACM Special Interest Group on Programming Languages","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2"],"original-title":[],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T14:08:04Z","timestamp":1773583684000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3779212.3790205"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,22]]},"references-count":69,"alternative-id":["10.1145\/3779212.3790205","10.1145\/3779212"],"URL":"https:\/\/doi.org\/10.1145\/3779212.3790205","relation":{},"subject":[],"published":{"date-parts":[[2026,3,22]]},"assertion":[{"value":"2026-03-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}