{"id":"https://openalex.org/W2920740222","doi":"https://doi.org/10.1145/3293606","title":"Rethinking Incremental and Parallel Pointer Analysis","display_name":"Rethinking Incremental and Parallel Pointer Analysis","publication_year":2019,"publication_date":"2019-03-01","ids":{"openalex":"https://openalex.org/W2920740222","doi":"https://doi.org/10.1145/3293606","mag":"2920740222"},"language":"en","primary_location":{"id":"doi:10.1145/3293606","doi":"https://doi.org/10.1145/3293606","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3293606","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-a","cwts-core","dongbi-a","jufo-3","norway-2","poland-140","russia-white-list-2"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018459020","display_name":"Bozhen Liu","orcid":"https://orcid.org/0000-0003-2137-2375","observed_orcids":["https://orcid.org/0000-0003-2137-2375"]},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bozhen Liu","raw_affiliation_strings":["Texas A8M University, College Station, TX, USA"],"raw_orcid":"https://orcid.org/0000-0003-2137-2375","affiliations":[{"raw_affiliation_string":"Texas A8M University, College Station, TX, USA","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103035835","display_name":"Jeff Huang","orcid":"https://orcid.org/0000-0003-1393-0752","observed_orcids":["https://orcid.org/0000-0003-1393-0752"]},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeff Huang","raw_affiliation_strings":["Texas A8M University, College Station, TX, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Texas A8M University, College Station, TX, USA","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056736926","display_name":"Lawrence Rauchwerger","orcid":"https://orcid.org/0000-0002-1545-4991","observed_orcids":["https://orcid.org/0000-0002-1545-4991"]},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lawrence Rauchwerger","raw_affiliation_strings":["Texas A8M University, College Station, TX, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Texas A8M University, College Station, TX, USA","institution_ids":["https://openalex.org/I91045830"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I91045830"],"apc_list":null,"apc_paid":null,"fwci":4.0156,"has_fulltext":true,"cited_by_count":36,"citation_normalized_percentile":{"value":0.94160156,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":99},"biblio":{"volume":"41","issue":"1","first_page":"1","last_page":"31"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.975600004196167,"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/T10126","display_name":"Logic, programming, and type systems","score":0.975600004196167,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.015799999237060547,"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/T10260","display_name":"Software Engineering Research","score":0.0027000000700354576,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/pointer-analysis","display_name":"pointer analysis","score":0.9319999814033508},{"id":"https://openalex.org/keywords/interprocedural-analysis","display_name":"interprocedural analysis","score":0.8740000128746033},{"id":"https://openalex.org/keywords/graph-reachability","display_name":"graph reachability","score":0.7570000290870667},{"id":"https://openalex.org/keywords/fixed-point-computation","display_name":"fixed point computation","score":0.7089999914169312},{"id":"https://openalex.org/keywords/program-change","display_name":"software modification","score":0.44699999690055847},{"id":"https://openalex.org/keywords/data-race-detection","display_name":"data race detection","score":0.8100000023841858},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5180000066757202},{"id":"https://openalex.org/keywords/wala","display_name":"Wala","score":0.6660000085830688},{"id":"https://openalex.org/keywords/scalability","display_name":"scalability","score":0.44999998807907104}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.891576886177063},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.891294002532959},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8067283630371094},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.8063057065010071},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.6831670999526978},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5704447031021118},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5216496586799622},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.507722020149231},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.48287585377693176},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.475180059671402},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46628427505493164},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.42697036266326904},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3871012330055237},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09808611869812012}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3293606","doi":"https://doi.org/10.1145/3293606","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3293606","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-a","cwts-core","dongbi-a","jufo-3","norway-2","poland-140","russia-white-list-2"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G2088791364","display_name":"CAREER: Scalable and Maximal Concurrency Debugging","funder_award_id":"1552935","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7764151502","display_name":"NeTS: Small: Detecting Races in SDN Control Plane","funder_award_id":"1617985","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":79,"referenced_works":["https://openalex.org/W10127936","https://openalex.org/W46012774","https://openalex.org/W82388138","https://openalex.org/W100599422","https://openalex.org/W145334972","https://openalex.org/W188579568","https://openalex.org/W198969604","https://openalex.org/W1533004102","https://openalex.org/W1548858116","https://openalex.org/W1550381812","https://openalex.org/W1558383352","https://openalex.org/W1561578420","https://openalex.org/W1604043045","https://openalex.org/W1650097949","https://openalex.org/W1797940162","https://openalex.org/W1837958857","https://openalex.org/W1959797194","https://openalex.org/W1971859150","https://openalex.org/W1972969106","https://openalex.org/W1976943774","https://openalex.org/W1986703553","https://openalex.org/W1987035533","https://openalex.org/W1996146601","https://openalex.org/W1999398749","https://openalex.org/W2007032806","https://openalex.org/W2012670464","https://openalex.org/W2017842497","https://openalex.org/W2022043656","https://openalex.org/W2026794345","https://openalex.org/W2031364891","https://openalex.org/W2031507118","https://openalex.org/W2046699259","https://openalex.org/W2050736294","https://openalex.org/W2051527230","https://openalex.org/W2055084740","https://openalex.org/W2070012519","https://openalex.org/W2080205938","https://openalex.org/W2080573945","https://openalex.org/W2085164129","https://openalex.org/W2089522440","https://openalex.org/W2091789763","https://openalex.org/W2106439532","https://openalex.org/W2107489588","https://openalex.org/W2110833886","https://openalex.org/W2113766267","https://openalex.org/W2116502002","https://openalex.org/W2117426803","https://openalex.org/W2118382442","https://openalex.org/W2125518044","https://openalex.org/W2131135493","https://openalex.org/W2133497528","https://openalex.org/W2133824159","https://openalex.org/W2134569009","https://openalex.org/W2145778183","https://openalex.org/W2145913834","https://openalex.org/W2148755014","https://openalex.org/W2149237601","https://openalex.org/W2151360539","https://openalex.org/W2153578567","https://openalex.org/W2154847114","https://openalex.org/W2157103506","https://openalex.org/W2158600037","https://openalex.org/W2162544703","https://openalex.org/W2166091242","https://openalex.org/W2167363133","https://openalex.org/W2187690660","https://openalex.org/W2466563833","https://openalex.org/W2509105194","https://openalex.org/W2513927163","https://openalex.org/W2548714034","https://openalex.org/W2553375745","https://openalex.org/W2626029330","https://openalex.org/W2763994238","https://openalex.org/W2788129993","https://openalex.org/W2798710664","https://openalex.org/W3003589947","https://openalex.org/W4206770190","https://openalex.org/W4243644740","https://openalex.org/W4247889999"],"related_works":["https://openalex.org/W2101609933","https://openalex.org/W6980761881","https://openalex.org/W7098210727","https://openalex.org/W2729473725","https://openalex.org/W6945824090","https://openalex.org/W7095814304","https://openalex.org/W3005402394","https://openalex.org/W4225159042","https://openalex.org/W4205439553","https://openalex.org/W2552019328"],"abstract_inverted_index":{"Pointer":[0],"analysis":[1,14,28],"is":[2,18,88,163],"at":[3],"the":[4,36,59,62,71,80,106,148],"heart":[5],"of":[6,51,61,93,137,150,158],"most":[7],"interprocedural":[8],"program":[9,83,142],"analyses.":[10],"However,":[11],"scaling":[12],"pointer":[13,27,53,143],"to":[15,134],"large":[16],"programs":[17],"extremely":[19],"challenging.":[20],"In":[21],"this":[22],"article,":[23],"we":[24],"study":[25],"incremental":[26,52,131,152],"and":[29,45,70,76,109,145,166],"present":[30],"a":[31],"new":[32,49],"algorithm":[33,56],"for":[34,102],"computing":[35],"points-to":[37],"information":[38],"incrementally":[39],"(i.e.,":[40],"upon":[41],"code":[42],"insertion,":[43],"deletion,":[44],"modification).":[46],"Underpinned":[47],"by":[48,156,170],"observations":[50],"analysis,":[54,75,144],"our":[55,99],"significantly":[57],"advances":[58],"state":[60],"art":[63],"in":[64],"that":[65,122],"it":[66,87],"avoids":[67],"redundant":[68],"computations":[69],"expensive":[72],"graph":[73],"reachability":[74],"preserves":[77],"precision":[78],"as":[79],"corresponding":[81],"whole":[82,141],"exhaustive":[84],"analysis.":[85],"Moreover,":[86],"parallel":[89],"within":[90],"each":[91],"iteration":[92],"fixed-point":[94],"computation.":[95],"We":[96],"have":[97],"implemented":[98],"algorithm,":[100],"IPA,":[101],"Java":[103],"based":[104],"on":[105,114],"WALA":[107],"framework":[108],"evaluated":[110],"its":[111],"performance":[112,149],"extensively":[113],"real-world":[115],"large,":[116],"complex":[117],"applications.":[118],"Experimental":[119],"results":[120],"show":[121],"IPA":[123,161],"achieves":[124],"more":[125],"than":[126,140],"200X":[127],"speedups":[128],"over":[129],"existing":[130],"algorithms,":[132],"two":[133],"five":[135],"orders":[136,157],"magnitude":[138],"faster":[139],"also":[146],"improves":[147],"an":[151],"data":[153],"race":[154],"detector":[155],"magnitude.":[159],"Our":[160],"implementation":[162],"open":[164],"source":[165],"has":[167],"been":[168],"adopted":[169],"WALA.":[171]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2019-03-11T00:00:00"}