{"id":"https://openalex.org/W4387674315","doi":"https://doi.org/10.1145/3622859","title":"Rapid: Region-Based Pointer Disambiguation","display_name":"Rapid: Region-Based Pointer Disambiguation","publication_year":2023,"publication_date":"2023-10-16","ids":{"openalex":"https://openalex.org/W4387674315","doi":"https://doi.org/10.1145/3622859"},"language":"en","primary_location":{"id":"doi:10.1145/3622859","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622859","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622859","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://dl.acm.org/doi/pdf/10.1145/3622859","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046663336","display_name":"Khushboo Chitre","orcid":"https://orcid.org/0000-0001-6950-1055"},"institutions":[{"id":"https://openalex.org/I119939252","display_name":"Indraprastha Institute of Information Technology Delhi","ror":"https://ror.org/03vfp4g33","country_code":"IN","type":"education","lineage":["https://openalex.org/I119939252"]},{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Khushboo Chitre","raw_affiliation_strings":["IIIT Delhi, Delhi, India"],"raw_orcid":"https://orcid.org/0000-0001-6950-1055","affiliations":[{"raw_affiliation_string":"IIIT Delhi, Delhi, India","institution_ids":["https://openalex.org/I119939252","https://openalex.org/I68891433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012292357","display_name":"Piyus Kedia","orcid":"https://orcid.org/0000-0002-9569-4089"},"institutions":[{"id":"https://openalex.org/I119939252","display_name":"Indraprastha Institute of Information Technology Delhi","ror":"https://ror.org/03vfp4g33","country_code":"IN","type":"education","lineage":["https://openalex.org/I119939252"]},{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Piyus Kedia","raw_affiliation_strings":["IIIT Delhi, Delhi, India"],"raw_orcid":"https://orcid.org/0000-0002-9569-4089","affiliations":[{"raw_affiliation_string":"IIIT Delhi, Delhi, India","institution_ids":["https://openalex.org/I119939252","https://openalex.org/I68891433"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039037722","display_name":"Rahul Purandare","orcid":"https://orcid.org/0000-0001-8677-0601"},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rahul Purandare","raw_affiliation_strings":["University of Nebraska-Lincoln, Lincoln, USA"],"raw_orcid":"https://orcid.org/0000-0001-8677-0601","affiliations":[{"raw_affiliation_string":"University of Nebraska-Lincoln, Lincoln, USA","institution_ids":["https://openalex.org/I114395901"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5767,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.63026616,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"7","issue":"OOPSLA2","first_page":"1729","last_page":"1757"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"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/T11424","display_name":"Security and Verification in Computing","score":0.9990000128746033,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8966628909111023},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.7098655700683594},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6498280167579651},{"id":"https://openalex.org/keywords/allocator","display_name":"Allocator","score":0.636821985244751},{"id":"https://openalex.org/keywords/instruction-prefetch","display_name":"Instruction prefetch","score":0.5515117049217224},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5447973608970642},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5117547512054443},{"id":"https://openalex.org/keywords/alias","display_name":"Alias","score":0.49020177125930786},{"id":"https://openalex.org/keywords/pointer-analysis","display_name":"Pointer analysis","score":0.4800030589103699},{"id":"https://openalex.org/keywords/memory-safety","display_name":"Memory safety","score":0.4236436188220978},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.41577309370040894},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.4141239523887634},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33122873306274414},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.30802232027053833},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.27776581048965454},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.2155064344406128},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.19488489627838135},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.19337576627731323}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8966628909111023},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.7098655700683594},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6498280167579651},{"id":"https://openalex.org/C162262903","wikidata":"https://www.wikidata.org/wiki/Q343527","display_name":"Allocator","level":2,"score":0.636821985244751},{"id":"https://openalex.org/C133588205","wikidata":"https://www.wikidata.org/wiki/Q28455645","display_name":"Instruction prefetch","level":3,"score":0.5515117049217224},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5447973608970642},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5117547512054443},{"id":"https://openalex.org/C46681722","wikidata":"https://www.wikidata.org/wiki/Q4725589","display_name":"Alias","level":2,"score":0.49020177125930786},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.4800030589103699},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.4236436188220978},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.41577309370040894},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4141239523887634},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33122873306274414},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.30802232027053833},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.27776581048965454},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.2155064344406128},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.19488489627838135},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.19337576627731323},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3622859","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622859","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622859","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"}],"best_oa_location":{"id":"doi:10.1145/3622859","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622859","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622859","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":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387674315.pdf","grobid_xml":"https://content.openalex.org/works/W4387674315.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W1550371161","https://openalex.org/W1573046885","https://openalex.org/W1970141743","https://openalex.org/W1971782746","https://openalex.org/W1996146601","https://openalex.org/W2034761517","https://openalex.org/W2048229966","https://openalex.org/W2051345428","https://openalex.org/W2066535672","https://openalex.org/W2070566991","https://openalex.org/W2106898403","https://openalex.org/W2131135493","https://openalex.org/W2134569009","https://openalex.org/W2140191557","https://openalex.org/W2141582038","https://openalex.org/W2145911832","https://openalex.org/W2148755014","https://openalex.org/W2153578567","https://openalex.org/W2154847114","https://openalex.org/W2291222735","https://openalex.org/W2297720648","https://openalex.org/W2297774820","https://openalex.org/W2600258283","https://openalex.org/W3004313105","https://openalex.org/W3092545530","https://openalex.org/W3148529197","https://openalex.org/W4206300973","https://openalex.org/W4233818365","https://openalex.org/W4237159548","https://openalex.org/W4243104579","https://openalex.org/W4307731867","https://openalex.org/W4386464927"],"related_works":["https://openalex.org/W2797886673","https://openalex.org/W4297797072","https://openalex.org/W176800827","https://openalex.org/W4251201460","https://openalex.org/W1994759706","https://openalex.org/W2563082156","https://openalex.org/W2748224507","https://openalex.org/W3008864649","https://openalex.org/W4212958517","https://openalex.org/W3143794063"],"abstract_inverted_index":{"Interprocedural":[0],"alias":[1,23],"analyses":[2],"often":[3],"sacrifice":[4],"precision":[5],"for":[6,49,70,82,108,271,275,295],"scalability.":[7],"Thus,":[8,149],"modern":[9],"compilers":[10,29,43],"such":[11,218],"as":[12],"GCC":[13],"and":[14,61,127,170,192,273,308],"LLVM":[15],"implement":[16,44],"more":[17],"scalable":[18],"but":[19],"less":[20],"precise":[21],"intraprocedural":[22],"analyses.":[24],"This":[25],"compromise":[26],"makes":[27],"the":[28,37,40,54,83,87,113,124,130,142,165,168,175,208,212,220,225,241,253,302,306,314,332],"miss":[30],"out":[31,318],"on":[32],"potential":[33],"optimization":[34],"opportunities,":[35],"affecting":[36],"performance":[38,114,266,315],"of":[39,72,115,167,227,268,284,293,305,316,319],"application.":[41],"Modern":[42],"loop-versioning":[45],"with":[46,289],"dynamic":[47,116,139,171,242,309],"checks":[48,69,117,172,188,205,243],"pointer":[50,109],"disambiguation":[51,187,204],"to":[52,118,137,182,211,250,256,301],"enable":[53,65],"missed":[55],"optimizations.":[56],"Polyhedral":[57],"access":[58,121,249],"range":[59,63,68],"analysis":[60,64],"symbolic":[62],"\ud835\udc42":[66,103],"(1)":[67],"non-overlapping":[71],"memory":[73,106,120,201,248],"accesses":[74,107],"inside":[75],"loops.":[76],"However,":[77,129],"these":[78],"approaches":[79],"work":[80],"only":[81,336],"loops":[84],"in":[85,174,195,224,232,331],"which":[86,198],"loop":[88,91],"bounds":[89],"are":[90,199,216,235],"invariants.":[92],"To":[93],"address":[94],"this":[95,155],"limitation,":[96],"researchers":[97],"proposed":[98,173],"a":[99,145,152,159,190,239,264,290,327],"technique":[100],"that":[101,162,185,219,252],"requires":[102],"(\ud835\udc59\ud835\udc5c\ud835\udc54":[104],"\ud835\udc5b)":[105],"disambiguation.":[110],"Others":[111],"improved":[112],"single":[119],"by":[122],"constraining":[123],"object":[125],"size":[126],"alignment.":[128],"former":[131],"approach":[132,329],"incurs":[133],"noticeable":[134,146],"overhead":[135,283,304],"due":[136],"its":[138],"checks,":[140,310],"whereas":[141],"latter":[143],"has":[144],"allocator":[147,169,286,307],"overhead.":[148],"scalability":[150],"remains":[151],"challenge.":[153],"In":[154,325],"work,":[156],"we":[157],"present":[158],"tool,":[160],"Rapid,":[161],"further":[163],"reduces":[164],"overheads":[166],"existing":[176],"approaches.":[177],"The":[178,203,214,280],"key":[179],"idea":[180],"is":[181,287],"identify":[183],"objects":[184,230,254],"need":[186],"using":[189],"profiler":[191],"allocate":[193],"them":[194,260],"different":[196,233,257],"regions,":[197,258],"disjoint":[200],"areas.":[202],"simply":[206],"compare":[207],"regions":[209,215,234],"corresponding":[210],"objects.":[213],"aligned":[217],"top":[221],"32":[222],"bits":[223],"addresses":[226],"any":[228,247],"two":[229],"allocated":[231],"always":[236],"different.":[237],"As":[238],"consequence,":[240],"do":[244],"not":[245],"require":[246],"ensure":[251],"belong":[255],"making":[259],"efficient.":[261],"Rapid":[262,311],"achieved":[263],"maximum":[265,281],"benefit":[267],"around":[269],"52.94%":[270],"Polybench":[272],"1.88%":[274],"CPU":[276,282,296,321,338],"SPEC":[277,297,322,339],"2017":[278,298,323,340],"benchmarks.":[279,299,324,341],"our":[285],"0.57%":[288],"geometric":[291],"mean":[292],"-0.2%":[294],"Due":[300],"low":[303],"could":[312,334],"improve":[313,335],"12":[317],"16":[320],"contrast,":[326],"state-of-the-art":[328],"used":[330],"comparison":[333],"five":[337]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}