{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:02:46Z","timestamp":1776304966906,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T00:00:00Z","timestamp":1701302400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["Grant No. 62272217"],"award-info":[{"award-number":["Grant No. 62272217"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["Grant No. 020214380104"],"award-info":[{"award-number":["Grant No. 020214380104"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,11,30]]},"DOI":"10.1145\/3611643.3616348","type":"proceedings-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T23:14:38Z","timestamp":1701386078000},"page":"1431-1443","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-1293-122X","authenticated-orcid":false,"given":"Zewen","family":"Sun","sequence":"first","affiliation":[{"name":"Nanjing University, Nanjing University, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-3833-5381","authenticated-orcid":false,"given":"Duanchen","family":"Xu","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing University, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-7412-5293","authenticated-orcid":false,"given":"Yiyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing University, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-4901-369X","authenticated-orcid":false,"given":"Yun","family":"Qi","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing University, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-1129-722X","authenticated-orcid":false,"given":"Yueyang","family":"Wang","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing University, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7104-9918","authenticated-orcid":false,"given":"Zhiqiang","family":"Zuo","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing University, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8123-9018","authenticated-orcid":false,"given":"Zhaokang","family":"Wang","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing University, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-1285-2298","authenticated-orcid":false,"given":"Yue","family":"Li","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing University, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3090-9568","authenticated-orcid":false,"given":"Xuandong","family":"Li","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing University, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-8492-6096","authenticated-orcid":false,"given":"Qingda","family":"Lu","sequence":"additional","affiliation":[{"name":"Alibaba Group, Alibaba Group, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-4700-0225","authenticated-orcid":false,"given":"Wenwen","family":"Peng","sequence":"additional","affiliation":[{"name":"Alibaba Group, Alibaba Group, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9145-9279","authenticated-orcid":false,"given":"Shengjian","family":"Guo","sequence":"additional","affiliation":[{"name":"Baidu Research, Baidu Research, USA"}]}],"member":"320","published-online":{"date-parts":[[2023,11,30]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","unstructured":"Alex Aiken Suhabe Bugrara Isil Dillig Thomas Dillig Brian Hackett and Peter Hawkins. [n. d.]. An Overview of the Saturn Project. In PASTE (PASTE \u201907). ACM 43\u201348. isbn:978-1-59593-595-3 https:\/\/doi.org\/10.1145\/1251535.1251543 10.1145\/1251535.1251543","DOI":"10.1145\/1251535.1251543"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254091"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594299"},{"key":"e_1_3_2_2_4_1","first-page":"5","article-title":"Giraph: Large-scale graph processing infrastructure on hadoop. Proceedings of the Hadoop Summit","volume":"11","author":"Avery Ching","year":"2011","unstructured":"Ching Avery. 2011. Giraph: Large-scale graph processing infrastructure on hadoop. Proceedings of the Hadoop Summit. Santa Clara, 11, 3 (2011), 5\u20139.","journal-title":"Santa Clara"},{"key":"e_1_3_2_2_5_1","volume-title":"Frameworks for Intra- and Interprocedural Dataflow Analysis","author":"Chambers Craig","unstructured":"Craig Chambers, Jeffrey Dean, and David Grove. 1996. Frameworks for Intra- and Interprocedural Dataflow Analysis. University of Washington."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.14778\/2824032.2824077"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99594"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3558944"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178264"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106261"},{"key":"e_1_3_2_2_11_1","volume-title":"OSDI (OSDI\u201912)","author":"Gonzalez Joseph E.","year":"1971","unstructured":"Joseph E. Gonzalez, Yucheng Low, Haijie Gu, Danny Bickson, and Carlos Guestrin. 2012. PowerGraph: Distributed Graph-parallel Computation on Natural Graphs. In OSDI (OSDI\u201912). USENIX Association, 17\u201330. isbn:978-1-931971-96-6"},{"key":"e_1_3_2_2_12_1","volume-title":"OSDI (OSDI\u201914)","author":"Gonzalez Joseph E.","year":"1971","unstructured":"Joseph E. Gonzalez, Reynold S. Xin, Ankur Dave, Daniel Crankshaw, Michael J. Franklin, and Ion Stoica. 2014. GraphX: Graph Processing in a Distributed Dataflow Framework. In OSDI (OSDI\u201914). USENIX Association, 599\u2013613. isbn:978-1-931971-16-4"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2011.5764695"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2020.3036190"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480911"},{"key":"e_1_3_2_2_16_1","volume-title":"CGO (CGO \u201911)","author":"Hardekopf Ben","year":"1900","unstructured":"Ben Hardekopf and Calvin Lin. 2011. Flow-sensitive Pointer Analysis for Millions of Lines of Code. In CGO (CGO \u201911). IEEE Computer Society, Washington, DC, USA. 289\u2013298. isbn:978-1-61284-356-8 http:\/\/dl.acm.org\/citation.cfm?id=2190025.2190075"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276510"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/321921.321938"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00290339"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"crossref","unstructured":"Arijit Khan. 2016. Vertex-Centric Graph Processing: The Good the Bad and the Ugly. 12.","DOI":"10.12968\/denn.2016.12.10.542"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/512927.512945"},{"key":"e_1_3_2_2_22_1","volume-title":"HybriDroid: Static analysis framework for Android hybrid applications. In 2016 31st (ASE). 250\u2013261","author":"Lee Sungho","unstructured":"Sungho Lee, Julian Dolby, and Sukyoung Ryu. 2016. HybriDroid: Static analysis framework for Android hybrid applications. In 2016 31st (ASE). 250\u2013261."},{"key":"e_1_3_2_2_23_1","volume-title":"Proceedings of the 6th International Conference on Supercomputing. 236\u2013247","author":"Ryder Lee","year":"1992","unstructured":"Yong-fong Lee and Barbara G Ryder. 1992. A comprehensive approach to parallel data flow analysis. In Proceedings of the 6th International Conference on Supercomputing. 236\u2013247."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276511"},{"key":"e_1_3_2_2_25_1","unstructured":"Yucheng Low Joseph Gonzalez Aapo Kyrola Danny Bickson Carlos Guestrin and Joseph M Hellerstein. 2012. Distributed graphlab: A framework for machine learning in the cloud. arXiv preprint arXiv:1204.6078."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.4230\/LITES-v003-i001-a005"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807184"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2818185"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/258993.259006"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/328690.328703"},{"key":"e_1_3_2_2_31_1","volume-title":"Parallel flow-sensitive pointer analysis by graph-rewriting","author":"Nagaraj Vaivaswatha","unstructured":"Vaivaswatha Nagaraj and R Govindarajan. 2013. Parallel flow-sensitive pointer analysis by graph-rewriting. In IEEE. 19\u201328."},{"key":"e_1_3_2_2_32_1","volume-title":"Principles of Program Analysis","author":"Nielson Flemming","unstructured":"Flemming Nielson, Hanne R. Nielson, and Chris Hankin. 1999. Principles of Program Analysis. Springer-Verlag, Berlin, Heidelberg. isbn:3540654100"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00315-7"},{"key":"e_1_3_2_2_34_1","volume-title":"ILPS (ILPS \u201997)","author":"Reps Thomas","unstructured":"Thomas Reps. 1997. Program Analysis via Graph Reachability. In ILPS (ILPS \u201997). MIT Press, 5\u201319. isbn:0-262-63180-6"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","unstructured":"Thomas Reps Susan Horwitz and Mooly Sagiv. 1995. Precise Interprocedural Dataflow Analysis via Graph Reachability. In POPL (POPL \u201995). ACM 49\u201361. isbn:0-89791-692-1 https:\/\/doi.org\/10.1145\/199448.199462 10.1145\/199448.199462","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"crossref","unstructured":"Jonathan Rodriguez and Ond\u0159ej Lhot\u00e1k. 2011. Actor-based Parallel Dataflow Analysis. In CC (CC\u201911\/ETAPS\u201911). 179\u2013197. isbn:978-3-642-19860-1","DOI":"10.1007\/978-3-642-19861-8_11"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3188720"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818828"},{"key":"e_1_3_2_2_39_1","volume-title":"Practical Graph Analytics with Apache Giraph","author":"Shaposhnik Roman","unstructured":"Roman Shaposhnik, Claudio Martella, and Dionysios Logothetis. 2015. Practical Graph Analytics with Apache Giraph (1st ed.). Apress, USA. isbn:1484212525","edition":"1"},{"key":"e_1_3_2_2_40_1","volume-title":"Two approaches to interprocedural data flow analysis. New York Univ. Comput. Sci","author":"Sharir M","year":"2011","unstructured":"M Sharir and A Pnueli. 1978. Two approaches to interprocedural data flow analysis. New York Univ. Comput. Sci. Dept., New York, NY. https:\/\/cds.cern.ch\/record\/120118"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192418"},{"key":"e_1_3_2_2_42_1","volume-title":"Control-flow Analysis of Higher-order Languages of Taming Lambda. Ph. D. Dissertation","author":"Shivers Olin Grigsby","unstructured":"Olin Grigsby Shivers. 1991. Control-flow Analysis of Higher-order Languages of Taming Lambda. Ph. D. Dissertation. Pittsburgh, PA, USA. UMI Order No. GAX91-26964"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3020266"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2014.54"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","unstructured":"Kai Wang Aftab Hussain Zhiqiang Zuo Guoqing Xu and Ardalan Amiri Sani. [n. d.]. Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code. In ASPLOS (ASPLOS \u201917). 389\u2013404. isbn:978-1-4503-4465-4 https:\/\/doi.org\/10.1145\/3037697.3037744 10.1145\/3037697.3037744","DOI":"10.1145\/3037697.3037744"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207111"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178430"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"crossref","unstructured":"Xin Zheng and Radu Rugina. 2008. Demand-driven alias analysis for C. In POPL. 197\u2013208.","DOI":"10.1145\/1328897.1328464"},{"key":"e_1_3_2_2_51_1","unstructured":"Zhiqiang Zuo Rong Gu Xi Jiang Zhaokang Wang Yihua Huang Linzhang Wang and Xuandong Li. 2019. BigSpa: An Efficient Interprocedural Static Analysis Engine in the Cloud. In IPDPS (IPDPS\u201919)."},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3466820"},{"key":"e_1_3_2_2_53_1","unstructured":"Zhiqiang Zuo Yiyu Zhang Qiuhong Pan Shenming Lu Yue Li Linzhang Wang Xuandong Li and Guoqing Harry Xu. 2021. Chianina: an evolving graph system for flow-and context-sensitive analyses of million lines of C code. In PLDI. 914\u2013929."}],"event":{"name":"ESEC\/FSE '23: 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"San Francisco CA USA","acronym":"ESEC\/FSE '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3616348","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3611643.3616348","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:11Z","timestamp":1750178171000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3616348"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,30]]},"references-count":53,"alternative-id":["10.1145\/3611643.3616348","10.1145\/3611643"],"URL":"https:\/\/doi.org\/10.1145\/3611643.3616348","relation":{},"subject":[],"published":{"date-parts":[[2023,11,30]]},"assertion":[{"value":"2023-11-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}