{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T11:06:03Z","timestamp":1784199963318,"version":"3.55.0"},"reference-count":102,"publisher":"Association for Computing Machinery (ACM)","issue":"PLDI","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2025,6,10]]},"abstract":"<jats:p>Quantum recursive programming has been recently introduced for describing sophisticated and complicated quantum algorithms in a compact and elegant way. However, implementation of quantum recursion involves intricate interplay between quantum control flow and recursive procedure calls. In this paper, we aim at resolving this fundamental challenge and develop a series of techniques to efficiently implement quantum recursive programs. Our main contributions include:<\/jats:p>","DOI":"10.1145\/3729283","type":"journal-article","created":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T16:02:27Z","timestamp":1749830547000},"page":"822-847","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs"],"prefix":"10.1145","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7436-0426","authenticated-orcid":false,"given":"Zhicheng","family":"Zhang","sequence":"first","affiliation":[{"name":"University of Technology Sydney, Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"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":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,6,13]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CCC.2020.16"},{"key":"e_1_3_2_3_2","unstructured":"V. Aho Alfred S. Lam Monica Ravi Sethi and D. Ullman Jeffrey. 2007. Compilers: principles techniques & tools. Pearson Education."},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","unstructured":"Thorsten Altenkirch and Jonathan Grattage. 2005. A functional quantum programming language. In 20th Annual IEEE Symposium on Logic in Computer Science (LICS\u201905). 249\u2013258. doi:10.1109\/LICS.2005.1","DOI":"10.1109\/LICS.2005.1"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539705447311"},{"key":"e_1_3_2_6_2","doi-asserted-by":"publisher","unstructured":"Matthew Amy Martin Roetteler and Krysta M. Svore. 2017. Verified compilation of space-efficient reversible circuits. 3\u201321. doi:10.1007\/978-3-319-63390-9_1","DOI":"10.1007\/978-3-319-63390-9_1"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-021-85474-1"},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","unstructured":"Holger Bock Axelsen. 2011. Clean translation of an imperative reversible programming language. In International Conference on Compiler Construction. 144\u2013163. doi:10.1007\/978-3-642-19861-8_9","DOI":"10.1007\/978-3-642-19861-8_9"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","unstructured":"Holger Bock Axelsen Robert Gl\u00fcck and Tetsuo Yokoyama. 2007. Reversible machine code and its abstract processor architecture. In Computer Science\u2013Theory and Applications: Second International Symposium on Computer Science in Russia (CSR 2007). 56\u201369. doi:10.1007\/978-3-540-74510-5_9","DOI":"10.1007\/978-3-540-74510-5_9"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/18\/3\/033032"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.8.041015"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.8.011044"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/367236.367262"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/366193.366201"},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1984.715894"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1147\/rd.176.0525"},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/1272729.1272739"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","unstructured":"Daniel J. Bernstein Stacey Jeffery Tanja Lange and Alexander Meurer. 2013. Quantum algorithms for the subset-sum problem. In Post-Quantum Cryptography: 5th International Workshop PQCrypto 2013. 16\u201333. doi:10.1007\/978-3-642-38616-9_2","DOI":"10.1007\/978-3-642-38616-9_2"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","unstructured":"Ethan Bernstein and Umesh Vazirani. 1993. Quantum complexity theory. In Proceedings of the twenty-fifth annual ACM symposium on Theory of computing. 11\u201320. doi:10.1145\/167088.167097","DOI":"10.1145\/167088.167097"},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.114.090502"},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","unstructured":"Dominic W. Berry Andrew M. Childs and Robin Kothari. 2015. Hamiltonian simulation with nearly optimal dependence on all parameters. In Proceedings of the 56th Annual IEEE Symposium on Foundations of Computer Science (FOCS\u201915). 792\u2013809. doi:10.1109\/FOCS.2015.54","DOI":"10.1109\/FOCS.2015.54"},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","unstructured":"Benjamin Bichsel Maximilian Baader Timon Gehr and Martin Vechev. 2020. Silq: A high-level quantum language with safe uncomputation and intuitive semantics. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. 286\u2013300. doi:10.1145\/3385412.3386007","DOI":"10.1145\/3385412.3386007"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.12.046"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","unstructured":"Dan Browne Elham Kashefi and Simon Perdrix. 2011. Computational depth complexity of measurement-based quantum computation. In Theory of Quantum Computation Communication and Cryptography: 5th Conference TQC 2010. 35\u201346. doi:10.1007\/978-3-642-18073-6_4","DOI":"10.1007\/978-3-642-18073-6_4"},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","unstructured":"Costin B\u0103descu and Prakash Panangaden. 2015. Quantum alternation: prospects and problems. In Proceedings of the 12th International Workshop on Quantum Physics and Logic (EPTCS Vol. 195). 33\u201342. doi:10.4204\/EPTCS.195.3","DOI":"10.4204\/EPTCS.195.3"},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1137\/16M1087072"},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.26421\/QIC12.11-12-1"},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","unstructured":"Richard Cleve and John Watrous. 2000. Fast parallel circuits for the quantum Fourier transform. In Proceedings of the 41st Annual IEEE Symposium on Foundations of Computer Science (FOCS\u201900). 526\u2013536. doi:10.1109\/SFCS.2000.892140","DOI":"10.1109\/SFCS.2000.892140"},{"key":"e_1_3_2_29_2","unstructured":"Andrew W. Cross Lev S. Bishop John A. Smolin and Jay M. Gambetta. 2017. Open quantum assembly language. arXiv:1707.03429 [quant-ph]"},{"key":"e_1_3_2_30_2","unstructured":"Raphael Dias da Silva Einar Pius and Elham Kashefi. 2013. Global quantum circuit optimization. arXiv:1301.0351 [quant-ph]"},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/1219092.1219096"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","unstructured":"Haowei Deng Runzhou Tao Yuxiang Peng and Xiaodi Wu. 2024. A case for synthesis of recursive quantum unitary programs. Proceedings of the ACM on Programming Languages 8 (2024) 1759\u20131788. doi:10.1145\/3632901","DOI":"10.1145\/3632901"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1985.0070"},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1007\/bf01386232"},{"key":"e_1_3_2_35_2","unstructured":"Edsger W. Dijkstra. 1970. Notes on structured programming. (1970). http:\/\/www.cs.utexas.edu\/users\/EWD\/ewd02xx\/EWD249.PDF circulated privately"},{"key":"e_1_3_2_36_2","unstructured":"Edsger W. Dijkstra. 1979. Programming considered as a human activity. In Classics in software engineering. 1\u20139. https:\/\/www.cs.utexas.edu\/~EWD\/ewd01xx\/EWD117.PDF"},{"key":"e_1_3_2_37_2","unstructured":"Michael Patrick Frank. 1999. Reversibility for efficient computing. Ph. D. Dissertation. Massachusetts Institute of Technology."},{"key":"e_1_3_2_38_2","doi-asserted-by":"publisher","unstructured":"X. Fu L. Riesebos M. A. Rol Jeroen van Straten J. van Someren N. Khammassi I. Ashraf R. F. L. Vermeulen V. Newsum K. K. L. Loh J. C. de Sterke W. J. Vlothuizen R. N. Schouten C. G. Almudever L. DiCarlo and K. Bertels. 2019. eQASM: An executable quantum instruction set architecture. In 2019 IEEE International Symposium on High Performance Computer Architecture (HPCA). 224\u2013237. doi:10.1109\/HPCA.2019.00040","DOI":"10.1109\/HPCA.2019.00040"},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.78.052310"},{"key":"e_1_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.100.160501"},{"key":"e_1_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.26421\/QIC2.1-3"},{"key":"e_1_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1103\/PRXQuantum.2.020311"},{"key":"e_1_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.123.250501"},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1145\/3434318"},{"key":"e_1_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1145\/366622.366644"},{"key":"e_1_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00976239"},{"key":"e_1_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.4086\/toc.2005.v001a005"},{"key":"e_1_3_2_48_2","unstructured":"Samuel Jaques and Arthur G. Rattew. 2023. QRAM: A survey and critique. arXiv: 2305.10310 [quant-ph]"},{"key":"e_1_3_2_49_2","doi-asserted-by":"publisher","unstructured":"Jiaqing Jiang Xiaoming Sun Shang-Hua Teng Bujiao Wu Kewen Wu and Jialin Zhang. 2020. Optimal space-depth trade-off of CNOT circuits in quantum logic synthesis. In Proceedings of the 31st Annual ACM-SIAM Symposium on Discrete Algorithms (SODA\u201920). 213\u2013229. doi:10.1137\/1.9781611975994.13","DOI":"10.1137\/1.9781611975994.13"},{"key":"e_1_3_2_50_2","doi-asserted-by":"publisher","DOI":"10.5555\/153676"},{"key":"e_1_3_2_51_2","unstructured":"Richard Jozsa. 2005. An introduction to measurement based quantum computation. arXiv:quant-ph\/0508124 [quant-ph]"},{"key":"e_1_3_2_52_2","unstructured":"Robin Kothari. 2014. Efficient algorithms in quantum query complexity. Ph. D. Dissertation. University of Waterloo."},{"key":"e_1_3_2_53_2","doi-asserted-by":"publisher","DOI":"10.1147\/rd.53.0183"},{"key":"e_1_3_2_54_2","doi-asserted-by":"publisher","DOI":"10.1145\/3563309"},{"key":"e_1_3_2_55_2","unstructured":"Noah Linden and Sandu Popescu. 1998. The halting problem for quantum computers. arXiv:quant-ph\/9806054 [quant-ph]"},{"key":"e_1_3_2_56_2","unstructured":"Chenxu Liu Meng Wang Samuel A. Stein Yufei Ding and Ang Li. 2023. Quantum memory: a missing piece in quantum computing units. arXiv:2309.14432 [quant-ph]"},{"key":"e_1_3_2_57_2","doi-asserted-by":"publisher","DOI":"10.22331\/q-2024-06-17-1375"},{"key":"e_1_3_2_58_2","unstructured":"Guang Hao Low and Nathan Wiebe. 2019. Hamiltonian simulation in the interaction picture. arXiv:1805.00675 [quant-ph]"},{"key":"e_1_3_2_59_2","article-title":"Janus: a time-reversible language","volume":"2","author":"Lutz Christopher","year":"1986","unstructured":"Christopher Lutz and Howard Derby. 1986. Janus: a time-reversible language. Letter to Rolf Landauer 2 (1986).","journal-title":"Letter to Rolf Landauer"},{"key":"e_1_3_2_60_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11080-005-0923-2"},{"key":"e_1_3_2_61_2","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539799355053"},{"key":"e_1_3_2_62_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.78.1823"},{"key":"e_1_3_2_63_2","first-page":"589","article-title":"On the algorithmic complexity of discrete functions","volume":"7","author":"Ofman Yu","year":"1963","unstructured":"Yu Ofman. 1963. On the algorithmic complexity of discrete functions. In Sov. Math. Dokl., Vol. 7. 589.","journal-title":"Sov. Math. Dokl."},{"key":"e_1_3_2_64_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.80.631"},{"key":"e_1_3_2_65_2","doi-asserted-by":"publisher","DOI":"10.1007\/0-306-47097-7_32"},{"key":"e_1_3_2_66_2","doi-asserted-by":"publisher","unstructured":"Anouk Paradis Benjamin Bichsel Samuel Steffen and Martin Vechev. 2021. Unqomp: synthesizing uncomputation in quantum circuits. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. 222\u2013236. doi:10.1145\/3453483.3454040","DOI":"10.1145\/3453483.3454040"},{"key":"e_1_3_2_67_2","doi-asserted-by":"publisher","DOI":"10.22331\/q-2024-02-19-1258"},{"key":"e_1_3_2_68_2","unstructured":"Einar Pius. 2010. Automatic parallelisation of quantum circuits using the measurement based quantum computing model. Master\u2019s thesis. University of Edinburgh."},{"key":"e_1_3_2_69_2","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.287.17"},{"key":"e_1_3_2_70_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.86.5188"},{"key":"e_1_3_2_71_2","doi-asserted-by":"publisher","DOI":"10.1137\/0215017"},{"key":"e_1_3_2_72_2","unstructured":"Gregory Rosenthal. 2023. Query and depth upper bounds for quantum unitaries via Grover search. arXiv:2111.07992 [quant-ph]"},{"key":"e_1_3_2_73_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89366-2_19"},{"key":"e_1_3_2_74_2","doi-asserted-by":"publisher","unstructured":"Peter Selinger. 2004. Towards a quantum programming language. Mathematical Structures in Computer Science 14 4 (2004) 527\u2013586. doi:10.1017\/S0960129504004256","DOI":"10.1017\/S0960129504004256"},{"key":"e_1_3_2_75_2","doi-asserted-by":"publisher","unstructured":"Vivek V. Shende Stephen S. Bullock and Igor L. Markov. 2005. Synthesis of quantum logic circuits. In Proceedings of the 2005 Asia and South Pacific Design Automation Conference. 272\u2013275. doi:10.1109\/TCAD.2005.855930","DOI":"10.1109\/TCAD.2005.855930"},{"key":"e_1_3_2_76_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0375-9601(02)00015-4"},{"key":"e_1_3_2_77_2","unstructured":"Robert S. Smith Michael J. Curtis and William J. Zeng. 2017. A practical quantum instruction set architecture. arXiv:1608.03355 [quant-ph]"},{"key":"e_1_3_2_78_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2023.3244885"},{"key":"e_1_3_2_79_2","doi-asserted-by":"publisher","unstructured":"Yasuhiro Takahashi and Seiichiro Tani. 2013. Collapse of the hierarchy of constant-depth exact quantum circuits. In Proceedings of the 28th IEEE Conference on Computational Complexity. 168\u2013178. doi:10.1109\/CCC.2013.25","DOI":"10.1109\/CCC.2013.25"},{"key":"e_1_3_2_80_2","doi-asserted-by":"publisher","unstructured":"Runzhou Tao Yunong Shi Jianan Yao Xupeng Li Ali Javadi-Abhari Andrew W. Cross Frederic T. Chong and Ronghui Gu. 2022. Giallar: Push-button verification for the Qiskit quantum compiler. In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. 641\u2013656. doi:10.1145\/3519939.3523431","DOI":"10.1145\/3519939.3523431"},{"key":"e_1_3_2_81_2","doi-asserted-by":"publisher","DOI":"10.26421\/QIC4.2-5"},{"key":"e_1_3_2_82_2","doi-asserted-by":"publisher","unstructured":"Michael Kirkedal Thomsen Holger Bock Axelsen and Robert Gl\u00fcck. 2012. A reversible processor architecture and its reversible logic design. In Reversible Computation: Third International Workshop RC 2011. 30\u201342. doi:10.1007\/978-3-642-29517-1_3","DOI":"10.1007\/978-3-642-29517-1_3"},{"key":"e_1_3_2_83_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxu145"},{"key":"e_1_3_2_84_2","doi-asserted-by":"publisher","DOI":"10.1145\/3689785"},{"key":"e_1_3_2_85_2","unstructured":"Carlin James Vieri. 1999. Reversible computer engineering and architecture. Ph. D. Dissertation. Massachusetts Institute of Technology."},{"key":"e_1_3_2_86_2","doi-asserted-by":"publisher","DOI":"10.1145\/3571225"},{"key":"e_1_3_2_87_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2022.08.002"},{"key":"e_1_3_2_88_2","doi-asserted-by":"publisher","unstructured":"Shifan Xu Alvin Lu and Yongshan Ding. 2025. Fat-tree QRAM: A high-bandwidth shared quantum random access memory for parallel queries. In Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS\u201925 Vol. 2). 390\u2013406. doi:10.1145\/3676641.3716256","DOI":"10.1145\/3676641.3716256"},{"key":"e_1_3_2_89_2","unstructured":"Zhaowei Xu Mingsheng Ying and Beno\u00eet Valiron. 2021. Reasoning about recursive quantum programs. arXiv:2107.11679 [cs.LO]"},{"key":"e_1_3_2_90_2","doi-asserted-by":"publisher","unstructured":"Mingsheng Ying. 2016. Foundations of quantum programming. Morgan Kaufmann. doi:10.1016\/C2014-0-02660-3","DOI":"10.1016\/C2014-0-02660-3"},{"key":"e_1_3_2_91_2","unstructured":"Mingsheng Ying Nengkun Yu and Yuan Feng. 2012. Defining quantum control flow. arXiv:1209.4379 [quant-ph]"},{"key":"e_1_3_2_92_2","unstructured":"Mingsheng Ying and Zhicheng Zhang. 2024. Verification of recursively defined quantum circuits. arXiv:2404.05934 [quant-ph]"},{"key":"e_1_3_2_93_2","doi-asserted-by":"publisher","unstructured":"Tetsuo Yokoyama Holger Bock Axelsen and Robert Gl\u00fcck. 2008. Principles of a reversible programming language. In Proceedings of the 5th Conference on Computing Frontiers. 43\u201354. doi:10.1145\/1366230.1366239","DOI":"10.1145\/1366230.1366239"},{"key":"e_1_3_2_94_2","doi-asserted-by":"publisher","unstructured":"Tetsuo Yokoyama and Robert Gl\u00fcck. 2007. A reversible programming language and its invertible self-interpreter. In Proceedings of the 2007 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation. 144\u2013153. doi:10.1145\/1244381.1244404","DOI":"10.1145\/1244381.1244404"},{"key":"e_1_3_2_95_2","doi-asserted-by":"publisher","DOI":"10.1145\/3563297"},{"key":"e_1_3_2_96_2","doi-asserted-by":"publisher","DOI":"10.1145\/3656397"},{"key":"e_1_3_2_97_2","doi-asserted-by":"publisher","DOI":"10.1145\/3649811"},{"key":"e_1_3_2_98_2","doi-asserted-by":"publisher","DOI":"10.22331\/q-2023-03-20-956"},{"key":"e_1_3_2_99_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.129.230504"},{"key":"e_1_3_2_100_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-024-00835-8"},{"key":"e_1_3_2_101_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevResearch.3.043200"},{"key":"e_1_3_2_102_2","doi-asserted-by":"publisher","DOI":"10.22331\/q-2024-01-15-1228"},{"key":"e_1_3_2_103_2","doi-asserted-by":"crossref","unstructured":"Zhicheng Zhang and Mingsheng Ying. 2024. Quantum register machine: efficient implementation of quantum recursive programs. arXiv:2408.10054 [quant-ph]","DOI":"10.1145\/3729283"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3729283","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T10:06:20Z","timestamp":1784196380000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3729283"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,10]]},"references-count":102,"journal-issue":{"issue":"PLDI","published-print":{"date-parts":[[2025,6,10]]}},"alternative-id":["10.1145\/3729283"],"URL":"https:\/\/doi.org\/10.1145\/3729283","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,6,10]]},"assertion":[{"value":"2024-11-12","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-03-06","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-06-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}