{"id":"https://openalex.org/W4390601305","doi":"https://doi.org/10.1145/3786583.3786907","title":"Principles and Practices of Large-Scale Code Analysis at Ant Group: A Data- and Logic-Oriented Approach","display_name":"Principles and Practices of Large-Scale Code Analysis at Ant Group: A Data- and Logic-Oriented Approach","publication_year":2026,"publication_date":"2026-04-12","ids":{"openalex":"https://openalex.org/W4390601305","doi":"https://doi.org/10.1145/3786583.3786907"},"language":"en","primary_location":{"id":"doi:10.1145/3786583.3786907","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3786583.3786907","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 48th International Conference on Software Engineering: Software Engineering in Practice","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3786583.3786907","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049011183","display_name":"Xiaoheng Xie","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiaoheng Xie","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0006-9700-0542","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012253866","display_name":"Gang Fan","orcid":"https://orcid.org/0000-0001-8982-9349"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gang Fan","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0000-0002-8633-6036","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100582250","display_name":"Xiaojun Lin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiaojun Lin","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0000-8497-8767","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114858737","display_name":"Ang Zhou","orcid":"https://orcid.org/0009-0009-7300-089X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ang Zhou","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0001-2173-3073","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101782032","display_name":"Shijie Li","orcid":"https://orcid.org/0000-0002-0529-0057"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shijie Li","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0002-7223-7843","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114115808","display_name":"Xunjin Zheng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xunjin Zheng","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0002-8146-4861","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113024207","display_name":"Yinan Liang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yinan Liang","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0000-4599-7025","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100707101","display_name":"Yu Zhang","orcid":"https://orcid.org/0000-0002-2842-6340"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yu Zhang","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0005-8097-4976","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102642336","display_name":"Na Yu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Na Yu","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0008-4311-184X","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102852549","display_name":"Haokun Li","orcid":"https://orcid.org/0000-0001-6411-9324"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Haokun Li","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0005-7623-3470","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100443907","display_name":"Xinyu Chen","orcid":"https://orcid.org/0009-0007-9997-4532"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xinyu Chen","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0000-2613-6609","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085237605","display_name":"Yingzhuang Chen","orcid":"https://orcid.org/0000-0002-4520-9313"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yingzhuang Chen","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0001-4791-5190","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101470893","display_name":"Yi Zhen","orcid":"https://orcid.org/0000-0001-8677-5082"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yi Zhen","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0001-6610-0149","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044844939","display_name":"Dejun Dong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dejun Dong","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0003-7912-8540","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055846297","display_name":"Xianjin Fu","orcid":"https://orcid.org/0009-0007-4395-599X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xianjin Fu","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0007-4395-599X","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102601224","display_name":"Jinzhou Su","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jinzhou Su","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0005-0411-3234","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102601225","display_name":"Fuxiong Pan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fuxiong Pan","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0008-6902-4496","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100555868","display_name":"Pengshuai Luo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pengshuai Luo","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0007-0169-3071","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041370186","display_name":"Youzheng Feng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Youzheng Feng","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0001-5067-2003","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072798545","display_name":"Ruoxiang Hu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ruoxiang Hu","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0008-1374-7660","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055901874","display_name":"Jing Fan","orcid":"https://orcid.org/0000-0002-6986-7214"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hanyang Guo","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0000-0002-5687-2655","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055901874","display_name":"Jing Fan","orcid":"https://orcid.org/0000-0002-6986-7214"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jing Fan","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0005-1008-3326","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100451701","display_name":"Xiao Xiao","orcid":"https://orcid.org/0000-0001-5040-0609"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiao Xiao","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0000-0001-8174-7277","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000833287","display_name":"Peng Di","orcid":"https://orcid.org/0000-0002-5799-5876"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peng Di","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0000-0002-5799-5876","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"681","last_page":"692"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8201286792755127},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.6577895879745483},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5368042588233948},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.531028151512146},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.49382147192955017},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.4641273021697998},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.43950605392456055},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.39052441716194153},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3307766020298004},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.32844340801239014},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.3189123272895813}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8201286792755127},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.6577895879745483},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5368042588233948},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.531028151512146},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.49382147192955017},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.4641273021697998},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.43950605392456055},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.39052441716194153},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3307766020298004},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32844340801239014},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3189123272895813}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3786583.3786907","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3786583.3786907","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 48th International Conference on Software Engineering: Software Engineering in Practice","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2401.01571","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2401.01571","pdf_url":"https://arxiv.org/pdf/2401.01571","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:arXiv.org:2401.01571","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2401.01571","pdf_url":"https://arxiv.org/pdf/2401.01571","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2401.01571","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2401.01571","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.1145/3786583.3786907","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3786583.3786907","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 48th International Conference on Software Engineering: Software Engineering in Practice","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4388483122","https://openalex.org/W4387126921","https://openalex.org/W3030592833","https://openalex.org/W2354385412","https://openalex.org/W2032897247","https://openalex.org/W4297908618","https://openalex.org/W2985048382","https://openalex.org/W4240545424","https://openalex.org/W2765641823","https://openalex.org/W4386447154"],"abstract_inverted_index":{"Large-scale":[0],"software":[1],"development":[2],"requires":[3],"dynamic":[4],"and":[5,26,29,63,92],"multifaceted":[6],"static":[7],"code":[8,40,59,90],"analysis":[9,24,68],"that":[10],"extend":[11],"beyond":[12],"the":[13],"capabilities":[14],"of":[15],"traditional":[16],"tools.":[17],"Existing":[18],"tools":[19],"like":[20],"CodeQL":[21],"lack":[22],"cross-language":[23],"capability":[25],"are":[27],"time-consuming":[28],"resource-intensive.":[30],"We":[31],"present":[32],"CodeFuse-Query,":[33],"a":[34,45,53],"data":[35,61,86],"system":[36],"tailored":[37],"for":[38,98],"large-scale":[39],"analysis.":[41],"First,":[42],"CodeFuse-Query":[43,74],"adopts":[44,75],"Logic":[46],"Oriented":[47],"Computation":[48],"Design,":[49],"employing":[50],"Datalog":[51],"with":[52],"two-tiered":[54],"schema(COREF)":[55],"to":[56,65],"convert":[57],"source":[58],"into":[60],"facts,":[62],"G\u00f6del":[64],"express":[66],"complex":[67],"tasks":[69,94],"in":[70],"logical":[71],"terms.":[72],"Furthermore,":[73],"Domain":[76],"Optimized":[77],"System":[78],"Design.":[79],"This":[80],"approach":[81],"optimizes":[82],"resource":[83],"utilization,":[84],"prioritizes":[85],"reusability,":[87],"applies":[88],"incremental":[89],"extraction,":[91],"introduces":[93],"type":[95],"characteristics":[96],"specially":[97],"Code":[99],"Change,":[100],"underscoring":[101],"its":[102],"domain-optimized":[103],"design.":[104]},"counts_by_year":[],"updated_date":"2026-07-18T07:39:51.176621","created_date":"2024-01-05T00:00:00"}