{"id":"https://openalex.org/W1517071433","doi":"https://doi.org/10.1145/2931098","title":"Heap Abstractions for Static Analysis","display_name":"Heap Abstractions for Static Analysis","publication_year":2016,"publication_date":"2016-06-30","ids":{"openalex":"https://openalex.org/W1517071433","doi":"https://doi.org/10.1145/2931098","mag":"1517071433"},"language":"en","primary_location":{"id":"doi:10.1145/2931098","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2931098","pdf_url":null,"source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"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 Computing Surveys","raw_type":"journal-article"},"type":"review","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1403.4910","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050279618","display_name":"Vini Kanvar","orcid":"https://orcid.org/0009-0005-7025-0050"},"institutions":[{"id":"https://openalex.org/I162827531","display_name":"Indian Institute of Technology Bombay","ror":"https://ror.org/02qyf5152","country_code":"IN","type":"education","lineage":["https://openalex.org/I162827531"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Vini Kanvar","raw_affiliation_strings":["Indian Institute of Technology Bombay, India","Indian Institute of Technology, Bombay, India;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology Bombay, India","institution_ids":["https://openalex.org/I162827531"]},{"raw_affiliation_string":"Indian Institute of Technology, Bombay, India;","institution_ids":["https://openalex.org/I162827531"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030116244","display_name":"Uday P. Khedker","orcid":"https://orcid.org/0000-0002-5203-4494"},"institutions":[{"id":"https://openalex.org/I162827531","display_name":"Indian Institute of Technology Bombay","ror":"https://ror.org/02qyf5152","country_code":"IN","type":"education","lineage":["https://openalex.org/I162827531"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Uday P. Khedker","raw_affiliation_strings":["Indian Institute of Technology Bombay, India","Indian Institute of Technology, Bombay, India;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology Bombay, India","institution_ids":["https://openalex.org/I162827531"]},{"raw_affiliation_string":"Indian Institute of Technology, Bombay, India;","institution_ids":["https://openalex.org/I162827531"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I162827531"],"apc_list":null,"apc_paid":null,"fwci":6.4965,"has_fulltext":false,"cited_by_count":44,"citation_normalized_percentile":{"value":0.96568468,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"49","issue":"2","first_page":"1","last_page":"47"},"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.9995999932289124,"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.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9980999827384949,"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/heap","display_name":"Heap (data structure)","score":0.935697078704834},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8297674655914307},{"id":"https://openalex.org/keywords/automatic-summarization","display_name":"Automatic summarization","score":0.6073941588401794},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45149677991867065},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4231563210487366},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15977853536605835}],"concepts":[{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.935697078704834},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8297674655914307},{"id":"https://openalex.org/C170858558","wikidata":"https://www.wikidata.org/wiki/Q1394144","display_name":"Automatic summarization","level":2,"score":0.6073941588401794},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45149677991867065},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4231563210487366},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15977853536605835}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/2931098","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2931098","pdf_url":null,"source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"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 Computing Surveys","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1403.4910","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1403.4910","pdf_url":"https://arxiv.org/pdf/1403.4910","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"pmh:oai:CiteSeerX.psu:10.1.1.758.990","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.758.990","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/1403.4910.pdf","raw_type":"text"},{"id":"pmh:oai:dsapce.library.iitb.ac.in:123456789/21373","is_oa":false,"landing_page_url":"http://doi.org/10.1145/2931098","pdf_url":null,"source":{"id":"https://openalex.org/S4306400899","display_name":"DSpace (IIT Bombay)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I162827531","host_organization_name":"Indian Institute of Technology Bombay","host_organization_lineage":["https://openalex.org/I162827531"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1403.4910","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1403.4910","pdf_url":"https://arxiv.org/pdf/1403.4910","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":135,"referenced_works":["https://openalex.org/W32883339","https://openalex.org/W56096157","https://openalex.org/W82012725","https://openalex.org/W100599422","https://openalex.org/W112132368","https://openalex.org/W1486095773","https://openalex.org/W1502777940","https://openalex.org/W1506323687","https://openalex.org/W1506404239","https://openalex.org/W1508811155","https://openalex.org/W1530069485","https://openalex.org/W1533004102","https://openalex.org/W1541825597","https://openalex.org/W1553894716","https://openalex.org/W1558427762","https://openalex.org/W1576925855","https://openalex.org/W1586099086","https://openalex.org/W1586167239","https://openalex.org/W1603721515","https://openalex.org/W1604043045","https://openalex.org/W1639026249","https://openalex.org/W1912722244","https://openalex.org/W1948295367","https://openalex.org/W1969599528","https://openalex.org/W1970061809","https://openalex.org/W1974608873","https://openalex.org/W1976979256","https://openalex.org/W1977380916","https://openalex.org/W1985242567","https://openalex.org/W1988441831","https://openalex.org/W1989969759","https://openalex.org/W1990053053","https://openalex.org/W1990708398","https://openalex.org/W1992012690","https://openalex.org/W1996094959","https://openalex.org/W1996146601","https://openalex.org/W2007541742","https://openalex.org/W2017722158","https://openalex.org/W2019709986","https://openalex.org/W2025514726","https://openalex.org/W2029214188","https://openalex.org/W2030697178","https://openalex.org/W2032767692","https://openalex.org/W2033194854","https://openalex.org/W2040152339","https://openalex.org/W2046699259","https://openalex.org/W2047764386","https://openalex.org/W2047793578","https://openalex.org/W2048229966","https://openalex.org/W2050320220","https://openalex.org/W2055084740","https://openalex.org/W2058460214","https://openalex.org/W2064400234","https://openalex.org/W2069482167","https://openalex.org/W2072858236","https://openalex.org/W2072964972","https://openalex.org/W2080661536","https://openalex.org/W2088126145","https://openalex.org/W2088569679","https://openalex.org/W2093080079","https://openalex.org/W2102440514","https://openalex.org/W2105256796","https://openalex.org/W2108827856","https://openalex.org/W2110588041","https://openalex.org/W2124052022","https://openalex.org/W2124377830","https://openalex.org/W2126508237","https://openalex.org/W2129021396","https://openalex.org/W2131135493","https://openalex.org/W2132685964","https://openalex.org/W2133497528","https://openalex.org/W2134226127","https://openalex.org/W2134569009","https://openalex.org/W2137628566","https://openalex.org/W2138245690","https://openalex.org/W2139356751","https://openalex.org/W2140021378","https://openalex.org/W2141442517","https://openalex.org/W2144538202","https://openalex.org/W2148755014","https://openalex.org/W2149237601","https://openalex.org/W2152791745","https://openalex.org/W2154847114","https://openalex.org/W2155036144","https://openalex.org/W2158600037","https://openalex.org/W2160563691","https://openalex.org/W2161065509","https://openalex.org/W2166341446","https://openalex.org/W2166858727","https://openalex.org/W2169275155","https://openalex.org/W2169953045","https://openalex.org/W2170577595","https://openalex.org/W2178618765","https://openalex.org/W2250569434","https://openalex.org/W2275382970","https://openalex.org/W2278309366","https://openalex.org/W2315901874","https://openalex.org/W2345365022","https://openalex.org/W2394743012","https://openalex.org/W2395854335","https://openalex.org/W2399287199","https://openalex.org/W2403803386","https://openalex.org/W2487992810","https://openalex.org/W2561675875","https://openalex.org/W2912071127","https://openalex.org/W2912166712","https://openalex.org/W2963257479","https://openalex.org/W2987907651","https://openalex.org/W3004911069","https://openalex.org/W3009605109","https://openalex.org/W3015951847","https://openalex.org/W3031465972","https://openalex.org/W3124619212","https://openalex.org/W3146075203","https://openalex.org/W4205439553","https://openalex.org/W4206770190","https://openalex.org/W4230766819","https://openalex.org/W4232408220","https://openalex.org/W4232716036","https://openalex.org/W4235278598","https://openalex.org/W4235421007","https://openalex.org/W4241352414","https://openalex.org/W4243644740","https://openalex.org/W4245041203","https://openalex.org/W4245921527","https://openalex.org/W4247981256","https://openalex.org/W4248889516","https://openalex.org/W4249297534","https://openalex.org/W4250522981","https://openalex.org/W4251477416","https://openalex.org/W4251478049","https://openalex.org/W4254642654","https://openalex.org/W4255657263","https://openalex.org/W4302049037","https://openalex.org/W6694532313"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2366403280","https://openalex.org/W1495108544","https://openalex.org/W2091301346","https://openalex.org/W3148229873","https://openalex.org/W4389760904","https://openalex.org/W2150160875","https://openalex.org/W4242223894","https://openalex.org/W2351187795"],"abstract_inverted_index":{"Heap":[0],"data":[1,15],"is":[2,38,91,122],"potentially":[3],"unbounded":[4,101,112],"and":[5,11,36,117,147,166,186,197,201],"seemingly":[6,182],"arbitrary.":[7],"Hence,":[8],"unlike":[9],"stack":[10],"static":[12],"data,":[13],"heap":[14,44,59,79,87,97,108,128,141,184],"cannot":[16],"be":[17],"abstracted":[18],"in":[19,55],"terms":[20],"of":[21,25,34,41,58,73,83,94,103,114,125,177,181,199],"a":[22,74,96,107,178],"fixed":[23],"set":[24,102,113],"program":[26],"variables.":[27],"This":[28,169],"makes":[29],"it":[30],"an":[31,39,100,111],"interesting":[32],"topic":[33],"study":[35],"there":[37],"abundance":[40],"literature":[42],"employing":[43],"abstractions.":[45],"Although":[46],"most":[47],"studies":[48],"have":[49],"addressed":[50],"similar":[51],"concerns,":[52],"insights":[53,176],"gained":[54],"one":[56],"description":[57],"abstraction":[60,80],"may":[61],"not":[62],"directly":[63],"carry":[64],"over":[65],"to":[66,173],"some":[67],"other":[68,162],"description.":[69],"In":[70],"our":[71],"search":[72],"unified":[75],"theme,":[76],"we":[77],"view":[78],"as":[81,106,143],"consisting":[82],"two":[84],"steps:":[85],"(a)":[86],"modelling":[88],",":[89,120],"which":[90,121],"the":[92,123,127,140,175,189],"process":[93,124],"representing":[95],"memory":[98],"(i.e.,":[99,110],"concrete":[104],"locations)":[105],"model":[109,129],"abstract":[115,133],"locations),":[116],"(b)":[118],"summarization":[119,152,202],"bounding":[126],"by":[130,195],"merging":[131],"multiple":[132],"locations":[134],"into":[135],"summary":[136],"locations.":[137],"We":[138,149],"classify":[139],"models":[142,200],"storeless,":[144],"store":[145],"based,":[146],"hybrid.":[148],"describe":[150],"various":[151],"techniques":[153],"based":[154],"on":[155],"k":[156],"-limiting,":[157],"allocation":[158],"sites,":[159],"patterns,":[160],"variables,":[161],"generic":[163],"instrumentation":[164],"predicates,":[165],"higher-order":[167],"logics.":[168],"approach":[170],"allows":[171],"us":[172],"compare":[174],"large":[179],"number":[180],"dissimilar":[183],"abstractions":[185,194],"also":[187],"paves":[188],"way":[190],"for":[191],"creating":[192],"new":[193],"mix":[196],"match":[198],"techniques.":[203]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":6},{"year":2015,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}