{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,24]],"date-time":"2026-08-24T08:39:10Z","timestamp":1787560750142,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":91,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,27]],"date-time":"2024-04-27T00:00:00Z","timestamp":1714176000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003452","name":"Innovation and Technology Commission","doi-asserted-by":"publisher","award":["ITS\/440\/18FP"],"award-info":[{"award-number":["ITS\/440\/18FP"]}],"id":[{"id":"10.13039\/501100003452","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62302434"],"award-info":[{"award-number":["62302434"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003816","name":"Huawei Technologies","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003816","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100004318","name":"Microsoft","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100004318","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,27]]},"DOI":"10.1145\/3620666.3651366","type":"proceedings-article","created":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T12:08:21Z","timestamp":1713960501000},"page":"882-899","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2985-6713","authenticated-orcid":false,"given":"Bowen","family":"Zhang","sequence":"first","affiliation":[{"name":"The Hong Kong University of Science and Technology, Hong Kong, Hong Kong"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0335-5002","authenticated-orcid":false,"given":"Wei","family":"Chen","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology, Hong Kong, Hong Kong"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0342-9518","authenticated-orcid":false,"given":"Peisen","family":"Yao","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, Zhejiang, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0617-5322","authenticated-orcid":false,"given":"Chengpeng","family":"Wang","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology, Hong Kong, Hong Kong"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4259-3321","authenticated-orcid":false,"given":"Wensheng","family":"Tang","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology, Hong Kong, Hong Kong"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-8611-9468","authenticated-orcid":false,"given":"Charles","family":"Zhang","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology, Hong Kong, Hong Kong"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,4,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/lcamtuf.coredump.cx\/afl\/","author":"AFL.","year":"2022","unstructured":"AFL. American fuzzy lop. https:\/\/lcamtuf.coredump.cx\/afl\/, 2022."},{"key":"e_1_3_2_1_2_1","first-page":"e1459","article-title":"Using machine translation for converting python 2 to python 3 code","volume":"3","author":"Aggarwal Karan","year":"2015","unstructured":"Karan Aggarwal, Mohammad Salameh, and Abram Hindle. Using machine translation for converting python 2 to python 3 code. PeerJ Prepr., 3:e1459, 2015.","journal-title":"PeerJ Prepr."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/6448"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368118"},{"key":"e_1_3_2_1_5_1","first-page":"27","volume-title":"Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP '12","author":"Bartel Alexandre","year":"2012","unstructured":"Alexandre Bartel, Jacques Klein, Yves Le Traon, and Martin Monperrus. Dexpler: Converting android dalvik bytecode to jimple for static analysis with soot. In Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP '12, page 27--38, New York, NY, USA, 2012. Association for Computing Machinery."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1998.738528"},{"key":"e_1_3_2_1_7_1","volume-title":"Ssi properties revisited. ACM Trans. Embed. Comput. Syst., 11S(1), jun","author":"Boissinot Benoit","year":"2012","unstructured":"Benoit Boissinot, Philip Brisk, Alain Darte, and Fabrice Rastello. Ssi properties revisited. ACM Trans. Embed. Comput. Syst., 11S(1), jun 2012."},{"key":"e_1_3_2_1_8_1","volume-title":"Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020","author":"Brown Tom B.","year":"2020","unstructured":"Tom B. Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, Sandhini Agarwal, Ariel Herbert-Voss, Gretchen Krueger, Tom Henighan, Rewon Child, Aditya Ramesh, Daniel M. Ziegler, Jeffrey Wu, Clemens Winter, Christopher Hesse, Mark Chen, Eric Sigler, Mateusz Litwin, Scott Gray, Benjamin Chess, Jack Clark, Christopher Berner, Sam McCandlish, Alec Radford, Ilya Sutskever, and Dario Amodei. Language models are few-shot learners. In Hugo Larochelle, Marc'Aurelio Ranzato, Raia Hadsell, Maria-Florina Balcan, and Hsuan-Tien Lin, editors, Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, December 6-12, 2020, virtual, 2020."},{"key":"e_1_3_2_1_9_1","first-page":"209","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI'08","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, and Dawson Engler. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI'08, page 209--224, USA, 2008. USENIX Association."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3622833"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523427"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00046"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363225"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1961296.1950396"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2542661.2544374"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/202529.202534"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.04.002"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/858570.858575"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1992.753508"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/257734.257774"},{"key":"e_1_3_2_1_22_1","first-page":"2440","volume-title":"Proceedings of the 44th International Conference on Software Engineering, ICSE '22","author":"Du Zhengjie","year":"2022","unstructured":"Zhengjie Du, Yuekang Li, Yang Liu, and Bing Mao. Windranger: A directed greybox fuzzer driven by deviation basic blocks. In Proceedings of the 44th International Conference on Software Engineering, ICSE '22, page 2440--2451, New York, NY, USA, 2022. Association for Computing Machinery."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00025"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523700"},{"key":"e_1_3_2_1_25_1","first-page":"599","volume-title":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017","author":"Feng Yu","year":"2017","unstructured":"Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, and Thomas W. Reps. Component-based synthesis for complex apis. In Giuseppe Castagna and Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, pages 599--612. ACM, 2017."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_3_2_1_27_1","volume-title":"14th USENIX Workshop on Offensive Technologies, WOOT 2020","author":"Fioraldi Andrea","year":"2020","unstructured":"Andrea Fioraldi, Dominik Christian Maier, Heiko Ei\u00dffeldt, and Marc Heuse. AFL++ : Combining incremental steps of fuzzing research. In Yuval Yarom and Sarah Zennou, editors, 14th USENIX Workshop on Offensive Technologies, WOOT 2020, August 11, 2020. USENIX Association, 2020."},{"key":"e_1_3_2_1_28_1","volume-title":"Firefox's building requirement on clang-11. https:\/\/firefox-source-docs.mozilla.org\/build\/buildsystem\/toolchains.html","year":"2023","unstructured":"Firefox. Firefox's building requirement on clang-11. https:\/\/firefox-source-docs.mozilla.org\/build\/buildsystem\/toolchains.html, 2023."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-39322-9_5"},{"key":"e_1_3_2_1_30_1","volume-title":"https:\/\/gcc.gnu.org\/onlinedocs\/libstdc++\/manual\/backwards.html","author":"GCC.","year":"2022","unstructured":"GCC. Gcc backward compatibility. https:\/\/gcc.gnu.org\/onlinedocs\/libstdc++\/manual\/backwards.html, 2022."},{"key":"e_1_3_2_1_31_1","volume-title":"the gnu compiler collection. https:\/\/gcc.gnu.org\/","author":"Gcc GCC.","year":"2023","unstructured":"GCC. Gcc, the gnu compiler collection. https:\/\/gcc.gnu.org\/, 2023."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/202530.202541"},{"key":"e_1_3_2_1_33_1","first-page":"50","volume-title":"Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011","author":"Gulwani Sumit","year":"2011","unstructured":"Sumit Gulwani, Vijay Anand Korthikanti, and Ashish Tiwari. Synthesizing geometry constructions. In Mary W. Hall and David A. Padua, editors, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011, pages 50--61. ACM, 2011."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523450"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371080"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462192"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491461"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504305"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337221"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3410220.3456276"},{"key":"e_1_3_2_1_41_1","volume-title":"Concrat: An automatic c-to-rust lock API translator for concurrent programs. CoRR, abs\/2301.10943","author":"Hong Jaemin","year":"2023","unstructured":"Jaemin Hong and Sukyoung Ryu. Concrat: An automatic c-to-rust lock API translator for concurrent programs. CoRR, abs\/2301.10943, 2023."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833751"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428273"},{"key":"e_1_3_2_1_44_1","volume-title":"https:\/\/blogs.oracle.com\/java\/post\/upgrading-major-java-versions","author":"JDK.","year":"2022","unstructured":"JDK. Jdk backward compatibility. https:\/\/blogs.oracle.com\/java\/post\/upgrading-major-java-versions, 2022."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00017"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314610"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.24018"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO51591.2021.9370308"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062343"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428199"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3582016.3582053"},{"key":"e_1_3_2_1_54_1","volume-title":"A principled approach to selective context sensitivity for pointer analysis. ACM Trans. Program. Lang. Syst., 42(2), may","author":"Li Yue","year":"2020","unstructured":"Yue Li, Tian Tan, Anders M\u00f8ller, and Yannis Smaragdakis. A principled approach to selective context sensitivity for pointer analysis. ACM Trans. Program. Lang. Syst., 42(2), may 2020."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510217"},{"key":"e_1_3_2_1_56_1","volume-title":"Linux kernel's building requirement on clang-11. https:\/\/www.kernel.org\/doc\/html\/latest\/process\/changes.html","year":"2023","unstructured":"Linux. Linux kernel's building requirement on clang-11. https:\/\/www.kernel.org\/doc\/html\/latest\/process\/changes.html, 2023."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428264"},{"key":"e_1_3_2_1_58_1","volume-title":"https:\/\/releases.llvm.org\/2.0\/docs\/CommandGuide\/html\/llvm-upgrade.html","author":"LLVM.","year":"2007","unstructured":"LLVM. Proposal of llvm-upgrader. https:\/\/releases.llvm.org\/2.0\/docs\/CommandGuide\/html\/llvm-upgrade.html, 2007."},{"key":"e_1_3_2_1_59_1","volume-title":"https:\/\/llvm.org\/docs\/DeveloperPolicy.html#ir-backwards-compatibility","author":"LLVM.","year":"2022","unstructured":"LLVM. Llvm backward compatibility. https:\/\/llvm.org\/docs\/DeveloperPolicy.html#ir-backwards-compatibility, 2022."},{"key":"e_1_3_2_1_60_1","volume-title":"https:\/\/llvm.org\/","author":"LLVM.","year":"2023","unstructured":"LLVM. The llvm compiler infrastructure. https:\/\/llvm.org\/, 2023."},{"key":"e_1_3_2_1_61_1","volume-title":"https:\/\/llvm.org\/docs\/TestingGuide.html","author":"LLVM.","year":"2023","unstructured":"LLVM. Llvm test guide. https:\/\/llvm.org\/docs\/TestingGuide.html, 2023."},{"key":"e_1_3_2_1_62_1","volume-title":"Llvm's building requirement on clang-5. https:\/\/llvm.org\/docs\/GettingStarted.html","author":"LLVM.","year":"2023","unstructured":"LLVM. Llvm's building requirement on clang-5. https:\/\/llvm.org\/docs\/GettingStarted.html, 2023."},{"key":"e_1_3_2_1_63_1","volume-title":"Llvm bc converter from llvm 3.9 to llvm 3.1","year":"2016","unstructured":"llvm dev. Llvm bc converter from llvm 3.9 to llvm 3.1, 2016."},{"key":"e_1_3_2_1_64_1","volume-title":"Llvm error handling mechanism","year":"2023","unstructured":"llvm dev. Llvm error handling mechanism, 2023."},{"key":"e_1_3_2_1_65_1","first-page":"65","volume-title":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2021","author":"Lopes Nuno P.","year":"2021","unstructured":"Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr. Alive2: Bounded translation validation for llvm. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2021, page 65--79, New York, NY, USA, 2021. Association for Computing Machinery."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3166064"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354244"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3527315"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/322609.322862"},{"key":"e_1_3_2_1_70_1","volume-title":"ppxlib: Base library and tools for ppx rewriters","year":"2024","unstructured":"OCaml. ppxlib: Base library and tools for ppx rewriters, 2024."},{"key":"e_1_3_2_1_71_1","volume-title":"Training language models to follow instructions with human feedback. CoRR, abs\/2203.02155","author":"Ouyang Long","year":"2022","unstructured":"Long Ouyang, Jef Wu, Xu Jiang, Diogo Almeida, Carroll L. Wainwright, Pamela Mishkin, Chong Zhang, Sandhini Agarwal, Katarina Slama, Alex Ray, John Schulman, Jacob Hilton, Fraser Kelton, Luke Miller, Maddie Simens, Amanda Askell, Peter Welinder, Paul F. Christiano, Jan Leike, and Ryan Lowe. Training language models to follow instructions with human feedback. CoRR, abs\/2203.02155, 2022."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254098"},{"key":"e_1_3_2_1_73_1","volume-title":"https:\/\/doc.qt.io\/archives\/qt-5.12\/supported-platforms.html","author":"QT.","year":"2023","unstructured":"QT. Qt-5.12's building requirement on clang-7. https:\/\/doc.qt.io\/archives\/qt-5.12\/supported-platforms.html, 2023."},{"key":"e_1_3_2_1_74_1","volume-title":"R8 compiler for java. https:\/\/r8.googlesource.com\/r8\/+\/refs\/heads\/main\/README.md","year":"2022","unstructured":"R8. R8 compiler for java. https:\/\/r8.googlesource.com\/r8\/+\/refs\/heads\/main\/README.md, 2022."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_7"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454035"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.536955"},{"key":"e_1_3_2_1_78_1","volume-title":"A pull request about upgrading llvm in rust project. https:\/\/github.com\/rust-lang\/rust\/pull\/34743","year":"2016","unstructured":"Rust. A pull request about upgrading llvm in rust project. https:\/\/github.com\/rust-lang\/rust\/pull\/34743, 2016."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371120"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17465-1_22"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314591"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192418"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108792.1108810"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460946.3464317"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484736"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/3527312"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3177160"},{"key":"e_1_3_2_1_89_1","first-page":"351","volume-title":"Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005","author":"Xie Yichen","year":"2005","unstructured":"Yichen Xie and Alexander Aiken. Scalable error detection using boolean satisfiability. In Jens Palsberg and Mart\u00edn Abadi, editors, Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pages 351--363. ACM, 2005."},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993532"},{"key":"e_1_3_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146260"}],"event":{"name":"ASPLOS '24: 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3","location":"La Jolla CA USA","acronym":"ASPLOS '24","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture","SIGOPS ACM Special Interest Group on Operating Systems","SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3620666.3651366","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:43Z","timestamp":1750291423000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3620666.3651366"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,27]]},"references-count":91,"alternative-id":["10.1145\/3620666.3651366","10.1145\/3620666"],"URL":"https:\/\/doi.org\/10.1145\/3620666.3651366","relation":{},"subject":[],"published":{"date-parts":[[2024,4,27]]},"assertion":[{"value":"2024-04-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}