{"id":"https://openalex.org/W2139980638","doi":"https://doi.org/10.1145/1216374.1216379","title":"Fast online pointer analysis","display_name":"Fast online pointer analysis","publication_year":2007,"publication_date":"2007-04-01","ids":{"openalex":"https://openalex.org/W2139980638","doi":"https://doi.org/10.1145/1216374.1216379","mag":"2139980638"},"language":"en","primary_location":{"id":"doi:10.1145/1216374.1216379","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1216374.1216379","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1216374.1216379","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,"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"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/1216374.1216379","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079080602","display_name":"Martin Hirzel","orcid":"https://orcid.org/0009-0006-8840-6065"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Martin Hirzel","raw_affiliation_strings":["IBM Research, Hawthorne, NY","[IBM Research, Hawthorne, NY]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research, Hawthorne, NY","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"[IBM Research, Hawthorne, NY]","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016276056","display_name":"Daniel von Dincklage","orcid":null},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel Von Dincklage","raw_affiliation_strings":["University of Colorado, Boulder, CO","University of Colorado, Boulder, CO,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Colorado, Boulder, CO","institution_ids":["https://openalex.org/I188538660"]},{"raw_affiliation_string":"University of Colorado, Boulder, CO,","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059100099","display_name":"Amer Diwan","orcid":null},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Amer Diwan","raw_affiliation_strings":["University of Colorado, Boulder, CO","University of Colorado, Boulder, CO,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Colorado, Boulder, CO","institution_ids":["https://openalex.org/I188538660"]},{"raw_affiliation_string":"University of Colorado, Boulder, CO,","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048793009","display_name":"Michael Hind","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Hind","raw_affiliation_strings":["IBM Research, Hawthorne, NY","[IBM Research, Hawthorne, NY]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Research, Hawthorne, NY","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"[IBM Research, Hawthorne, NY]","institution_ids":["https://openalex.org/I1341412227"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.2972,"has_fulltext":true,"cited_by_count":65,"citation_normalized_percentile":{"value":0.96304864,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"29","issue":"2","first_page":"11","last_page":"11"},"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.9991999864578247,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9991999864578247,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.998199999332428,"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.9979000091552734,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9273706674575806},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.7601062655448914},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7253992557525635},{"id":"https://openalex.org/keywords/pointer-analysis","display_name":"Pointer analysis","score":0.7004923820495605},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6561542749404907},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6265636682510376},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6063543558120728},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5634748339653015},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.481094092130661},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.44849658012390137},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.4396282434463501},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.42529797554016113},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.16679811477661133},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15103387832641602},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.12050408124923706}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9273706674575806},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.7601062655448914},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7253992557525635},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.7004923820495605},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6561542749404907},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6265636682510376},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6063543558120728},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5634748339653015},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.481094092130661},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.44849658012390137},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.4396282434463501},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.42529797554016113},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.16679811477661133},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15103387832641602},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.12050408124923706},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/1216374.1216379","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1216374.1216379","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1216374.1216379","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,"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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.100.9471","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.9471","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.utexas.edu/users/speedway/DaCapo/papers/toplas3556.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.70.6091","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.6091","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-plan.cs.colorado.edu/danielvd/paper/tr05-rc23638-pointers.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.89.6447","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.6447","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-plan.cs.colorado.edu/diwan/toplas-pointers.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/1216374.1216379","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1216374.1216379","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1216374.1216379","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,"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"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.46000000834465027}],"awards":[{"id":"https://openalex.org/G638430684","display_name":"ITR:  Dynamic Cooperative Performance Optimization","funder_award_id":"0085792","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G946214627","display_name":"CAREER: Compiler and Run-time System Support for Modern Hardware","funder_award_id":"0133457","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":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2139980638.pdf","grobid_xml":"https://content.openalex.org/works/W2139980638.grobid-xml"},"referenced_works_count":106,"referenced_works":["https://openalex.org/W4015096","https://openalex.org/W177800519","https://openalex.org/W1514258760","https://openalex.org/W1528503275","https://openalex.org/W1533004102","https://openalex.org/W1533327484","https://openalex.org/W1536098516","https://openalex.org/W1536265389","https://openalex.org/W1543063618","https://openalex.org/W1543471126","https://openalex.org/W1544906724","https://openalex.org/W1545908890","https://openalex.org/W1586099086","https://openalex.org/W1591707147","https://openalex.org/W1591887608","https://openalex.org/W1598886868","https://openalex.org/W1797940162","https://openalex.org/W1809751277","https://openalex.org/W1851113295","https://openalex.org/W1864473657","https://openalex.org/W1969610731","https://openalex.org/W1972969106","https://openalex.org/W1974604404","https://openalex.org/W1974608873","https://openalex.org/W1975514564","https://openalex.org/W1979582240","https://openalex.org/W1982335633","https://openalex.org/W1993544047","https://openalex.org/W2000194923","https://openalex.org/W2004337747","https://openalex.org/W2007920703","https://openalex.org/W2014367576","https://openalex.org/W2014377495","https://openalex.org/W2014530617","https://openalex.org/W2017842497","https://openalex.org/W2019709986","https://openalex.org/W2021085621","https://openalex.org/W2035329159","https://openalex.org/W2036208810","https://openalex.org/W2044354349","https://openalex.org/W2045903735","https://openalex.org/W2046699259","https://openalex.org/W2051600169","https://openalex.org/W2064311741","https://openalex.org/W2065088439","https://openalex.org/W2069476565","https://openalex.org/W2075309900","https://openalex.org/W2078545092","https://openalex.org/W2091909330","https://openalex.org/W2093334386","https://openalex.org/W2095115578","https://openalex.org/W2096587139","https://openalex.org/W2100885195","https://openalex.org/W2102839400","https://openalex.org/W2105090082","https://openalex.org/W2105256796","https://openalex.org/W2110588041","https://openalex.org/W2113238444","https://openalex.org/W2118547657","https://openalex.org/W2131135493","https://openalex.org/W2133497528","https://openalex.org/W2133824159","https://openalex.org/W2141442517","https://openalex.org/W2149237601","https://openalex.org/W2151360539","https://openalex.org/W2158189533","https://openalex.org/W2159558457","https://openalex.org/W2161719857","https://openalex.org/W2164638440","https://openalex.org/W2166341446","https://openalex.org/W2166895275","https://openalex.org/W2170577595","https://openalex.org/W2170839219","https://openalex.org/W2171240827","https://openalex.org/W2561675875","https://openalex.org/W2998283004","https://openalex.org/W2998550884","https://openalex.org/W3000286628","https://openalex.org/W3000743918","https://openalex.org/W3004536583","https://openalex.org/W3004884024","https://openalex.org/W3005412289","https://openalex.org/W3005914750","https://openalex.org/W3006536458","https://openalex.org/W3007960993","https://openalex.org/W3009605109","https://openalex.org/W3018596786","https://openalex.org/W3028174316","https://openalex.org/W3033849929","https://openalex.org/W3125271655","https://openalex.org/W3130008218","https://openalex.org/W3162227591","https://openalex.org/W4205439553","https://openalex.org/W4230015257","https://openalex.org/W4234849644","https://openalex.org/W4236256989","https://openalex.org/W4238080077","https://openalex.org/W4239709528","https://openalex.org/W4239803916","https://openalex.org/W4243644740","https://openalex.org/W4245662158","https://openalex.org/W4245798026","https://openalex.org/W4253189236","https://openalex.org/W4253775141","https://openalex.org/W4255249960","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2213281886","https://openalex.org/W2065476456","https://openalex.org/W2134569009","https://openalex.org/W3147482974","https://openalex.org/W4360585599","https://openalex.org/W60611840","https://openalex.org/W2144682929","https://openalex.org/W2106959667","https://openalex.org/W23987500","https://openalex.org/W1996238228"],"abstract_inverted_index":{"Pointer":[0],"analysis":[1,30,44,61,69,94,124,135,144],"benefits":[2],"many":[3],"useful":[4],"clients,":[5],"such":[6,19,72],"as":[7,20],"compiler":[8],"optimizations":[9],"and":[10,24,74,105,120,150],"bug":[11],"finding":[12],"tools.":[13],"Unfortunately,":[14],"common":[15],"programming":[16],"language":[17,26],"features":[18,40],"dynamic":[21,51],"loading,":[22],"reflection,":[23],"foreign":[25],"interfaces,":[27],"make":[28],"pointer":[29,43,93],"difficult.":[31],"This":[32,85],"article":[33,86],"describes":[34],"how":[35],"to":[36,102,153],"deal":[37],"with":[38],"these":[39,103],"by":[41],"performing":[42,91],"online":[45,68],"during":[46],"program":[47,64,141],"execution.":[48],"For":[49],"example,":[50],"loading":[52],"may":[53],"load":[54],"code":[55],"that":[56,78],"is":[57,125],"not":[58],"available":[59],"for":[60,95,118],"before":[62],"the":[63,96,111,134],"starts.":[65],"Only":[66],"an":[67],"can":[70],"analyze":[71],"code,":[73],"thus":[75],"support":[76],"clients":[77],"optimize":[79],"or":[80],"find":[81],"bugs":[82],"in":[83,90,113],"it.":[84],"identifies":[87],"all":[88],"problems":[89],"Andersen's":[92],"full":[97,108],"Java":[98,115],"language,":[99],"presents":[100],"solutions":[101,112],"problems,":[104],"uses":[106],"a":[107,114],"implementation":[109],"of":[110],"virtual":[116],"machine":[117],"validation":[119],"performance":[121],"evaluation.":[122],"Our":[123],"fast:":[126],"On":[127],"average":[128],"over":[129],"our":[130],"benchmark":[131],"suite,":[132],"if":[133],"recomputes":[136],"points-to":[137],"results":[138],"upon":[139],"each":[140],"change,":[142],"most":[143],"pauses":[145],"take":[146],"under":[147],"0.1":[148],"seconds,":[149],"add":[151],"up":[152],"64.5":[154],"seconds.":[155]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":8},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":9},{"year":2012,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}