{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T10:11:43Z","timestamp":1783764703091,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3786583.3786907","type":"proceedings-article","created":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T09:12:14Z","timestamp":1783761134000},"page":"681-692","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Principles and Practices of Large-Scale Code Analysis at Ant Group: A Data- and Logic-Oriented Approach"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-9700-0542","authenticated-orcid":false,"given":"Xiaoheng","family":"Xie","sequence":"first","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8633-6036","authenticated-orcid":false,"given":"Gang","family":"Fan","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-8497-8767","authenticated-orcid":false,"given":"Xiaojun","family":"Lin","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-2173-3073","authenticated-orcid":false,"given":"Ang","family":"Zhou","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-7223-7843","authenticated-orcid":false,"given":"Shijie","family":"Li","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-8146-4861","authenticated-orcid":false,"given":"Xunjin","family":"Zheng","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-4599-7025","authenticated-orcid":false,"given":"Yinan","family":"Liang","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-8097-4976","authenticated-orcid":false,"given":"Yu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-4311-184X","authenticated-orcid":false,"given":"Na","family":"Yu","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-7623-3470","authenticated-orcid":false,"given":"Haokun","family":"Li","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-2613-6609","authenticated-orcid":false,"given":"Xinyu","family":"Chen","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-4791-5190","authenticated-orcid":false,"given":"Yingzhuang","family":"Chen","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-6610-0149","authenticated-orcid":false,"given":"Yi","family":"Zhen","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-7912-8540","authenticated-orcid":false,"given":"Dejun","family":"Dong","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-4395-599X","authenticated-orcid":false,"given":"Xianjin","family":"Fu","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-0411-3234","authenticated-orcid":false,"given":"Jinzhou","family":"Su","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-6902-4496","authenticated-orcid":false,"given":"Fuxiong","family":"Pan","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-0169-3071","authenticated-orcid":false,"given":"Pengshuai","family":"Luo","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-5067-2003","authenticated-orcid":false,"given":"Youzheng","family":"Feng","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-1374-7660","authenticated-orcid":false,"given":"Ruoxiang","family":"Hu","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5687-2655","authenticated-orcid":false,"given":"Hanyang","family":"Guo","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-1008-3326","authenticated-orcid":false,"given":"Jing","family":"Fan","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8174-7277","authenticated-orcid":false,"given":"Xiao","family":"Xiao","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5799-5876","authenticated-orcid":false,"given":"Peng","family":"Di","sequence":"additional","affiliation":[{"name":"Ant Group, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,11]]},"reference":[{"key":"e_1_3_3_2_2_2","unstructured":"2020. Clang Static Analyzer. https:\/\/clang-analyzer.llvm.org\/."},{"key":"e_1_3_3_2_3_2","unstructured":"2021. CodeQL. https:\/\/codeql.github.com\/."},{"key":"e_1_3_3_2_4_2","unstructured":"2021. StyleCop: C# Coding Style Enforcement. https:\/\/github.com\/StyleCop\/StyleCop."},{"key":"e_1_3_3_2_5_2","unstructured":"2023. Continuous Code Quality. https:\/\/www.sonarqube.org\/."},{"key":"e_1_3_3_2_6_2","unstructured":"2023. An extensible cross-language static code analyzer. https:\/\/pmd.github.io\/."},{"key":"e_1_3_3_2_7_2","unstructured":"2023. Glean. https:\/\/github.com\/facebookincubator\/Glean."},{"key":"e_1_3_3_2_8_2","unstructured":"2024. CodeRush: Visual Studio Productivity Tool. https:\/\/www.devexpress.com\/products\/coderush\/."},{"key":"e_1_3_3_2_9_2","unstructured":"2024. CodeScene Code Analysis Tool. https:\/\/codescene.com\/."},{"key":"e_1_3_3_2_10_2","unstructured":"2024. Coverity Static Analysis. https:\/\/www.synopsys.com\/software-integrity\/static-analysis-tools-sast.html."},{"key":"e_1_3_3_2_11_2","unstructured":"2024. JArchitect: Manage your Technical Debt. http:\/\/www.jarchitect.com\/."},{"key":"e_1_3_3_2_12_2","unstructured":"2024. Klocwork Static Code Analysis. https:\/\/www.perforce.com\/products\/klocwork."},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985898"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.5555\/525066"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2016.2"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"crossref","unstructured":"Francois Bancilhon David Maier Yehoshua Sagiv and Jeffrey\u00a0D. Ullman. 1986. Magic sets and other strange ways to implement logic programs. Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems (1986).","DOI":"10.1145\/6012.15399"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","unstructured":"Francois Bancilhon and Raghu Ramakrishnan. 1986. An Amateur\u2019s Introduction to Recursive Query Processing Strategies. SIGMOD Rec. 15 2 (jun 1986) 16\u201352. 10.1145\/16856.16859","DOI":"10.1145\/16856.16859"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642950"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970352"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17524-9_1"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"e_1_3_3_2_22_2","volume-title":"ACL 2023","author":"Chen Bei","year":"2023","unstructured":"Bei Chen, Daoguang Zan, Fengji Zhang, Dianjie Lu, Bingchao Wu, Bei Guan, Yongji Wang, and Jian-Guang Lou. 2023. Large Language Models Meet NL2Code: A Survey. In ACL 2023. https:\/\/www.microsoft.com\/en-us\/research\/publication\/large-language-models-meet-nl2code-a-survey\/"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3558944"},{"key":"e_1_3_3_2_24_2","unstructured":"CodeFuse-AI. 2026. CodeFuse-Query Runtime. https:\/\/github.com\/codefuse-ai\/CodeFuse-Query Accessed: 2026-01-21."},{"key":"e_1_3_3_2_25_2","first-page":"137","volume-title":"6th Symposium on Operating System Design and Implementation (OSDI 2004), San Francisco, California, USA, December 6-8, 2004","author":"Dean Jeffrey","year":"2004","unstructured":"Jeffrey Dean and Sanjay Ghemawat. 2004. MapReduce: Simplified Data Processing on Large Clusters. In 6th Symposium on Operating System Design and Implementation (OSDI 2004), San Francisco, California, USA, December 6-8, 2004, Eric\u00a0A. Brewer and Peter Chen (Eds.). USENIX Association, 137\u2013150. http:\/\/www.usenix.org\/events\/osdi04\/tech\/dean.html"},{"key":"e_1_3_3_2_26_2","unstructured":"Peng Di Jianguo Li Hang Yu Wei Jiang Wenting Cai Yang Cao Chaoyu Chen Dajun Chen Hongwei Chen Liang Chen et\u00a0al. 2023. Codefuse-13b: A pretrained multi-lingual code large language model. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2310.06266 (2023)."},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","unstructured":"Dino Distefano Manuel F\u00e4hndrich Francesco Logozzo and Peter\u00a0W. O\u2019Hearn. 2019. Scaling static analyses at Facebook. Commun. ACM 62 8 (2019) 62\u201370. 10.1145\/3338112","DOI":"10.1145\/3338112"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889222"},{"key":"e_1_3_3_2_29_2","unstructured":"Apache\u00a0Software Foundation. 2025. Apache Dubbo: The Java Implementation of Apache Dubbo. An RPC and Microservice Framework. https:\/\/github.com\/apache\/dubbo. Accessed: 2025-01-16."},{"key":"e_1_3_3_2_30_2","unstructured":"Apache\u00a0Software Foundation. 2025. Apache HBase: Distributed Scalable Big Data Store. https:\/\/github.com\/apache\/hbase. Accessed: 2025-01-16."},{"key":"e_1_3_3_2_31_2","unstructured":"Apache\u00a0Software Foundation. 2025. Apache Iceberg: A High-Performance Table Format for Huge Analytics Datasets. https:\/\/github.com\/apache\/iceberg. Accessed: 2025-01-16."},{"key":"e_1_3_3_2_32_2","unstructured":"Apache\u00a0Software Foundation. 2025. Apache IoTDB: Time-Series Database for IoT Applications. https:\/\/github.com\/apache\/iotdb. Accessed: 2025-01-16."},{"key":"e_1_3_3_2_33_2","unstructured":"Apache\u00a0Software Foundation. 2025. Apache Pulsar: Distributed Messaging and Streaming Platform. https:\/\/github.com\/apache\/pulsar. Accessed: 2025-01-16."},{"key":"e_1_3_3_2_34_2","unstructured":"Apache\u00a0Software Foundation. 2025. Apache RocketMQ. https:\/\/github.com\/apache\/rocketmq. Accessed: 2025-01-16."},{"key":"e_1_3_3_2_35_2","unstructured":"Apache\u00a0Software Foundation. 2025. Apache SeaTunnel: A Next-Generation Super High-Performance Distributed Massive Data Integration Tool. https:\/\/github.com\/apache\/seatunnel. Accessed: 2025-01-16."},{"key":"e_1_3_3_2_36_2","unstructured":"Apache\u00a0Software Foundation. 2025. Apache Storm: A Distributed Realtime Computation System. https:\/\/github.com\/apache\/storm. Accessed: 2025-01-16."},{"key":"e_1_3_3_2_37_2","doi-asserted-by":"publisher","unstructured":"Michael\u00a0R. Genesereth and Matthew\u00a0L. Ginsberg. 1985. Logic Programming. Commun. ACM 28 9 (sep 1985) 933\u2013941. 10.1145\/4284.4287","DOI":"10.1145\/4284.4287"},{"key":"e_1_3_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2019.00025"},{"key":"e_1_3_3_2_39_2","unstructured":"Richard\u00a0D Hipp. 2020. SQLite. https:\/\/www.sqlite.org\/index.html"},{"key":"e_1_3_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_36"},{"key":"e_1_3_3_2_41_2","first-page":"422","volume-title":"Computer Aided Verification","author":"Jordan Herbert","year":"2016","unstructured":"Herbert Jordan, Bernhard Scholz, and Pavle Suboti\u0107. 2016. Souffl\u00e9: On Synthesis of Program Analyzers. In Computer Aided Verification, Swarat Chaudhuri and Azadeh Farzan (Eds.). Springer International Publishing, Cham, 422\u2013430."},{"key":"e_1_3_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_3_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/2024445.2024454"},{"key":"e_1_3_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1145\/3379597.3387467"},{"key":"e_1_3_3_2_45_2","volume-title":"3rd International Workshop on the Resurgence of Datalog in Academia and Industry","author":"Ryzhyk Leonid","year":"2019","unstructured":"Leonid Ryzhyk and Mihai Budiu. 2019. Differential Datalog. In 3rd International Workshop on the Resurgence of Datalog in Academia and Industry. http:\/\/ceur-ws.org\/Vol- 2368\/paper6.pdf"},{"key":"e_1_3_3_2_46_2","doi-asserted-by":"crossref","unstructured":"Caitlin Sadowski Edward Aftandilian Alex Eagle Liam Miller-Cushon and Ciera Jaspan. 2018. Lessons from Building Static Analysis Tools at Google. Communications of the ACM (CACM) 61 Issue 4 (2018) 58\u201366. https:\/\/dl.acm.org\/citation.cfm?id=3188720","DOI":"10.1145\/3188720"},{"key":"e_1_3_3_2_47_2","doi-asserted-by":"publisher","unstructured":"Caitlin Sadowski Jeffrey van Gogh Ciera Jaspan Emma Soderberg and Collin Winter. 2015. Tricorder: Building a Program Analysis Ecosystem. 2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering (2015) 598\u2013608. 10.1109\/ICSE.2015.76","DOI":"10.1109\/ICSE.2015.76"},{"key":"e_1_3_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192418"},{"key":"e_1_3_3_2_49_2","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3613860"},{"key":"e_1_3_3_2_50_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2010.5447738"},{"key":"e_1_3_3_2_51_2","volume-title":"Principles of Database and Knowledge-Base Systems, Vol. 1","author":"Ullman Jeffrey\u00a0D.","year":"1989","unstructured":"Jeffrey\u00a0D. Ullman. 1989. Principles of Database and Knowledge-Base Systems, Vol. 1. Computer Science Press, Inc."},{"key":"e_1_3_3_2_52_2","volume-title":"Hadoop - The Definitive Guide: MapReduce for the Cloud","author":"White Tom","year":"2009","unstructured":"Tom White. 2009. Hadoop - The Definitive Guide: MapReduce for the Cloud. O\u2019Reilly. http:\/\/www.oreilly.de\/catalog\/9780596521974\/index.html"},{"key":"e_1_3_3_2_53_2","first-page":"15","volume-title":"Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2012, San Jose, CA, USA, April 25-27, 2012","author":"Zaharia Matei","year":"2012","unstructured":"Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauly, Michael\u00a0J. Franklin, Scott Shenker, and Ion Stoica. 2012. Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing. In Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2012, San Jose, CA, USA, April 25-27, 2012, Steven\u00a0D. Gribble and Dina Katabi (Eds.). USENIX Association, 15\u201328. https:\/\/www.usenix.org\/conference\/nsdi12\/technical-sessions\/presentation\/zaharia"},{"key":"e_1_3_3_2_54_2","doi-asserted-by":"publisher","DOI":"10.1145\/1985362.1985366"},{"key":"e_1_3_3_2_55_2","unstructured":"Ziyin Zhang Chaoyu Chen Bingchang Liu Cong Liao Zi Gong Hang Yu Jianguo Li and Rui Wang. 2023. A Survey on Language Models for Code. arxiv:https:\/\/arXiv.org\/abs\/2311.07989\u00a0[cs.CL]"},{"key":"e_1_3_3_2_56_2","unstructured":"Zibin Zheng Kaiwen Ning Yanlin Wang Jingwen Zhang Dewu Zheng Mingxi Ye and Jiachi Chen. 2023. A Survey of Large Language Models for Code: Evolution Benchmarking and Future Trends. arxiv:https:\/\/arXiv.org\/abs\/2311.10372\u00a0[cs.SE]"}],"event":{"name":"ICSE-SEIP '26: 2026 IEEE\/ACM 48th International Conference on Software Engineering","location":"Rio de Janeiro Brazil","acronym":"ICSE-SEIP '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the IEEE\/ACM 48th International Conference on Software Engineering: Software Engineering in Practice"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3786583.3786907","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T09:13:45Z","timestamp":1783761225000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3786583.3786907"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":55,"alternative-id":["10.1145\/3786583.3786907","10.1145\/3786583"],"URL":"https:\/\/doi.org\/10.1145\/3786583.3786907","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}