{"id":"https://openalex.org/W4251075015","doi":"https://doi.org/10.1561/2500000020","title":"A Framework For Efficient Modular Heap Analysis","display_name":"A Framework For Efficient Modular Heap Analysis","publication_year":2015,"publication_date":"2015-01-19","ids":{"openalex":"https://openalex.org/W4251075015","doi":"https://doi.org/10.1561/2500000020"},"language":"en","primary_location":{"id":"doi:10.1561/2500000020","is_oa":false,"landing_page_url":"https://doi.org/10.1561/2500000020","pdf_url":null,"source":{"id":"https://openalex.org/S4210233022","display_name":"Foundations and Trends\u00ae in Programming Languages","issn_l":"2325-1107","issn":["2325-1107","2325-1131"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318575","host_organization_name":"Now Publishers","host_organization_lineage":["https://openalex.org/P4310318575"],"host_organization_lineage_names":["Now Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Foundations and Trends\u00ae in Programming Languages","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/A5070587638","display_name":"Madhavan Ravichandhran","orcid":null},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Ravichandhran Madhavan","raw_affiliation_strings":["EPFL, Switzerland","EPFL, Lausanne, Switzerland"],"affiliations":[{"raw_affiliation_string":"EPFL, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005900665","display_name":"G. Ramalingam","orcid":null},"institutions":[{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"G. Ramalingam","raw_affiliation_strings":["Microsoft Research, India"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, India","institution_ids":["https://openalex.org/I4210124949"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011779401","display_name":"Kapil Vaswani","orcid":null},"institutions":[{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Kapil Vaswani","raw_affiliation_strings":["Microsoft Research, India"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, India","institution_ids":["https://openalex.org/I4210124949"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5070587638"],"corresponding_institution_ids":["https://openalex.org/I5124864"],"apc_list":null,"apc_paid":null,"fwci":0.4484,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.8143724,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"1","issue":"4","first_page":"269","last_page":"381"},"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.7493000030517578,"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.7493000030517578,"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.11670000106096268,"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/T12479","display_name":"Web Application Security Vulnerabilities","score":0.036400001496076584,"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/consistency","display_name":"Consistency (knowledge bases)","score":0.5966686010360718},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.41593849658966064},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11097627878189087}],"concepts":[{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5966686010360718},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.41593849658966064},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11097627878189087}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1561/2500000020","is_oa":false,"landing_page_url":"https://doi.org/10.1561/2500000020","pdf_url":null,"source":{"id":"https://openalex.org/S4210233022","display_name":"Foundations and Trends\u00ae in Programming Languages","issn_l":"2325-1107","issn":["2325-1107","2325-1131"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318575","host_organization_name":"Now Publishers","host_organization_lineage":["https://openalex.org/P4310318575"],"host_organization_lineage_names":["Now Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Foundations and Trends\u00ae in Programming Languages","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1974604404","https://openalex.org/W2069216738","https://openalex.org/W2084875723","https://openalex.org/W2170577595"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"Modular":[0],"heap":[1,41,47,131],"analysis":[2,132],"techniques":[3],"analyze":[4],"a":[5,37,45,50,98,129,215],"program":[6,15],"by":[7,67],"computing":[8],"summaries":[9,26],"for":[10,27,200],"every":[11],"procedure":[12],"in":[13,60],"the":[14,28,58,61,95,149,156,162,167,176,201,212],"that":[16,43,54,134,211],"describes":[17],"its":[18],"effects":[19,48],"on":[20,36],"an":[21,144],"input":[22,62],"heap,":[23],"using":[24,49,191,204],"pre-computed":[25],"called":[29],"procedures.":[30],"In":[31],"this":[32,84],"article,":[33],"we":[34],"focus":[35],"family":[38],"of":[39,97,113,161,178,183,218],"modular":[40,130,172],"analyses":[42,65,87,158,173,219],"summarize":[44],"procedure\u2019s":[46],"context-independent,":[51],"shape-graph-like":[52],"summary":[53],"is":[55],"agnostic":[56],"to":[57,83,107,117,123],"aliasing":[59],"heap.":[63],"The":[64,164,208],"proposed":[66],"Whaley,":[68],"Salcianu":[69],"and":[70,78,94,101,111,147,151,174,181,203,223],"Rinard,":[71],"Buss":[72],"et":[73,76,80],"al.,":[74],"Lattner":[75],"al.":[77,81],"Cheng":[79],"belong":[82],"family.":[85],"These":[86],"are":[88],"very":[89],"efficient.":[90],"But":[91],"their":[92],"complexity":[93],"absence":[96],"theoretical":[99],"formalization":[100,165],"correctness":[102,150],"proofs":[103],"makes":[104],"it":[105],"hard":[106],"produce":[108],"correct":[109],"extensions":[110,180],"modifications":[112],"these":[114,136],"algorithms":[115],"(whether":[116],"improve":[118],"precision":[119,222],"or":[120,122],"scalability":[121],"compute":[124],"more":[125],"information).":[126],"We":[127,139,154,186],"present":[128],"framework":[133,142,190,213],"generalizes":[135],"four":[137,157],"analyses.":[138,185,207],"formalize":[140,155],"our":[141,189],"as":[143,159],"abstract":[145],"interpretation":[146],"establish":[148],"termination":[152],"guarantees.":[153],"instances":[160],"framework.":[163],"explains":[166],"basic":[168],"principle":[169],"behind":[170],"such":[171,184],"simplifies":[175],"task":[177],"producing":[179],"variations":[182],"empirically":[187],"evaluate":[188],"several":[192],"real-world":[193],"C\u266f":[194],"applications,":[195],"under":[196],"six":[197],"different":[198,221],"configurations":[199],"parameters,":[202],"three":[205],"client":[206],"results":[209],"show":[210],"offers":[214],"wide":[216],"range":[217],"having":[220],"scalability.":[224]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-03-30T06:00:46.510872","created_date":"2025-10-10T00:00:00"}