{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T15:30:12Z","timestamp":1773588612368,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","funder":[{"name":"Innovation Program for Quantum Science and Technology","award":["2024ZD0300500"],"award-info":[{"award-number":["2024ZD0300500"]}]},{"name":"National Natural Science Foundation of China","award":["92465202"],"award-info":[{"award-number":["92465202"]}]},{"name":"Beijing Science and Technology Planning Project","award":["Z25110100810000"],"award-info":[{"award-number":["Z25110100810000"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,3,22]]},"DOI":"10.1145\/3779212.3790134","type":"proceedings-article","created":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:55:26Z","timestamp":1773150926000},"page":"274-289","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Borrowing Dirty Qubits in Quantum Programs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-7279-0658","authenticated-orcid":false,"given":"Bonan","family":"Su","sequence":"first","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9868-8477","authenticated-orcid":false,"given":"Li","family":"Zhou","sequence":"additional","affiliation":[{"name":"Key Laboratory of System Software (Chinese Academy of Sciences), Institute of Software, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3097-3896","authenticated-orcid":false,"given":"Yuan","family":"Feng","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4847-702X","authenticated-orcid":false,"given":"Mingsheng","family":"Ying","sequence":"additional","affiliation":[{"name":"University of Technology Sydney, Sydney, Australia"}],"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.1145\/3704868"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_24"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.3457"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386007"},{"key":"e_1_3_2_1_5_1","unstructured":"Bradben and geduardo. 2024. Quantum Memory Management in Q#. https:\/\/learn.microsoft.com\/en-us\/azure\/quantum\/user-guide\/language\/statements\/quantummemorymanagement."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-90660-2_5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","unstructured":"Cirq Developers. 2023. Cirq. https:\/\/doi.org\/10.5281\/zenodo.8161252","DOI":"10.5281\/zenodo.8161252"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3505636"},{"key":"e_1_3_2_1_9_1","unstructured":"Steven A. Cuccaro Thomas G. Draper Samuel A. Kutin and David Petrie Moulton. 2004. A new quantum ripple-carry addition circuit. arXiv:quant-ph\/0410184 [quant-ph] https:\/\/arxiv.org\/abs\/quant-ph\/0410184"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3352460.3358287"},{"key":"e_1_3_2_1_11_1","unstructured":"Thomas G. Draper. 2000. Addition on a Quantum Computer. arXiv:quant-ph\/0008033 [quant-ph] https:\/\/arxiv.org\/abs\/quant-ph\/0008033"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3582016.3582039"},{"key":"e_1_3_2_1_13_1","unstructured":"Craig Gidney. 2015. Constructing Large Controlled Nots. https:\/\/algassert.com\/circuits\/2015\/06\/05\/Constructing-Large-Controlled-Nots.html Accessed: 2025-08-02."},{"key":"e_1_3_2_1_14_1","unstructured":"Craig Gidney. 2018. Factoring with n2 clean qubits and n-1 dirty qubits. arXiv:1706.07884 [quant-ph] https:\/\/arxiv.org\/abs\/1706.07884"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373718.3394795"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.26421\/QIC17.7-8-7"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-91107-1_6"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3656428"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158123"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA51647.2021.00024"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3631525"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2024-06-17-1375"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37703-7_1"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454040"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2024-02-19-1258"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009894"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-08-06-79"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3723153"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.2573505"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.287.17"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-97063-4_11"},{"key":"e_1_3_2_1_33_1","first-page":"150","article-title":"Uncomputation in the Qrisp High-Level Quantum Programming Framework. In Reversible Computation, Martin Kutrib and Uwe Meyer (Eds.). Springer Nature Switzerland","author":"Seidel Raphael","year":"2023","unstructured":"Raphael Seidel, Nikolay Tcholtchev, Sebastian Bock, and Manfred Hauswirth. 2023. Uncomputation in the Qrisp High-Level Quantum Programming Framework. In Reversible Computation, Martin Kutrib and Uwe Meyer (Eds.). Springer Nature Switzerland, Cham, 150-165.","journal-title":"Cham"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183895.3183901"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.26421\/QIC10.9-10-12"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3689785"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3571225"},{"key":"e_1_3_2_1_39_1","volume-title":"Svore","author":"Wecker Dave","year":"2014","unstructured":"Dave Wecker and Krysta M. Svore. 2014. LIQUi|>: A Software Design Architecture and Domain-Specific Language for Quantum Computing. arXiv:1402.4467 [quant-ph] https:\/\/arxiv.org\/abs\/1402.4467"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3691632"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2049706.2049708"},{"key":"e_1_3_2_1_42_1","volume-title":"Foundations of Quantum Programming","author":"Ying Mingsheng","unstructured":"Mingsheng Ying. 2024. Foundations of Quantum Programming (2nd Edotion). Morgan Kaufmann.","edition":"2"}],"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-15T13:56:56Z","timestamp":1773583016000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3779212.3790134"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,22]]},"references-count":42,"alternative-id":["10.1145\/3779212.3790134","10.1145\/3779212"],"URL":"https:\/\/doi.org\/10.1145\/3779212.3790134","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"}}]}}