{"id":"https://openalex.org/W4399851384","doi":"https://doi.org/10.1145/3656400","title":"Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis","display_name":"Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis","publication_year":2024,"publication_date":"2024-06-20","ids":{"openalex":"https://openalex.org/W4399851384","doi":"https://doi.org/10.1145/3656400"},"language":"en","primary_location":{"id":"doi:10.1145/3656400","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656400","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/3656400","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045907091","display_name":"Peisen Yao","orcid":"https://orcid.org/0000-0003-0342-9518"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Peisen Yao","raw_affiliation_strings":["The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0000-0003-0342-9518","affiliations":[{"raw_affiliation_string":"The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101436832","display_name":"Jinguo Zhou","orcid":"https://orcid.org/0000-0002-7664-2718"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jinguo Zhou","raw_affiliation_strings":["Ant Group, Shenzhen, China"],"raw_orcid":"https://orcid.org/0000-0002-7664-2718","affiliations":[{"raw_affiliation_string":"Ant Group, Shenzhen, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100451712","display_name":"Xiao Xiao","orcid":"https://orcid.org/0000-0001-8174-7277"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiao Xiao","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":"https://orcid.org/0000-0001-8174-7277","affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034844386","display_name":"Qingkai Shi","orcid":"https://orcid.org/0000-0002-8297-8998"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qingkai Shi","raw_affiliation_strings":["The State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-8297-8998","affiliations":[{"raw_affiliation_string":"The State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054822682","display_name":"Rongxin Wu","orcid":"https://orcid.org/0000-0002-4648-3795"},"institutions":[{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Rongxin Wu","raw_affiliation_strings":["The Xiamen Key Laboratory of Intelligent Storage and Computing, School of Informatics, Xiamen University, Xiamen, China"],"raw_orcid":"https://orcid.org/0000-0002-4648-3795","affiliations":[{"raw_affiliation_string":"The Xiamen Key Laboratory of Intelligent Storage and Computing, School of Informatics, Xiamen University, Xiamen, China","institution_ids":["https://openalex.org/I191208505"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101490553","display_name":"Charles Zhang","orcid":"https://orcid.org/0000-0001-6417-1034"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Charles Zhang","raw_affiliation_strings":["The Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0001-6417-1034","affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.1779,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.94767244,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"8","issue":"PLDI","first_page":"567","last_page":"592"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9973999857902527,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.6216687560081482},{"id":"https://openalex.org/keywords/path-analysis","display_name":"Path analysis (statistics)","score":0.4998006820678711},{"id":"https://openalex.org/keywords/falcon","display_name":"Falcon","score":0.48037537932395935},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.45157450437545776},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3932207226753235},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1340787708759308},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.08923253417015076},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.0649033784866333}],"concepts":[{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.6216687560081482},{"id":"https://openalex.org/C82793941","wikidata":"https://www.wikidata.org/wiki/Q1046024","display_name":"Path analysis (statistics)","level":2,"score":0.4998006820678711},{"id":"https://openalex.org/C2775845381","wikidata":"https://www.wikidata.org/wiki/Q43489","display_name":"Falcon","level":2,"score":0.48037537932395935},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45157450437545776},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3932207226753235},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1340787708759308},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.08923253417015076},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0649033784866333}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3656400","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656400","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"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-140714","is_oa":false,"landing_page_url":"http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=2475-1421&rft.volume=&rft.issue=&rft.date=2024&rft.spage=&rft.aulast=Yao&rft.aufirst=Peisen&rft.atitle=Falcon%3A+A+fused+approach+to+path-sensitive+sparse+data+dependence+analysis&rft.title=Proceedings+of+the+ACM+on+Programming+Languages","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1145/3656400","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656400","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":89,"referenced_works":["https://openalex.org/W46012774","https://openalex.org/W280881733","https://openalex.org/W1486426841","https://openalex.org/W1515906028","https://openalex.org/W1517071433","https://openalex.org/W1533634404","https://openalex.org/W1570919259","https://openalex.org/W1837958857","https://openalex.org/W1965604953","https://openalex.org/W1966032455","https://openalex.org/W1971327145","https://openalex.org/W1971859150","https://openalex.org/W1974604404","https://openalex.org/W1976943774","https://openalex.org/W1982205631","https://openalex.org/W1987035533","https://openalex.org/W1987846217","https://openalex.org/W1990087033","https://openalex.org/W1991546210","https://openalex.org/W1991837261","https://openalex.org/W1992012690","https://openalex.org/W1996567876","https://openalex.org/W1999517284","https://openalex.org/W2008626182","https://openalex.org/W2014323361","https://openalex.org/W2017842497","https://openalex.org/W2029674270","https://openalex.org/W2031507118","https://openalex.org/W2035260626","https://openalex.org/W2048229966","https://openalex.org/W2051527230","https://openalex.org/W2066535672","https://openalex.org/W2079235644","https://openalex.org/W2080205938","https://openalex.org/W2080661536","https://openalex.org/W2082000355","https://openalex.org/W2092483417","https://openalex.org/W2093080079","https://openalex.org/W2103714221","https://openalex.org/W2110833886","https://openalex.org/W2112936713","https://openalex.org/W2114337691","https://openalex.org/W2117426803","https://openalex.org/W2122751766","https://openalex.org/W2125357166","https://openalex.org/W2134311998","https://openalex.org/W2138378640","https://openalex.org/W2142890871","https://openalex.org/W2145217511","https://openalex.org/W2149222015","https://openalex.org/W2151360539","https://openalex.org/W2154847114","https://openalex.org/W2158798798","https://openalex.org/W2169304846","https://openalex.org/W2289498116","https://openalex.org/W2295857493","https://openalex.org/W2567537733","https://openalex.org/W2621822648","https://openalex.org/W2761799536","https://openalex.org/W2763994238","https://openalex.org/W2777662281","https://openalex.org/W2788129993","https://openalex.org/W2794889478","https://openalex.org/W2799226481","https://openalex.org/W2898232260","https://openalex.org/W2898502769","https://openalex.org/W2899357780","https://openalex.org/W2900044545","https://openalex.org/W2914074464","https://openalex.org/W2950121745","https://openalex.org/W2954219808","https://openalex.org/W2969087412","https://openalex.org/W2980018082","https://openalex.org/W2984082758","https://openalex.org/W3109474872","https://openalex.org/W3147482974","https://openalex.org/W3207304130","https://openalex.org/W4210710363","https://openalex.org/W4220988444","https://openalex.org/W4225149718","https://openalex.org/W4234229576","https://openalex.org/W4235733131","https://openalex.org/W4241352414","https://openalex.org/W4243644740","https://openalex.org/W4245321046","https://openalex.org/W4248080568","https://openalex.org/W4251697482","https://openalex.org/W4288057792","https://openalex.org/W6634469269"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2559910745","https://openalex.org/W1996171346","https://openalex.org/W3012004699","https://openalex.org/W2316698445","https://openalex.org/W73822458","https://openalex.org/W4392842317","https://openalex.org/W3029030103","https://openalex.org/W1726705939"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,21,37,56,99,121],"scalable":[4],"path-":[5],"and":[6,39,50,54,94,131],"context-sensitive":[7],"data":[8,45,62,79],"dependence":[9,46,63,80],"analysis.":[10],"The":[11],"key":[12],"is":[13],"to":[14,88,113],"address":[15],"the":[16,29,48,65,68,76,86,128],"aliasing-path-explosion":[17],"problem":[18],"when":[19],"enforcing":[20],"path-sensitive":[22,72],"memory":[23],"model.":[24],"Specifically,":[25],"our":[26,118,135],"approach":[27,87],"decomposes":[28],"computational":[30],"efforts":[31],"of":[32,70,78,81,101,124,134],"disjunctive":[33],"reasoning":[34],"into":[35],"1)":[36],"context-":[38],"semi-path-sensitive":[40],"analysis":[41],"that":[42,59],"concisely":[43],"summarizes":[44],"as":[47],"symbolic":[49],"storeless":[51],"value-flow":[52,95],"graphs,":[53,66],"2)":[55],"demand-driven":[57],"phase":[58],"resolves":[60],"transitive":[61],"over":[64],"piggybacking":[67],"computation":[69],"fully":[71],"pointer":[73],"information":[74],"with":[75],"resolution":[77],"interest.":[82],"We":[83],"have":[84],"applied":[85],"two":[89],"clients,":[90],"namely":[91],"thin":[92],"slicing":[93],"bug":[96],"finding.":[97],"Using":[98],"suite":[100],"16":[102],"C":[103,105],"/":[104],"+":[106,107],"programs":[108],"ranging":[109],"from":[110],"13":[111],"KLoC":[112],"8":[114],"MLoC,":[115],"we":[116],"compare":[117],"techniques":[119],"against":[120],"diverse":[122],"group":[123],"state-of-the-art":[125],"analyses,":[126],"illustrating":[127],"significant":[129],"precision":[130],"scalability":[132],"advantages":[133],"approach.":[136]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":5}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}