{"id":"https://openalex.org/W7117293303","doi":"https://doi.org/10.1145/3786763","title":"Scaling Inter-procedural Dataflow Analysis on the Cloud","display_name":"Scaling Inter-procedural Dataflow Analysis on the Cloud","publication_year":2025,"publication_date":"2025-12-26","ids":{"openalex":"https://openalex.org/W7117293303","doi":"https://doi.org/10.1145/3786763"},"language":"en","primary_location":{"id":"doi:10.1145/3786763","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3786763","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107247072","display_name":"Zewen Sun","orcid":"https://orcid.org/0009-0001-1293-122X"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zewen Sun","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0009-0001-1293-122X","affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5121305713","display_name":"Yujin Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yujin Zhang","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0009-0006-2563-4554","affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107250455","display_name":"Yueyang Wang","orcid":"https://orcid.org/0009-0005-1129-722X"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yueyang Wang","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0009-0005-1129-722X","affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081097421","display_name":"Duanchen Xu","orcid":"https://orcid.org/0009-0000-3833-5381"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Duanchen Xu","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0009-0000-3833-5381","affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5121321474","display_name":"Yiyu Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yiyu Zhang","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0009-0000-7412-5293","affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5121310558","display_name":"Yun Qi","orcid":null},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yun Qi","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0009-0002-4901-369X","affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062918181","display_name":"Zhaokang Wang","orcid":"https://orcid.org/0000-0002-8123-9018"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhaokang Wang","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-8123-9018","affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5121308283","display_name":"Yue Li","orcid":null},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yue Li","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0009-0009-1285-2298","affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063810037","display_name":"XuanDong Li","orcid":null},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xuandong Li","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0003-3090-9568","affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045083341","display_name":"Qingda Lu","orcid":"https://orcid.org/0009-0003-8492-6096"},"institutions":[{"id":"https://openalex.org/I4210095624","display_name":"Alibaba Group (United States)","ror":"https://ror.org/00rn0m335","country_code":"US","type":"company","lineage":["https://openalex.org/I4210095624","https://openalex.org/I45928872"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qingda Lu","raw_affiliation_strings":["Alibaba Cloud Computing, Sunnyvale, CA, USA"],"raw_orcid":"https://orcid.org/0009-0003-8492-6096","affiliations":[{"raw_affiliation_string":"Alibaba Cloud Computing, Sunnyvale, CA, USA","institution_ids":["https://openalex.org/I4210095624"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089471785","display_name":"Wenwen Peng","orcid":"https://orcid.org/0009-0000-4700-0225"},"institutions":[{"id":"https://openalex.org/I45928872","display_name":"Alibaba Group (China)","ror":"https://ror.org/00k642b80","country_code":"CN","type":"company","lineage":["https://openalex.org/I45928872"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenwen Peng","raw_affiliation_strings":["Alibaba Cloud Computing, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0000-4700-0225","affiliations":[{"raw_affiliation_string":"Alibaba Cloud Computing, Beijing, China","institution_ids":["https://openalex.org/I45928872"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5121301096","display_name":"Shengjian Guo","orcid":null},"institutions":[{"id":"https://openalex.org/I98301712","display_name":"Baidu (China)","ror":"https://ror.org/03vs3wt56","country_code":"CN","type":"company","lineage":["https://openalex.org/I98301712"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shengjian Guo","raw_affiliation_strings":["Baidu Research, Mountain View, CA, USA"],"raw_orcid":"https://orcid.org/0000-0001-9145-9279","affiliations":[{"raw_affiliation_string":"Baidu Research, Mountain View, CA, USA","institution_ids":["https://openalex.org/I98301712"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067825173","display_name":"Zhiqiang Zuo","orcid":"https://orcid.org/0000-0001-7104-9918"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiqiang Zuo","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0001-7104-9918","affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":13,"corresponding_author_ids":["https://openalex.org/A5107247072"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.64936886,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"48","issue":"1","first_page":"1","last_page":"40"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.17520000040531158,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.17520000040531158,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11424","display_name":"Security and Verification in Computing","score":0.14990000426769257,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.10360000282526016,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.9825000166893005},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6915000081062317},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.633899986743927},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.551800012588501},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5092999935150146},{"id":"https://openalex.org/keywords/call-graph","display_name":"Call graph","score":0.49140000343322754},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4700999855995178},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.44429999589920044},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.4025000035762787}],"concepts":[{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.9825000166893005},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9470000267028809},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6915000081062317},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6565999984741211},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.633899986743927},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.551800012588501},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5092999935150146},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.49140000343322754},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48969998955726624},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4700999855995178},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.44429999589920044},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4174000024795532},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.4025000035762787},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.3977000117301941},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3878999948501587},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.36169999837875366},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.358599990606308},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3522999882698059},{"id":"https://openalex.org/C176727019","wikidata":"https://www.wikidata.org/wiki/Q1172415","display_name":"Dataflow architecture","level":3,"score":0.33250001072883606},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.3084000051021576},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.30820000171661377},{"id":"https://openalex.org/C99844830","wikidata":"https://www.wikidata.org/wiki/Q102441924","display_name":"Scaling","level":2,"score":0.29600000381469727},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.29010000824928284},{"id":"https://openalex.org/C8767382","wikidata":"https://www.wikidata.org/wiki/Q1058454","display_name":"Dynamic compilation","level":3,"score":0.2842000126838684},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.28119999170303345},{"id":"https://openalex.org/C96147967","wikidata":"https://www.wikidata.org/wiki/Q190686","display_name":"Subroutine","level":2,"score":0.27880001068115234},{"id":"https://openalex.org/C2780870223","wikidata":"https://www.wikidata.org/wiki/Q1004415","display_name":"Runtime system","level":2,"score":0.2773999869823456},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.2596000134944916},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.25859999656677246},{"id":"https://openalex.org/C106937863","wikidata":"https://www.wikidata.org/wiki/Q7236518","display_name":"Power graph analysis","level":3,"score":0.2581999897956848},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.2551000118255615},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.25099998712539673}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3786763","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3786763","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8268568699","display_name":null,"funder_award_id":"62272217","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8949779117","display_name":null,"funder_award_id":"BK20250067","funder_id":"https://openalex.org/F4320334982","funder_display_name":"Basic Research Program of Jiangsu Province"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320334982","display_name":"Basic Research Program of Jiangsu Province","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":75,"referenced_works":["https://openalex.org/W170123544","https://openalex.org/W1533929374","https://openalex.org/W1568478782","https://openalex.org/W1837958857","https://openalex.org/W1971782746","https://openalex.org/W1976943774","https://openalex.org/W1986703553","https://openalex.org/W2000041758","https://openalex.org/W2010570907","https://openalex.org/W2022043656","https://openalex.org/W2026794345","https://openalex.org/W2031364891","https://openalex.org/W2031507118","https://openalex.org/W2043100293","https://openalex.org/W2046213250","https://openalex.org/W2048173326","https://openalex.org/W2053152889","https://openalex.org/W2065826255","https://openalex.org/W2073264387","https://openalex.org/W2077617866","https://openalex.org/W2080098453","https://openalex.org/W2080573945","https://openalex.org/W2087403174","https://openalex.org/W2091302783","https://openalex.org/W2091789763","https://openalex.org/W2110833886","https://openalex.org/W2116098983","https://openalex.org/W2119407198","https://openalex.org/W2120339017","https://openalex.org/W2122252189","https://openalex.org/W2124153277","https://openalex.org/W2134601819","https://openalex.org/W2139668965","https://openalex.org/W2151360539","https://openalex.org/W2154847114","https://openalex.org/W2156045808","https://openalex.org/W2158600037","https://openalex.org/W2166743230","https://openalex.org/W2170616854","https://openalex.org/W2293441536","https://openalex.org/W2296407087","https://openalex.org/W2297774820","https://openalex.org/W2511362782","https://openalex.org/W2513927163","https://openalex.org/W2514626402","https://openalex.org/W2596289355","https://openalex.org/W2604520577","https://openalex.org/W2739909123","https://openalex.org/W2784876765","https://openalex.org/W2788981395","https://openalex.org/W2799226481","https://openalex.org/W2898152370","https://openalex.org/W2898232260","https://openalex.org/W2898502769","https://openalex.org/W2914074464","https://openalex.org/W2920740222","https://openalex.org/W2962722502","https://openalex.org/W2971773698","https://openalex.org/W2972433440","https://openalex.org/W3106071957","https://openalex.org/W3107605113","https://openalex.org/W3139006581","https://openalex.org/W3147094945","https://openalex.org/W3147482974","https://openalex.org/W3174779340","https://openalex.org/W3177312109","https://openalex.org/W3189632290","https://openalex.org/W3206289870","https://openalex.org/W4205961663","https://openalex.org/W4225159042","https://openalex.org/W4254666025","https://openalex.org/W4256064790","https://openalex.org/W4308643060","https://openalex.org/W4389988730","https://openalex.org/W4403864704"],"related_works":[],"abstract_inverted_index":{"Apart":[0],"from":[1],"forming":[2],"the":[3,56,99,107,118],"backbone":[4],"of":[5,19,102,109,112],"compiler":[6],"optimization,":[7],"static":[8],"dataflow":[9,35,59],"analysis":[10,36,53,75,124],"has":[11],"been":[12],"widely":[13],"applied":[14],"in":[15,114],"a":[16,50,85,92],"vast":[17],"variety":[18],"applications,":[20],"such":[21],"as":[22],"bug":[23],"detection,":[24],"privacy":[25],"analysis,":[26],"and":[27,76,83],"program":[28,108],"comprehension.":[29],"Despite":[30],"its":[31],"importance,":[32],"performing":[33],"inter-procedural":[34,58],"on":[37,91],"large-scale":[38,63,93],"programs":[39],"is":[40],"well-known":[41],"to":[42],"be":[43],"challenging.":[44],"In":[45],"this":[46],"article,":[47],"we":[48,66],"propose":[49],"novel":[51],"distributed":[52,69,86],"framework":[54,87],"supporting":[55],"general":[57],"analysis.":[60,78],"Inspired":[61],"by":[62],"graph":[64],"processing,":[65],"devise":[67],"dedicated":[68],"worklist":[70],"algorithms":[71,82],"for":[72],"both":[73],"whole-program":[74],"incremental":[77],"We":[79],"implement":[80],"these":[81],"develop":[84],"called":[88],"BigDataflow":[89,120],"running":[90],"cluster.":[94],"The":[95],"experimental":[96],"results":[97],"validate":[98],"promising":[100],"performance":[101],"BigDataflow\u2014BigDataflow":[103],"can":[104],"finish":[105],"analyzing":[106],"million":[110],"lines":[111],"code":[113],"minutes.":[115],"Compared":[116],"with":[117],"state-of-the-art,":[119],"achieves":[121],"much":[122],"more":[123],"efficiency.":[125]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-12-26T00:00:00"}