{"id":"https://openalex.org/W29413014","doi":"https://doi.org/10.7282/t3862m19","title":"Practical Pointer Aliasing Analysis","display_name":"Practical Pointer Aliasing Analysis","publication_year":1998,"publication_date":"1998-01-01","ids":{"openalex":"https://openalex.org/W29413014","doi":"https://doi.org/10.7282/t3862m19","mag":"29413014"},"language":"en","primary_location":{"id":"pmh:oai:alma.01RUT_INST:11643428130004646","doi":null,"is_oa":false,"landing_page_url":"https://scholarship.libraries.rutgers.edu/esploro/outputs/technicalDocumentation/Practical-Pointer-Aliasing-Analysis/991031549983704646","pdf_url":null,"source":{"id":"https://openalex.org/S4306401388","display_name":"Rutgers University Community Repository (Rutgers University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I102322142","host_organization_name":"Rutgers, The State University of New Jersey","host_organization_lineage":["https://openalex.org/I102322142"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.7282/t3862m19","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Zhang, Sean","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I106938459","display_name":"University of New Brunswick","ror":"https://ror.org/05nkf0n29","country_code":"CA","type":"education","lineage":["https://openalex.org/I106938459"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Zhang, Sean","raw_affiliation_strings":["Computer Science (New Brunswick)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science (New Brunswick)","institution_ids":["https://openalex.org/I106938459"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I106938459"],"apc_list":null,"apc_paid":null,"fwci":1.6475,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.83246301,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9872999787330627,"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.9872999787330627,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.0035000001080334187,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.002199999988079071,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/points-to-analysis","display_name":"points-to analysis","score":0.9269999861717224},{"id":"https://openalex.org/keywords/program-decomposition","display_name":"program decomposition","score":0.7680000066757202},{"id":"https://openalex.org/keywords/c-programs","display_name":"C programs","score":0.7369999885559082},{"id":"https://openalex.org/keywords/function-pointers","display_name":"function pointers","score":0.7559999823570251},{"id":"https://openalex.org/keywords/union","display_name":"unions","score":0.9610000252723694},{"id":"https://openalex.org/keywords/typecasting","display_name":"type casting","score":0.9940000176429749},{"id":"https://openalex.org/keywords/flow-insensitive-analysis","display_name":"flow-insensitive analysis","score":0.8550000190734863},{"id":"https://openalex.org/keywords/program-optimization","display_name":"program optimization","score":0.49799999594688416},{"id":"https://openalex.org/keywords/static-analysis","display_name":"static analysis","score":0.32499998807907104}],"concepts":[{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.8412330150604248},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.8272151947021484},{"id":"https://openalex.org/C4069607","wikidata":"https://www.wikidata.org/wiki/Q868732","display_name":"Aliasing","level":3,"score":0.7923769950866699},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7478744387626648},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.6214390397071838},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.566425621509552},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.5298169851303101},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4428040385246277},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.43187081813812256},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4234287142753601},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32711830735206604},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.31843632459640503},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.16774201393127441},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1646619737148285},{"id":"https://openalex.org/C136536468","wikidata":"https://www.wikidata.org/wiki/Q1225894","display_name":"Undersampling","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:alma.01RUT_INST:11643428130004646","doi":null,"is_oa":false,"landing_page_url":"https://scholarship.libraries.rutgers.edu/esploro/outputs/technicalDocumentation/Practical-Pointer-Aliasing-Analysis/991031549983704646","pdf_url":null,"source":{"id":"https://openalex.org/S4306401388","display_name":"Rutgers University Community Repository (Rutgers University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I102322142","host_organization_name":"Rutgers, The State University of New Jersey","host_organization_lineage":["https://openalex.org/I102322142"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:29413014","doi":null,"is_oa":false,"landing_page_url":"https://rucore.libraries.rutgers.edu/rutgers-lib/58530/","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},{"id":"doi:10.7282/t3862m19","doi":"https://doi.org/10.7282/t3862m19","is_oa":true,"landing_page_url":"https://doi.org/10.7282/t3862m19","pdf_url":null,"source":{"id":"https://openalex.org/S4306401388","display_name":"Rutgers University Community Repository (Rutgers University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I102322142","host_organization_name":"Rutgers, The State University of New Jersey","host_organization_lineage":["https://openalex.org/I102322142"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.7282/t3862m19","doi":"https://doi.org/10.7282/t3862m19","is_oa":true,"landing_page_url":"https://doi.org/10.7282/t3862m19","pdf_url":null,"source":{"id":"https://openalex.org/S4306401388","display_name":"Rutgers University Community Repository (Rutgers University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I102322142","host_organization_name":"Rutgers, The State University of New Jersey","host_organization_lineage":["https://openalex.org/I102322142"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W6921456151","https://openalex.org/W4234722234","https://openalex.org/W7098976564","https://openalex.org/W2151360539","https://openalex.org/W4236256989","https://openalex.org/W2291222735","https://openalex.org/W2036555984","https://openalex.org/W2363386825","https://openalex.org/W2017785995","https://openalex.org/W7098947758"],"abstract_inverted_index":{"Two":[0],"names":[1],"are":[2,39,46,167,173,244],"aliased":[3],"if":[4],"they":[5,172],"refer":[6],"to":[7],"the":[8,36,83,86,102,106,119,189,201,210,217,226,229,232,263],"same":[9,116,259],"location":[10],"at":[11],"a":[12,58,78,115,157,187,239,258],"program":[13,62,79,103,117,227,260,264],"point":[14],"during":[15],"execution.":[16],"Pointer":[17],"aliasing":[18,99,123,163,190,218,233],"analysis":[19,112,159,164,191,203,212,234],"for":[20,25,97,257],"C":[21,136,242],"programs":[22,243],"is":[23,195,213],"essential":[24],"compile-time":[26],"analyses":[27,124,256],"and":[28,88,118,147,161,169,175,231],"optimizations.":[29],"Many":[30],"techniques":[31],"have":[32,56,154,222,247],"been":[33],"proposed":[34],"in":[35,52,67,85,135,186],"literature.":[37],"Some":[38],"fast,":[40],"but":[41,49],"not":[42,50,205],"so":[43],"precise;":[44],"some":[45,53,89,151],"quite":[47],"precise,":[48],"fast":[51],"cases.":[54],"We":[55,132,153,221,246],"developed":[57,156],"technique":[59],"which":[60,81],"decomposes":[61],"statements":[63,84],"into":[64],"independent":[65],"sets":[66],"terms":[68],"of":[69,108,121,128,225,241,270],"their":[70],"effects":[71],"on":[72,114,126,179,238],"pointer":[73,98],"aliasing.":[74],"Each":[75,92],"set":[76,87,240],"implies":[77],"segment":[80,93],"includes":[82],"control":[90],"statements.":[91],"can":[94,176],"be":[95,177],"analyzed":[96],"independently.":[100],"Therefore":[101,209],"decomposition":[104],"allows":[105],"use":[107,120],"more":[109,214,254],"than":[110,216],"one":[111],"algorithm":[113,160],"appropriate":[122],"based":[125],"characteristics":[127],"pointers":[129],"being":[130],"analyzed.":[131],"handle":[133],"features":[134],"such":[137,207],"as":[138],"function":[139],"pointers,":[140,145],"indirect":[141],"calls":[142],"through":[143],"functions":[144],"unions,":[146],"type":[148],"casting":[149],"with":[150,250],"restrictions.":[152],"also":[155,196,248],"points-to":[158,202,211,230],"an":[162,197],"algorithm.":[165],"Both":[166],"ow-insensitive":[168],"context-insensitive;":[170],"thus":[171],"efficient":[174],"used":[178],"large":[180],"programs.":[181],"For":[182],"each":[183],"assignment":[184,198],"lhs=rhs":[185],"program,":[188],"effectively":[192],"assumes":[193],"there":[194],"rhs=lhs":[199],"while":[200],"does":[204],"make":[206],"assumptions.":[208],"precise":[215],"analysis.":[219],"ii":[220],"implemented":[223],"prototypes":[224],"decomposition,":[228],"algorithms;":[235],"empirical":[236,268],"results":[237,269],"given.":[245],"experimented":[249],"combining":[251],"two":[252],"or":[253],"aliasing/points-to":[255],"by":[261],"using":[262],"decomposition;":[265],"we":[266],"present":[267],"our":[271],"preliminary":[272],"experiment.":[273]},"counts_by_year":[],"updated_date":"2026-10-01T08:54:57.152042","created_date":"2016-06-24T00:00:00"}