{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:04:04Z","timestamp":1750309444728,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T00:00:00Z","timestamp":1740441600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"AI competence center ScaDS.AI Dresden\\\/Leipzig in Germany","award":["01IS18026A-D"],"award-info":[{"award-number":["01IS18026A-D"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,2,25]]},"DOI":"10.1145\/3708493.3712687","type":"proceedings-article","created":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T17:02:04Z","timestamp":1740502924000},"page":"92-103","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["DFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow Analyses"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5774-3970","authenticated-orcid":false,"given":"Alexander","family":"Brauckmann","sequence":"first","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8588-8197","authenticated-orcid":false,"given":"Anderson","family":"Faustino da Silva","sequence":"additional","affiliation":[{"name":"State University of Maring\u00e1, Maring\u00e1, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1715-3356","authenticated-orcid":false,"given":"Gabriel","family":"Synnaeve","sequence":"additional","affiliation":[{"name":"Meta AI, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1619-5052","authenticated-orcid":false,"given":"Michael F. P.","family":"O\u2019Boyle","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5007-445X","authenticated-orcid":false,"given":"Jeronimo","family":"Castrillon","sequence":"additional","affiliation":[{"name":"TU Dresden, Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0664-4176","authenticated-orcid":false,"given":"Hugh","family":"Leather","sequence":"additional","affiliation":[{"name":"Meta AI, Menlo Park, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,2,25]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/3540250.3549095"},{"key":"e_1_3_2_1_2_1","volume-title":"USENIX Security Symposium. USENIX, USA. 1\u201312","author":"Andow Benjamin","year":"2020","unstructured":"Benjamin Andow, Samin Yaseer Mahmud, Justin Whitaker, William Enck, Bradley Reaves, Kapil Singh, and Serge Egelman. 2020. Actions Speak Louder than Words: Entity-Sensitive Privacy Policy and Data Flow Analysis with PoliCheck. In USENIX Security Symposium. USENIX, USA. 1\u201312. https:\/\/api.semanticscholar.org\/CorpusID:212615510"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.37190\/e-Inf210102"},{"key":"e_1_3_2_1_4_1","volume-title":"DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models. CoRR, abs\/2402.13291","author":"Berabi Berkay","year":"2024","unstructured":"Berkay Berabi, Alexey Gronskiy, Veselin Raychev, Gishor Sivanrupan, Victor Chibotaru, and Martin Vechev. 2024. DeepCode AI Fix: Fixing Security Vulnerabilities with Large Language Models. CoRR, abs\/2402.13291 (2024), 1\u201312. arXiv:2402.13291. arxiv:2402.13291"},{"key":"e_1_3_2_1_5_1","volume-title":"LLM-Based Agent for Program Repair. CoRR, abs\/2403.17134","author":"Bouzenia Islem","year":"2024","unstructured":"Islem Bouzenia, Premkumar Devanbu, and Michael Pradel. 2024. RepairAgent: An Autonomous, LLM-Based Agent for Program Repair. CoRR, abs\/2403.17134 (2024), 1\u201312. arxiv:2403.17134. arxiv:2403.17134"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.5281\/zenodo.14670956"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1109\/FDL50818.2020.9232946"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/3377555.3377894"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/3650212.3652136"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the International Conference on Machine Learning, Marina Meila and Tong Zhang (Eds.). 139","author":"Cummins Chris","year":"2021","unstructured":"Chris Cummins, Zacharias V. Fisches, Tal Ben-Nun, Torsten Hoefler, Michael F P O\u2019Boyle, and Hugh Leather. 2021. ProGraML: A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations. In Proceedings of the International Conference on Machine Learning, Marina Meila and Tong Zhang (Eds.). 139, PMLR, Virtual Only. 2244\u20132253. https:\/\/proceedings.mlr.press\/v139\/cummins21a.html"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1109\/CGO51591.2021.9370322"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/3671016.3671390"},{"key":"e_1_3_2_1_13_1","volume-title":"Jaakkola","author":"Garg Vikas K.","year":"2020","unstructured":"Vikas K. Garg, Stefanie Jegelka, and Tommi S. Jaakkola. 2020. Generalization and Representational Limits of Graph Neural Networks. CoRR, abs\/2002.06157 (2020), 1\u201312. arXiv:2002.06157. arxiv:2002.06157"},{"doi-asserted-by":"crossref","unstructured":"U. Khedker A. Sanyal and B. Sathe. 2017. Data Flow Analysis: Theory and Practice. CRC Press USA. isbn:9780849332517","key":"e_1_3_2_1_14_1","DOI":"10.1201\/9780849332517"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/3584376.3584487"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/3691621.3694950"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1109\/ICSE48619.2023.00040"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1109\/ASE56229.2023.00098"},{"key":"e_1_3_2_1_19_1","volume-title":"Program Classification Using Gated Graph Attention Neural Network for Online Programming Service. CoRR, abs\/1903.03804","author":"Lu Mingming","year":"2019","unstructured":"Mingming Lu, Dingwu Tan, Naixue Xiong, Zailiang Chen, and Haifeng Li. 2019. Program Classification Using Gated Graph Attention Neural Network for Online Programming Service. CoRR, abs\/1903.03804 (2019), 1\u201312. arXiv:1903.03804. arxiv:1903.03804"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/3583780.3614847"},{"volume-title":"Advanced compiler design and implementation","author":"Muchnick Steven S.","unstructured":"Steven S. Muchnick. 1998. Advanced compiler design and implementation. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA. isbn:1558603204","key":"e_1_3_2_1_21_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/3663529.3663803"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/3660793"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1145\/3543873.3587596"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.3390\/electronics13163162"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1145\/3691620.3695603"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1145\/3673277.3673305"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1145\/3691620.3695502"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1007\/s11263-022-01611-x"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1145\/3597503.3623345"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1145\/3611643.3616348"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.1109\/IWCIA47330.2019.8955090"},{"key":"e_1_3_2_1_33_1","volume-title":"DebugBench: Evaluating Debugging Capability of Large Language Models. CoRR, abs\/2401.04621","author":"Tian Runchu","year":"2024","unstructured":"Runchu Tian, Yining Ye, Yujia Qin, Xin Cong, Yankai Lin, Yinxu Pan, Yesai Wu, Haotian Hui, Weichuan Liu, Zhiyuan Liu, and Maosong Sun. 2024. DebugBench: Evaluating Debugging Capability of Large Language Models. CoRR, abs\/2401.04621 (2024), 1\u201312. arXiv:2401.04621. arxiv:2003.13848"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.1145\/3636430"},{"key":"e_1_3_2_1_35_1","volume-title":"When Dataflow Analysis Meets Large Language Models. CoRR, abs\/2402.10754","author":"Wang Chengpeng","year":"2024","unstructured":"Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, and Xiangyu Zhang. 2024. When Dataflow Analysis Meets Large Language Models. CoRR, abs\/2402.10754 (2024), 1\u201312. arxiv:2402.10754. arxiv:2402.10754"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_36_1","DOI":"10.1109\/SANER48275.2020.9054857"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_37_1","DOI":"10.1109\/ICSE48619.2023.00191"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_38_1","DOI":"10.1145\/3691620.3695508"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_39_1","DOI":"10.1109\/ICSE-SEIP58684.2023.00031"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_40_1","DOI":"10.1145\/3673277.3673310"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_41_1","DOI":"10.1145\/3637528.3672061"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_42_1","DOI":"10.1145\/3589334.3645637"},{"key":"e_1_3_2_1_43_1","volume-title":"33rd USENIX Security Symposium (USENIX Security 24)","author":"Zhu Chang","year":"2024","unstructured":"Chang Zhu, Ziyang Li, Anton Xue, Ati Priya Bajaj, Wil Gibbs, Yibo Liu, Rajeev Alur, Tiffany Bao, Hanjun Dai, Adam Doup\u00e9, Mayur Naik, Yan Shoshitaishvili, Ruoyu Wang, and Aravind Machiry. 2024. TYGR: Type Inference on Stripped Binaries using Graph Neural Networks. In 33rd USENIX Security Symposium (USENIX Security 24). USENIX Association, Philadelphia, PA. 4283\u20134300. isbn:978-1-939133-44-1 https:\/\/www.usenix.org\/conference\/usenixsecurity24\/presentation\/zhu-chang"}],"event":{"sponsor":["SIGPLAN SIGPLAN Programming Languages"],"acronym":"CC '25","name":"CC '25: 34th ACM SIGPLAN International Conference on Compiler Construction","location":"Las Vegas NV USA"},"container-title":["Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3708493.3712687","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3708493.3712687","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:09:54Z","timestamp":1750295394000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3708493.3712687"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,25]]},"references-count":43,"alternative-id":["10.1145\/3708493.3712687","10.1145\/3708493"],"URL":"https:\/\/doi.org\/10.1145\/3708493.3712687","relation":{},"subject":[],"published":{"date-parts":[[2025,2,25]]},"assertion":[{"value":"2025-02-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}