{"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":null,"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://doi.org/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":"facility","lineage":["https://openalex.org/I24676775"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Aman Nougrahiya","raw_affiliation_strings":["IIT Madras, Chennai, India"],"affiliations":[{"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":"facility","lineage":["https://openalex.org/I24676775"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"V. Krishna Nandivada","raw_affiliation_strings":["IIT Madras, Chennai, India"],"affiliations":[{"raw_affiliation_string":"IIT Madras, Chennai, India","institution_ids":["https://openalex.org/I24676775"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5012355662"],"corresponding_institution_ids":["https://openalex.org/I24676775"],"apc_list":null,"apc_paid":null,"fwci":4.6373,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.94353694,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"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":null,"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":null,"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":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"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,175,200,230],"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,198,214,237],"enabling":[14],"program":[15,51,188,203],"optimizations,":[16],"comprehension,":[17],"verification,":[18],"and":[19,36,95,98,136,152,186,202,274],"more.":[20],"During":[21],"compilation":[22,285],"of":[23,38,57,69,78,83,104,119,156,196,243,249,266,276],"a":[24,108,146,162,246,264],"program,":[25],"optimizations/transformations":[26],"can":[27,46],"render":[28],"existing":[29],"solutions":[31,45,176],"stale,":[32],"jeopardizing":[33],"the":[34,58,105,174,193,210,283],"optimality":[35],"correctness":[37],"subsequent":[39],"compiler":[40,212],"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,224],"been":[64,207],"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,194],"compared":[85,257],"to":[86,91,125,165,177,227,258,268,278],"exhaustive":[87,259],"analysis,":[88],"(ii)":[89],"inability":[90],"handle":[92],"arbitrary":[93,120,187,199],"lattices":[94],"functions,":[97],"(iii)":[99],"lacking":[100],"fully":[101],"automated":[102],"IDFA.":[106,159],"As":[107,256],"result,":[109],"mainstream":[110],"lack":[112],"frameworks":[113],"generating":[115],"precise":[116,151],"incremental":[117,154],"versions":[118],"IDFAs,":[121],"leaving":[122],"analysis":[123],"writers":[124],"create":[126],"ad":[127],"hoc":[128],"algorithms":[129],"\u2013":[132],"an":[133,241],"often":[134],"cumbersome":[135],"error-prone":[137],"task.":[138],"To":[139,219],"tackle":[140],"challenges,":[142],"we":[143,223],"introduce":[144],"IncIDFA,":[145],"novel":[147],"algorithm":[148],"that":[149],"delivers":[150],"efficient":[153],"variants":[155],"any":[157,234],"monotone":[158],"IncIDFA":[160,171,197,205,226,244,261],"utilizes":[161],"two-pass":[163],"approach":[164],"maintain":[166],"precision.":[167],"Unlike":[168],"prior":[169],"works,":[170],"avoids":[172],"resetting":[173],"least":[178],"informative":[179],"values":[180],"when":[181],"dealing":[182],"with":[183],"strongly-connected":[184],"regions":[185],"changes.":[189,204],"We":[190,239],"formally":[191],"prove":[192],"guarantees":[195],"problems":[201],"has":[206],"implemented":[208],"in":[209,263,271,282],"IMOP":[211],"framework":[213],"parallel":[215],"OpenMP":[216],"C":[217],"programs.":[218],"showcase":[220],"its":[221],"generality,":[222],"instantiated":[225],"ten":[228],"specific":[229],"analyses,":[231],"without":[232],"requiring":[233],"additional":[235],"code":[236],"incrementalization.":[238],"present":[240],"evaluation":[242],"on":[245],"real-world":[247],"set":[248],"optimization":[250],"passes,":[251],"across":[252],"two":[253],"different":[254],"architectures.":[255],"recomputation,":[260],"resulted":[262],"speedup":[265],"up":[267,277],"11\u00d7(geomean":[269],"2.6\u00d7)":[270],"incremental-update":[272],"time,":[273],"improvement":[275],"46%":[279],"(geomean":[280],"15.1%)":[281],"total":[284],"time.":[286]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}