{"id":"https://openalex.org/W2122901253","doi":"https://doi.org/10.1145/1296907.1296912","title":"Detecting and eliminating memory leaks using cyclic memory allocation","display_name":"Detecting and eliminating memory leaks using cyclic memory allocation","publication_year":2007,"publication_date":"2007-10-21","ids":{"openalex":"https://openalex.org/W2122901253","doi":"https://doi.org/10.1145/1296907.1296912","mag":"2122901253"},"language":"en","primary_location":{"id":"doi:10.1145/1296907.1296912","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1296907.1296912","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th international symposium on Memory management","raw_type":"proceedings-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/A5069174535","display_name":"Huu Hai Nguyen","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167254","display_name":"Singapore-MIT Alliance for Research and Technology","ror":"https://ror.org/05yb3w112","country_code":"SG","type":"education","lineage":["https://openalex.org/I4210167254"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Huu Hai Nguyen","raw_affiliation_strings":["Singapore-MIT Alliance, Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"Singapore-MIT Alliance, Singapore, Singapore","institution_ids":["https://openalex.org/I4210167254"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045127387","display_name":"Martin Rinard","orcid":"https://orcid.org/0000-0001-8095-8523"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]},{"id":"https://openalex.org/I4210110987","display_name":"IIT@MIT","ror":"https://ror.org/01wp8zh54","country_code":"US","type":"facility","lineage":["https://openalex.org/I30771326","https://openalex.org/I4210110987"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Martin Rinard","raw_affiliation_strings":["MIT, Cambridge, MA","MIT, Cambridge, Ma.#TAB#"],"affiliations":[{"raw_affiliation_string":"MIT, Cambridge, MA","institution_ids":["https://openalex.org/I4210110987"]},{"raw_affiliation_string":"MIT, Cambridge, Ma.#TAB#","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5069174535"],"corresponding_institution_ids":["https://openalex.org/I4210167254"],"apc_list":null,"apc_paid":null,"fwci":11.1236,"has_fulltext":false,"cited_by_count":67,"citation_normalized_percentile":{"value":0.98285387,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"15","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9988999962806702,"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/T11424","display_name":"Security and Verification in Computing","score":0.9988999962806702,"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.9975000023841858,"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.9972000122070312,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/overlay","display_name":"Overlay","score":0.7995102405548096},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7991594672203064},{"id":"https://openalex.org/keywords/memory-leak","display_name":"Memory leak","score":0.609210193157196},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.5937803983688354},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.5743476748466492},{"id":"https://openalex.org/keywords/interleaved-memory","display_name":"Interleaved memory","score":0.4839690029621124},{"id":"https://openalex.org/keywords/memory-map","display_name":"Memory map","score":0.4800897240638733},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4504266679286957},{"id":"https://openalex.org/keywords/flat-memory-model","display_name":"Flat memory model","score":0.4214639365673065},{"id":"https://openalex.org/keywords/dynamic-random-access-memory","display_name":"Dynamic random-access memory","score":0.4119725823402405},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.33383867144584656},{"id":"https://openalex.org/keywords/semiconductor-memory","display_name":"Semiconductor memory","score":0.2392004132270813},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.1995595097541809},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1536160707473755},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08208057284355164}],"concepts":[{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.7995102405548096},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7991594672203064},{"id":"https://openalex.org/C156731835","wikidata":"https://www.wikidata.org/wiki/Q751740","display_name":"Memory leak","level":4,"score":0.609210193157196},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.5937803983688354},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.5743476748466492},{"id":"https://openalex.org/C63511323","wikidata":"https://www.wikidata.org/wiki/Q908936","display_name":"Interleaved memory","level":4,"score":0.4839690029621124},{"id":"https://openalex.org/C74426580","wikidata":"https://www.wikidata.org/wiki/Q719484","display_name":"Memory map","level":3,"score":0.4800897240638733},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4504266679286957},{"id":"https://openalex.org/C57863822","wikidata":"https://www.wikidata.org/wiki/Q905488","display_name":"Flat memory model","level":4,"score":0.4214639365673065},{"id":"https://openalex.org/C118702147","wikidata":"https://www.wikidata.org/wiki/Q189396","display_name":"Dynamic random-access memory","level":3,"score":0.4119725823402405},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.33383867144584656},{"id":"https://openalex.org/C98986596","wikidata":"https://www.wikidata.org/wiki/Q1143031","display_name":"Semiconductor memory","level":2,"score":0.2392004132270813},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.1995595097541809},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1536160707473755},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08208057284355164}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1296907.1296912","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1296907.1296912","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th international symposium on Memory management","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.72.2936","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.2936","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cag.lcs.mit.edu/~rinard/paper/ismm07.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.89.1565","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.1565","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.comp.nus.edu/~nguyenh2/papers/ismm07.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W54833955","https://openalex.org/W1492018576","https://openalex.org/W1525451871","https://openalex.org/W1547056753","https://openalex.org/W1967121117","https://openalex.org/W1990421520","https://openalex.org/W1996839061","https://openalex.org/W2000100269","https://openalex.org/W2002032317","https://openalex.org/W2005907808","https://openalex.org/W2007181618","https://openalex.org/W2014530617","https://openalex.org/W2036719919","https://openalex.org/W2077850509","https://openalex.org/W2082827821","https://openalex.org/W2084974764","https://openalex.org/W2094631165","https://openalex.org/W2098010463","https://openalex.org/W2102674270","https://openalex.org/W2127384478","https://openalex.org/W2138369269","https://openalex.org/W2141472905","https://openalex.org/W2142881762","https://openalex.org/W2166140339","https://openalex.org/W2170239024","https://openalex.org/W3003304722","https://openalex.org/W3031465972","https://openalex.org/W4244800399","https://openalex.org/W4251369193","https://openalex.org/W4255657263","https://openalex.org/W6681238821"],"related_works":["https://openalex.org/W4293054943","https://openalex.org/W1554378476","https://openalex.org/W4248614727","https://openalex.org/W3048967625","https://openalex.org/W2296275612","https://openalex.org/W2753615087","https://openalex.org/W2056436264","https://openalex.org/W4240600268","https://openalex.org/W4313907802","https://openalex.org/W2363104553"],"abstract_inverted_index":{"We":[0,182],"present":[1],"and":[2,9,73,205,278,313],"evaluate":[3,183,262],"a":[4,28,87,112],"new":[5],"technique":[6,20,98,185,241],"for":[7,250],"detecting":[8],"eliminating":[10],"memory":[11,17,88,105,152,162,208],"leaks":[12,209],"in":[13,131,210,232,245],"programs":[14],"with":[15,124],"dynamic":[16],"allocation.":[18],"This":[19],"observes":[21],"the":[22,25,39,46,49,51,57,66,69,77,83,95,97,100,118,128,132,135,138,140,146,155,159,168,173,179,217,226,254,263,273,280,293,306,308,320],"execution":[23,47],"of":[24,48,71,117,137,167,253,266,286,305],"program":[26,52,101,227,296,309],"on":[27],"sequence":[29],"oftraining":[30],"inputs":[31],"to":[32,102,145,164,189,202,228,317],"find":[33],"m-bounded":[34,256,276],"allocation":[35,106,126,156],"sites,":[36],"which":[37],"have":[38],"property":[40],"that":[41,63,91,108,122,198,216,237,258],"at":[42,54,62,90,107,121,154,172,275,297],"any":[43,151],"time":[44],"during":[45],"program,":[50],"accesses":[53],"most":[55],"only":[56,251],"last":[58],"m":[59,81,115,177,220],"objects":[60,75,116,169,231,288],"allocated":[61,72,120,171],"site.":[64,92],"If":[65],"difference":[67],"between":[68],"number":[70],"deallocated":[74],"from":[76],"site":[78,157,174],"grows":[79],"above":[80],"throughout":[82],"computation,":[84],"there":[85],"is":[86,175,200,215,242,314],"leak":[89,153],"To":[93,261],"eliminate":[94,206],"leak,":[96],"transforms":[99],"use":[103],"cyclic":[104],"site:":[109],"it":[110,188,199,259,301],"preallocates":[111],"buffer":[113,139],"containing":[114],"type":[119],"site,":[123],"each":[125],"returning":[127],"next":[129],"object":[130,180],"buffer.":[133],"At":[134],"end":[136],"allocations":[141],"wrap":[142],"back":[143],"around":[144],"first":[147],"object.":[148],"Cyclic":[149],"allocationeliminates":[150],"--":[158],"total":[160],"amountof":[161],"required":[163],"hold":[165],"all":[166],"ever":[170],"simply":[176],"times":[178],"size.":[181],"our":[184,238],"by":[186],"applying":[187],"several":[190],"widely-used":[191],"open":[192],"source":[193],"programs.":[194,212],"Our":[195,234],"results":[196,235,249],"show":[197],"able":[201,316],"successfully":[203],"detect":[204],"important":[207],"these":[211],"Apotential":[213],"concern":[214],"estimated":[218],"bounds":[219,239,274],"may":[221],"be":[222],"too":[223],"small,":[224],"causing":[225],"overlay":[229],"live":[230,268,287],"memory.":[233],"indicate":[236],"estimation":[240],"quite":[243],"accurate":[244],"practice,":[246],"providing":[247],"incorrect":[248],"one":[252],"160":[255],"sites":[257,277],"identifies.":[260],"potential":[264],"impact":[265],"overlaying":[267,285],"objects,":[269],"we":[270],"artificially":[271],"reduce":[272],"observe":[279],"resulting":[281,284],"behavior.":[282],"The":[283],"often":[289],"does":[290,302,310],"not":[291,311],"affect":[292],"functionality":[294],"ofthe":[295],"all;":[298],"even":[299],"when":[300],"impair":[303],"part":[304],"functionality,":[307],"fail":[312],"still":[315],"acceptably":[318],"deliver":[319],"remaining":[321],"functionality.":[322]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":13},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":6}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}