{"id":"https://openalex.org/W4394744867","doi":"https://doi.org/10.1109/tse.2024.3377645","title":"Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis","display_name":"Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis","publication_year":2024,"publication_date":"2024-04-12","ids":{"openalex":"https://openalex.org/W4394744867","doi":"https://doi.org/10.1109/tse.2024.3377645"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2024.3377645","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2024.3377645","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","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/A5055127933","display_name":"Haofeng Li","orcid":"https://orcid.org/0009-0008-0931-8767"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haofeng Li","raw_affiliation_strings":["SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0008-0931-8767","affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007391734","display_name":"Tian Tan","orcid":"https://orcid.org/0009-0009-3792-1237"},"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":"Tian Tan","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"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/A5107249156","display_name":"Yue Li","orcid":"https://orcid.org/0009-0009-1285-2298"},"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":"Yue Li","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"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/A5068388413","display_name":"Jie Lu","orcid":"https://orcid.org/0000-0002-4162-0404"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jie Lu","raw_affiliation_strings":["SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-4162-0404","affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053594943","display_name":"Haining Meng","orcid":"https://orcid.org/0009-0008-7149-7671"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haining Meng","raw_affiliation_strings":["SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026208461","display_name":"Liqing Cao","orcid":null},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liqing Cao","raw_affiliation_strings":["SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101335512","display_name":"Yongheng Huang","orcid":"https://orcid.org/0009-0001-7874-6430"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongheng Huang","raw_affiliation_strings":["SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100317802","display_name":"Lian Li","orcid":"https://orcid.org/0000-0002-4476-0541"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lian Li","raw_affiliation_strings":["SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","University of Chinese Academy of Sciences, China","Zhongguancun Laboratory, China"],"raw_orcid":"https://orcid.org/0000-0002-4476-0541","affiliations":[{"raw_affiliation_string":"SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"Zhongguancun Laboratory, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083753621","display_name":"Lin Gao","orcid":"https://orcid.org/0000-0002-1781-4671"},"institutions":[{"id":"https://openalex.org/I4210116636","display_name":"Tiande (China)","ror":"https://ror.org/02das4m93","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210116636"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lin Gao","raw_affiliation_strings":["TianqiSoft Inc., Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TianqiSoft Inc., Beijing, China","institution_ids":["https://openalex.org/I4210116636"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000833287","display_name":"Peng Di","orcid":"https://orcid.org/0000-0002-5799-5876"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peng Di","raw_affiliation_strings":["Ant Group, Hangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ant Group, Hangzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100412937","display_name":"Liang Lin","orcid":"https://orcid.org/0000-0003-2248-3755"},"institutions":[{"id":"https://openalex.org/I45928872","display_name":"Alibaba Group (China)","ror":"https://ror.org/00k642b80","country_code":"CN","type":"company","lineage":["https://openalex.org/I45928872"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liang Lin","raw_affiliation_strings":["Alibaba Group, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Alibaba Group, Beijing, China","institution_ids":["https://openalex.org/I45928872"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109704455","display_name":"ChenXi Cui","orcid":null},"institutions":[{"id":"https://openalex.org/I45928872","display_name":"Alibaba Group (China)","ror":"https://ror.org/00k642b80","country_code":"CN","type":"company","lineage":["https://openalex.org/I45928872"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"ChenXi Cui","raw_affiliation_strings":["Alibaba Group, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Alibaba Group, Beijing, China","institution_ids":["https://openalex.org/I45928872"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2495,"currency":"USD","value_usd":2495},"apc_paid":null,"fwci":0.3987,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.52038249,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"50","issue":"5","first_page":"1144","last_page":"1162"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"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.9990000128746033,"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/computer-science","display_name":"Computer science","score":0.8656485676765442},{"id":"https://openalex.org/keywords/pointer-analysis","display_name":"Pointer analysis","score":0.8141834735870361},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.6526376008987427},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6139397621154785},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5177227854728699},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5155541896820068},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.4951736032962799},{"id":"https://openalex.org/keywords/personalization","display_name":"Personalization","score":0.4875726103782654},{"id":"https://openalex.org/keywords/sensitivity","display_name":"Sensitivity (control systems)","score":0.4722147583961487},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4185697138309479},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.29309022426605225},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.2589619755744934},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1891309916973114},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.09074646234512329}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8656485676765442},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.8141834735870361},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.6526376008987427},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6139397621154785},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5177227854728699},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5155541896820068},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.4951736032962799},{"id":"https://openalex.org/C183003079","wikidata":"https://www.wikidata.org/wiki/Q1000371","display_name":"Personalization","level":2,"score":0.4875726103782654},{"id":"https://openalex.org/C21200559","wikidata":"https://www.wikidata.org/wiki/Q7451068","display_name":"Sensitivity (control systems)","level":2,"score":0.4722147583961487},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4185697138309479},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.29309022426605225},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2589619755744934},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1891309916973114},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.09074646234512329},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2024.3377645","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2024.3377645","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2233894006","display_name":null,"funder_award_id":"2022YFB3103900","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G8267205545","display_name":null,"funder_award_id":"62132020","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":60,"referenced_works":["https://openalex.org/W100599422","https://openalex.org/W148396834","https://openalex.org/W311484711","https://openalex.org/W1486426841","https://openalex.org/W1536098516","https://openalex.org/W1545985476","https://openalex.org/W1557543533","https://openalex.org/W1570839833","https://openalex.org/W1971859150","https://openalex.org/W1978594327","https://openalex.org/W1999517284","https://openalex.org/W2000952465","https://openalex.org/W2008106620","https://openalex.org/W2017025011","https://openalex.org/W2046699259","https://openalex.org/W2077337386","https://openalex.org/W2080205938","https://openalex.org/W2149237601","https://openalex.org/W2158600037","https://openalex.org/W2162544703","https://openalex.org/W2166091242","https://openalex.org/W2166743230","https://openalex.org/W2169953045","https://openalex.org/W2508295954","https://openalex.org/W2518060702","https://openalex.org/W2604520577","https://openalex.org/W2621822648","https://openalex.org/W2626029330","https://openalex.org/W2761799536","https://openalex.org/W2763994238","https://openalex.org/W2898232260","https://openalex.org/W2898502769","https://openalex.org/W2899357780","https://openalex.org/W2950121745","https://openalex.org/W2980018082","https://openalex.org/W3000614974","https://openalex.org/W3008974726","https://openalex.org/W3022144859","https://openalex.org/W3030148664","https://openalex.org/W3033653001","https://openalex.org/W3070889539","https://openalex.org/W3109474872","https://openalex.org/W3163546604","https://openalex.org/W3205875080","https://openalex.org/W3207476902","https://openalex.org/W4205577328","https://openalex.org/W4206047963","https://openalex.org/W4206490097","https://openalex.org/W4206770190","https://openalex.org/W4235278598","https://openalex.org/W4247889999","https://openalex.org/W4251478049","https://openalex.org/W4254604099","https://openalex.org/W4308643014","https://openalex.org/W4379533994","https://openalex.org/W4384155580","https://openalex.org/W6610809863","https://openalex.org/W6682018898","https://openalex.org/W6697017091","https://openalex.org/W6847116524"],"related_works":["https://openalex.org/W2553375745","https://openalex.org/W2363386825","https://openalex.org/W2188526093","https://openalex.org/W1996094959","https://openalex.org/W2999115679","https://openalex.org/W2370320024","https://openalex.org/W3147482974","https://openalex.org/W2362627649","https://openalex.org/W2260512874","https://openalex.org/W2134569009"],"abstract_inverted_index":{"Generic":[0],"programming":[1],"has":[2],"found":[3],"widespread":[4],"application":[5],"in":[6,41,80,96],"object-oriented":[7],"languages":[8],"like":[9],"Java.":[10],"However,":[11],"existing":[12,124],"context-sensitive":[13,82],"pointer":[14],"analyses":[15],"fail":[16],"to":[17,102,142,148,160],"leverage":[18],"the":[19,85],"benefits":[20],"of":[21,93,156],"generic":[22,46,52,120],"programming.":[23],"This":[24,64],"paper":[25],"introducesgeneric":[26],"sensitivity,":[27],"a":[28,43,71,81,128,139,149],"new":[29,129],"context":[30,38,62],"customization":[31,39],"scheme":[32,40],"targeting":[33],"generics.":[34],"We":[35,88],"design":[36],"our":[37],"such":[42],"way":[44],"that":[45,119],"instantiation":[47],"sites,":[48],"i.e.,":[49],"locations":[50],"instantiating":[51],"classes/methods":[53],"with":[54,70,105,152],"concrete":[55],"types,":[56],"are":[57],"always":[58],"preserved":[59],"as":[60],"key":[61],"elements.":[63],"is":[65,77],"realized":[66],"by":[67],"augmenting":[68],"contexts":[69],"type":[72],"variable":[73],"lookup":[74],"map,":[75],"which":[76],"efficiently":[78],"generated":[79],"manner":[83],"throughout":[84],"analysis":[86,95,141],"process.":[87],"have":[89],"implemented":[90],"various":[91],"variants":[92],"generic-sensitive":[94],"WALA":[97],"and":[98,111,133],"conducted":[99],"extensive":[100],"experiments":[101],"compare":[103],"it":[104,137],"state-of-the-art":[106],"approaches,":[107,126],"including":[108],"both":[109],"traditional":[110],"selective":[112],"context-sensitivity":[113,125],"methods.":[114],"The":[115],"evaluation":[116],"results":[117],"demonstrate":[118],"sensitivity":[121],"effectively":[122],"enhances":[123],"striking":[127],"balance":[130],"between":[131],"efficiency":[132],"precision.":[134],"For":[135],"instance,":[136],"enables":[138],"1-object-sensitive":[140],"achieve":[143],"overall":[144],"better":[145],"precision":[146],"compared":[147],"2-object-sensitive":[150],"analysis,":[151],"an":[153],"average":[154],"speedup":[155],"12.6":[157],"times":[158],"(up":[159],"62":[161],"times).":[162]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-08-28T12:50:07.497085","created_date":"2025-10-10T00:00:00"}
