{"id":"https://openalex.org/W4407942536","doi":"https://doi.org/10.1145/3708493.3712687","title":"DFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow Analyses","display_name":"DFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow Analyses","publication_year":2025,"publication_date":"2025-02-25","ids":{"openalex":"https://openalex.org/W4407942536","doi":"https://doi.org/10.1145/3708493.3712687"},"language":"en","primary_location":{"id":"doi:10.1145/3708493.3712687","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3708493.3712687","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3708493.3712687","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3708493.3712687","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091099679","display_name":"Alexander Brauckmann","orcid":"https://orcid.org/0000-0001-5774-3970"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Alexander Brauckmann","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074854183","display_name":"Anderson Faustino da Silva","orcid":"https://orcid.org/0000-0002-8588-8197"},"institutions":[{"id":"https://openalex.org/I123443094","display_name":"Universidade Estadual de Maring\u00e1","ror":"https://ror.org/04bqqa360","country_code":"BR","type":"education","lineage":["https://openalex.org/I123443094"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Anderson Faustino da Silva","raw_affiliation_strings":["State University of Maring\u00e1, Maring\u00e1, Brazil"],"affiliations":[{"raw_affiliation_string":"State University of Maring\u00e1, Maring\u00e1, Brazil","institution_ids":["https://openalex.org/I123443094"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041907084","display_name":"Gabriel Synnaeve","orcid":"https://orcid.org/0000-0003-1715-3356"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gabriel Synnaeve","raw_affiliation_strings":["Meta AI, Paris, France"],"affiliations":[{"raw_affiliation_string":"Meta AI, Paris, France","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027001025","display_name":"Michael O\u2019Boyle","orcid":"https://orcid.org/0000-0003-1619-5052"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael F. P. O\u2019Boyle","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030115692","display_name":"Jer\u00f3nimo Castrill\u00f3n","orcid":"https://orcid.org/0000-0002-5007-445X"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jeronimo Castrillon","raw_affiliation_strings":["TU Dresden, Dresden, Germany"],"affiliations":[{"raw_affiliation_string":"TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053757097","display_name":"Hugh Leather","orcid":"https://orcid.org/0000-0003-0664-4176"},"institutions":[{"id":"https://openalex.org/I3197470489","display_name":"Alpha Omega Alpha Medical Honor Society","ror":"https://ror.org/057q9nn35","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I3197470489"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hugh Leather","raw_affiliation_strings":["Meta AI, Menlo Park, USA"],"affiliations":[{"raw_affiliation_string":"Meta AI, Menlo Park, USA","institution_ids":["https://openalex.org/I3197470489","https://openalex.org/I4210099336"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5091099679"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01342796,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"92","last_page":"103"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9940000176429749,"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"}},"topics":[{"id":"https://openalex.org/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9940000176429749,"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/T12761","display_name":"Data Stream Mining Techniques","score":0.9925000071525574,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9894999861717224,"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/computer-science","display_name":"Computer science","score":0.7867398262023926},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6708104610443115},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.6219636797904968},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.5062279105186462},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.44183528423309326},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4165356457233429},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.395969420671463},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.37990036606788635},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37111929059028625},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12792900204658508},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.12505459785461426}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7867398262023926},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6708104610443115},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.6219636797904968},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.5062279105186462},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.44183528423309326},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4165356457233429},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.395969420671463},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.37990036606788635},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37111929059028625},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12792900204658508},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.12505459785461426},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3708493.3712687","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3708493.3712687","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3708493.3712687","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3708493.3712687","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3708493.3712687","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3708493.3712687","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4407942536.pdf"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W2114067856","https://openalex.org/W3000039992","https://openalex.org/W3007205676","https://openalex.org/W3014339000","https://openalex.org/W3096509020","https://openalex.org/W3114760331","https://openalex.org/W3123742938","https://openalex.org/W3127587213","https://openalex.org/W4251476415","https://openalex.org/W4308641503","https://openalex.org/W4327532556","https://openalex.org/W4366380736","https://openalex.org/W4383888895","https://openalex.org/W4384345641","https://openalex.org/W4384345648","https://openalex.org/W4387848821","https://openalex.org/W4388483506","https://openalex.org/W4389162186","https://openalex.org/W4389438938","https://openalex.org/W4391558363","https://openalex.org/W4391835412","https://openalex.org/W4395483265","https://openalex.org/W4399317165","https://openalex.org/W4400582478","https://openalex.org/W4400798708","https://openalex.org/W4401105447","https://openalex.org/W4401105610","https://openalex.org/W4401510340","https://openalex.org/W4401863869","https://openalex.org/W4403520074","https://openalex.org/W4403536396","https://openalex.org/W4403536433","https://openalex.org/W4403648152","https://openalex.org/W6930682148"],"related_works":["https://openalex.org/W4240253816","https://openalex.org/W3096456556","https://openalex.org/W2169584677","https://openalex.org/W2979513934","https://openalex.org/W4232954277","https://openalex.org/W2020341030","https://openalex.org/W2749133591","https://openalex.org/W2367473450","https://openalex.org/W23346600","https://openalex.org/W2460280200"],"abstract_inverted_index":{"Data":[0],"flow":[1,39,96,107,133,163],"analysis":[2,134],"is":[3],"fundamental":[4],"to":[5,63,67,100],"modern":[6],"program":[7],"optimization":[8],"and":[9,34,116,139,148,175,191],"verification,":[10],"serving":[11],"as":[12],"a":[13,74,131],"critical":[14],"foundation":[15],"for":[16,28,43,79,113,172,179,189],"compiler":[17,24],"transformations.":[18],"As":[19],"machine":[20,47],"learning":[21,48],"increasingly":[22],"drives":[23],"tasks,":[25],"the":[26,86,92,124],"need":[27],"models":[29],"that":[30,81,141],"can":[31,146],"implicitly":[32],"understand":[33],"correctly":[35],"reason":[36],"about":[37],"data":[38,95,106,132,162,173],"properties":[40],"becomes":[41],"crucial":[42],"maintaining":[44,186],"soundness.":[45],"State-of-the-art":[46],"methods,":[49],"especially":[50],"graph":[51],"neural":[52,75,111,144],"networks":[53,112],"(GNNs),":[54],"face":[55],"challenges":[56],"in":[57,161],"generalizing":[58],"beyond":[59],"training":[60],"scenarios":[61],"due":[62],"their":[64],"limited":[65],"ability":[66],"perform":[68],"large":[69],"propagations.":[70],"We":[71,127],"present":[72],"DFA-Net,":[73],"network":[76],"architecture":[77,104,145],"tailored":[78],"compilers":[80],"systematically":[82,149],"generalizes.":[83],"It":[84],"emulates":[85],"reasoning":[87],"process":[88],"of":[89,94,168],"compilers,":[90],"facilitating":[91],"generalization":[93],"analyses":[97,108,193],"from":[98,136],"simple":[99],"complex":[101],"programs.":[102],"The":[103],"decomposes":[105],"into":[109,123],"specialized":[110],"initialization,":[114],"transfer,":[115],"meet":[117],"operations,":[118],"explicitly":[119],"incorporating":[120],"compiler-specific":[121,143],"knowledge":[122],"model":[125],"design.":[126],"evaluate":[128],"DFA-Net":[129,154],"on":[130,151],"benchmark":[135],"related":[137],"work":[138],"demonstrate":[140],"our":[142],"learn":[147],"generalize":[150],"this":[152],"task.":[153],"demonstrates":[155],"superior":[156],"performance":[157],"over":[158],"traditional":[159],"GNNs":[160,195],"analysis,":[164],"achieving":[165],"F1":[166],"scores":[167,188],"0.761":[169],"versus":[170,177],"0.009":[171],"dependencies":[174],"0.989":[176],"0.196":[178],"dominators":[180],"at":[181],"high":[182],"complexity":[183],"levels,":[184],"while":[185],"perfect":[187],"liveness":[190],"reachability":[192],"where":[194],"struggle":[196],"significantly.":[197]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}