{"id":"https://openalex.org/W4409310616","doi":"https://doi.org/10.1145/3720436","title":"IncIDFA: An Efficient and Generic Algorithm for Incremental Iterative Dataflow Analysis","display_name":"IncIDFA: An Efficient and Generic Algorithm for Incremental Iterative Dataflow Analysis","publication_year":2025,"publication_date":"2025-04-09","ids":{"openalex":"https://openalex.org/W4409310616","doi":"https://doi.org/10.1145/3720436"},"language":"en","primary_location":{"id":"doi:10.1145/3720436","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720436","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3720436","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3720436","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012355662","display_name":"Aman Nougrahiya","orcid":"https://orcid.org/0000-0002-2563-2480"},"institutions":[{"id":"https://openalex.org/I24676775","display_name":"Indian Institute of Technology Madras","ror":"https://ror.org/03v0r5n49","country_code":"IN","type":"education","lineage":["https://openalex.org/I24676775"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Aman Nougrahiya","raw_affiliation_strings":["IIT Madras, CSE, Chennai, India","IIT Madras, Chennai, India"],"raw_orcid":"https://orcid.org/0000-0002-2563-2480","affiliations":[{"raw_affiliation_string":"IIT Madras, CSE, Chennai, India","institution_ids":["https://openalex.org/I24676775"]},{"raw_affiliation_string":"IIT Madras, Chennai, India","institution_ids":["https://openalex.org/I24676775"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022804082","display_name":"V. Krishna Nandivada","orcid":"https://orcid.org/0000-0002-5949-0046"},"institutions":[{"id":"https://openalex.org/I24676775","display_name":"Indian Institute of Technology Madras","ror":"https://ror.org/03v0r5n49","country_code":"IN","type":"education","lineage":["https://openalex.org/I24676775"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"V. Krishna Nandivada","raw_affiliation_strings":["IIT Madras, CSE, Chennai, India","IIT Madras, Chennai, India"],"raw_orcid":"https://orcid.org/0000-0002-5949-0046","affiliations":[{"raw_affiliation_string":"IIT Madras, CSE, Chennai, India","institution_ids":["https://openalex.org/I24676775"]},{"raw_affiliation_string":"IIT Madras, Chennai, India","institution_ids":["https://openalex.org/I24676775"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I24676775"],"apc_list":null,"apc_paid":null,"fwci":2.3015,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.88154917,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"9","issue":"OOPSLA1","first_page":"617","last_page":"648"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.996999979019165,"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"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.996999979019165,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9883999824523926,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9846000075340271,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"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/dataflow","display_name":"Dataflow","score":0.9151989221572876},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6125181317329407},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6062630414962769},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.32061001658439636}],"concepts":[{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.9151989221572876},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6125181317329407},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6062630414962769},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.32061001658439636}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3720436","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720436","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3720436","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3720436","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3720436","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3720436","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7654282225","display_name":null,"funder_award_id":"CRG/2022/006971","funder_id":"https://openalex.org/F4320334771","funder_display_name":"Science and Engineering Research Board"}],"funders":[{"id":"https://openalex.org/F4320333755","display_name":"IBM Canada","ror":"https://ror.org/025sxka56"},{"id":"https://openalex.org/F4320334771","display_name":"Science and Engineering Research Board","ror":"https://ror.org/03ffdsr55"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4409310616.pdf","grobid_xml":"https://content.openalex.org/works/W4409310616.grobid-xml"},"referenced_works_count":126,"referenced_works":["https://openalex.org/W14568393","https://openalex.org/W184318739","https://openalex.org/W264111962","https://openalex.org/W625772702","https://openalex.org/W1484019856","https://openalex.org/W1494768888","https://openalex.org/W1550381812","https://openalex.org/W1551608458","https://openalex.org/W1561578420","https://openalex.org/W1572167572","https://openalex.org/W1607605746","https://openalex.org/W1846157972","https://openalex.org/W1885264533","https://openalex.org/W1965162295","https://openalex.org/W1966683870","https://openalex.org/W1970448777","https://openalex.org/W1970759612","https://openalex.org/W1974231393","https://openalex.org/W1976943774","https://openalex.org/W1981577498","https://openalex.org/W1982527649","https://openalex.org/W1983711382","https://openalex.org/W1984914680","https://openalex.org/W1986703553","https://openalex.org/W1990597096","https://openalex.org/W1991158186","https://openalex.org/W1991882640","https://openalex.org/W2005348446","https://openalex.org/W2006084860","https://openalex.org/W2007123446","https://openalex.org/W2014521146","https://openalex.org/W2019386850","https://openalex.org/W2021437589","https://openalex.org/W2022043656","https://openalex.org/W2022363576","https://openalex.org/W2023541076","https://openalex.org/W2026794345","https://openalex.org/W2029068974","https://openalex.org/W2031364891","https://openalex.org/W2031867273","https://openalex.org/W2036157748","https://openalex.org/W2046531404","https://openalex.org/W2046567643","https://openalex.org/W2047615655","https://openalex.org/W2053152889","https://openalex.org/W2059587003","https://openalex.org/W2069718764","https://openalex.org/W2070012519","https://openalex.org/W2077617866","https://openalex.org/W2080573945","https://openalex.org/W2080696000","https://openalex.org/W2083000170","https://openalex.org/W2083102268","https://openalex.org/W2084472818","https://openalex.org/W2098873146","https://openalex.org/W2114067856","https://openalex.org/W2116098983","https://openalex.org/W2120339017","https://openalex.org/W2124153277","https://openalex.org/W2129415791","https://openalex.org/W2133417396","https://openalex.org/W2139991759","https://openalex.org/W2141060641","https://openalex.org/W2146603391","https://openalex.org/W2149100861","https://openalex.org/W2159537056","https://openalex.org/W2162436812","https://openalex.org/W2163660741","https://openalex.org/W2167685423","https://openalex.org/W2169953045","https://openalex.org/W2299299451","https://openalex.org/W2417567569","https://openalex.org/W2513927163","https://openalex.org/W2519392667","https://openalex.org/W2537268890","https://openalex.org/W2540668718","https://openalex.org/W2548714034","https://openalex.org/W2729473725","https://openalex.org/W2765376419","https://openalex.org/W2884262171","https://openalex.org/W2885877860","https://openalex.org/W2897520805","https://openalex.org/W2898152370","https://openalex.org/W2920740222","https://openalex.org/W2954187410","https://openalex.org/W2984882580","https://openalex.org/W2999399510","https://openalex.org/W3003629331","https://openalex.org/W3006146940","https://openalex.org/W3006649941","https://openalex.org/W3015694038","https://openalex.org/W3019340178","https://openalex.org/W3101609070","https://openalex.org/W3106071957","https://openalex.org/W3115796600","https://openalex.org/W3122466558","https://openalex.org/W3140161220","https://openalex.org/W3151652064","https://openalex.org/W3166827031","https://openalex.org/W3174779340","https://openalex.org/W3186381890","https://openalex.org/W3206289870","https://openalex.org/W4205439553","https://openalex.org/W4231864143","https://openalex.org/W4232721894","https://openalex.org/W4238563029","https://openalex.org/W4238812576","https://openalex.org/W4240889175","https://openalex.org/W4242080301","https://openalex.org/W4246166885","https://openalex.org/W4248607285","https://openalex.org/W4250548815","https://openalex.org/W4253704199","https://openalex.org/W4253779513","https://openalex.org/W4316662823","https://openalex.org/W4328105021","https://openalex.org/W4386044147","https://openalex.org/W4388798965","https://openalex.org/W4389162186","https://openalex.org/W4390280302","https://openalex.org/W4390604895","https://openalex.org/W4391946054","https://openalex.org/W4402757223","https://openalex.org/W4403223056","https://openalex.org/W4409310616","https://openalex.org/W6893165251"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2293118914","https://openalex.org/W2998381397","https://openalex.org/W4236419692","https://openalex.org/W2171015181","https://openalex.org/W3167919718","https://openalex.org/W4251718783","https://openalex.org/W4239447582"],"abstract_inverted_index":{"Iterative":[0],"dataflow":[1,30,96,176,201,231],"analyses":[2,7],"(IDFAs)":[3],"are":[4],"important":[5],"static":[6],"employed":[8],"by":[9],"tools":[10],"like":[11],"compilers":[12,111],"for":[13,66,114,130,199,215,238],"enabling":[14],"program":[15,51,189,204],"optimizations,":[16],"comprehension,":[17],"verification,":[18],"and":[19,36,95,98,136,153,187,203,276],"more.":[20],"During":[21],"compilation":[22,287],"of":[23,38,57,69,78,83,104,119,157,197,244,250,267,278],"a":[24,108,147,163,247,265],"program,":[25],"optimizations/transformations":[26],"can":[27,46],"render":[28],"existing":[29],"solutions":[31,45,177],"stale,":[32],"jeopardizing":[33],"the":[34,58,105,175,194,211,285],"optimality":[35],"correctness":[37],"subsequent":[39],"compiler":[40,213],"passes.":[41],"Exhaustively":[42],"recomputing":[43],"these":[44,72,79,141],"be":[47],"costly.":[48],"Since":[49],"most":[50],"changes":[52],"impact":[53],"only":[54],"small":[55],"portions":[56],"flowgraph,":[59],"several":[60],"incrementalization":[61,103,131],"approaches":[62,73],"have":[63,225],"been":[64,208],"proposed":[65],"various":[67],"subclasses":[68],"IDFAs.":[70],"However,":[71],"face":[74],"one":[75],"or":[76],"more":[77],"limitations:":[80],"(i)":[81],"loss":[82],"precision":[84,195],"compared":[85,258],"to":[86,91,125,166,178,228,259,269,280],"exhaustive":[87,260],"analysis,":[88],"(ii)":[89],"inability":[90],"handle":[92],"arbitrary":[93,120,188,200],"lattices":[94],"functions,":[97],"(iii)":[99],"lacking":[100],"fully":[101],"automated":[102],"IDFA.":[106,160],"As":[107,257],"result,":[109],"mainstream":[110],"lack":[112],"frameworks":[113],"generating":[115],"precise":[116,152],"incremental":[117,155],"versions":[118],"IDFAs,":[121],"leaving":[122],"analysis":[123],"writers":[124],"create":[126],"ad":[127],"hoc":[128],"algorithms":[129],"\u2013":[132],"an":[133,242],"often":[134],"cumbersome":[135],"error-prone":[137],"task.":[138],"To":[139,220],"tackle":[140],"challenges,":[142],"we":[143,224],"introduce":[144],"IncIDFA":[145,161,172,198,206,227,245,262],",":[146],"novel":[148],"algorithm":[149],"that":[150],"delivers":[151],"efficient":[154],"variants":[156],"any":[158,235],"monotone":[159],"utilizes":[162],"two-pass":[164],"approach":[165],"maintain":[167],"precision.":[168],"Unlike":[169],"prior":[170],"works,":[171],"avoids":[173],"resetting":[174],"least":[179],"informative":[180],"values":[181],"when":[182],"dealing":[183],"with":[184],"strongly-connected":[185],"regions":[186],"changes.":[190,205],"We":[191,240],"formally":[192],"prove":[193],"guarantees":[196],"problems":[202],"has":[207],"implemented":[209],"in":[210,264,273,284],"IMOP":[212],"framework":[214],"parallel":[216],"OpenMP":[217],"C":[218],"programs.":[219],"showcase":[221],"its":[222],"generality,":[223],"instantiated":[226],"ten":[229],"specific":[230],"analyses,":[232],"without":[233],"requiring":[234],"additional":[236],"code":[237],"incrementalization.":[239],"present":[241],"evaluation":[243],"on":[246],"real-world":[248],"set":[249],"optimization":[251],"passes,":[252],"across":[253],"two":[254],"different":[255],"architectures.":[256],"recomputation,":[261],"resulted":[263],"speedup":[266],"up":[268,279],"11\u00d7":[270],"(geomean":[271,282],"2.6\u00d7)":[272],"incremental-update":[274],"time,":[275],"improvement":[277],"46%":[281],"15.1%)":[283],"total":[286],"time.":[288]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3}],"updated_date":"2026-08-24T07:32:12.397491","created_date":"2025-10-10T00:00:00"}