{"id":"https://openalex.org/W2123545957","doi":"https://doi.org/10.1145/2039239.2039241","title":"Finding resource-release omission faults in Linux","display_name":"Finding resource-release omission faults in Linux","publication_year":2011,"publication_date":"2011-10-23","ids":{"openalex":"https://openalex.org/W2123545957","doi":"https://doi.org/10.1145/2039239.2039241","mag":"2123545957"},"language":"en","primary_location":{"id":"doi:10.1145/2039239.2039241","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2039239.2039241","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 Workshop on Programming Languages and Operating Systems","raw_type":"proceedings-article"},"type":"conference-paper","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/A5034435303","display_name":"Suman Saha","orcid":"https://orcid.org/0000-0002-2601-3243"},"institutions":[{"id":"https://openalex.org/I4210159731","display_name":"LIP6","ror":"https://ror.org/05krcen59","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210159245","https://openalex.org/I4210159731"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Suman Saha","raw_affiliation_strings":["LIP6-Regal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIP6-Regal","institution_ids":["https://openalex.org/I4210159731"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040879516","display_name":"Julia Lawall","orcid":"https://orcid.org/0000-0002-1684-1264"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Julia Lawall","raw_affiliation_strings":["DIKU, University of Copenhagen"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIKU, University of Copenhagen","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5106355298","display_name":"Gilles Muller","orcid":"https://orcid.org/0000-0002-0000-8569"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gilles Muller","raw_affiliation_strings":["INRIA/LIP6-Regal","INRIA/LIP6-Regal#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA/LIP6-Regal","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"INRIA/LIP6-Regal#TAB#","institution_ids":["https://openalex.org/I1326498283"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1441,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.77070408,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9991999864578247,"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/computer-science","display_name":"Computer science","score":0.7415888905525208},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6466317176818848},{"id":"https://openalex.org/keywords/survivability","display_name":"Survivability","score":0.5285369753837585},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.5178366303443909},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5113360285758972},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.4941745102405548},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.45682671666145325},{"id":"https://openalex.org/keywords/directory","display_name":"Directory","score":0.44325536489486694},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.38785743713378906},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3475872874259949},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3256179392337799},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1793491244316101},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10749080777168274},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08631265163421631}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7415888905525208},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6466317176818848},{"id":"https://openalex.org/C2781133158","wikidata":"https://www.wikidata.org/wiki/Q1088669","display_name":"Survivability","level":2,"score":0.5285369753837585},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.5178366303443909},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5113360285758972},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.4941745102405548},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.45682671666145325},{"id":"https://openalex.org/C2777683733","wikidata":"https://www.wikidata.org/wiki/Q201456","display_name":"Directory","level":2,"score":0.44325536489486694},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.38785743713378906},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3475872874259949},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3256179392337799},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1793491244316101},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10749080777168274},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08631265163421631},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/2039239.2039241","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2039239.2039241","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 Workshop on Programming Languages and Operating Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.419.1728","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.419.1728","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://sigops.org/sosp/sosp11/workshops/plos/01-saha.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.671.6821","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.671.6821","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://pagesperso-systeme.lip6.fr/Julia.Lawall/plos11.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-01286604v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01286604","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"6th Workshop on Programming Languages and Operating Systems, Oct 2011, Cascais, Portugal. ⟨10.1145/2039239.2039241⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1531717019","https://openalex.org/W1968027261","https://openalex.org/W2008626182","https://openalex.org/W2043811931","https://openalex.org/W2054520963","https://openalex.org/W2104292255","https://openalex.org/W2156841542","https://openalex.org/W2162422574","https://openalex.org/W2171471938"],"related_works":["https://openalex.org/W2387494004","https://openalex.org/W2162492390","https://openalex.org/W2350417149","https://openalex.org/W2036372418","https://openalex.org/W2545190132","https://openalex.org/W212597372","https://openalex.org/W2114587117","https://openalex.org/W2151533375","https://openalex.org/W2105280038","https://openalex.org/W2165219878"],"abstract_inverted_index":{"The":[0],"management":[1],"of":[2,5,16,30,46,74,120,128],"the":[3,14,72,80,117,133],"releasing":[4],"allocated":[6],"resources":[7],"is":[8,85],"a":[9,43,124],"continual":[10],"problem":[11],"in":[12,67,82,98,116],"ensuring":[13],"robustness":[15],"systems":[17],"code.":[18],"Missing":[19],"resource-releasing":[20,62,75],"operations":[21,63],"lead":[22],"to":[23,35,86,93,111,139,142],"memory":[24],"leaks":[25],"and":[26,70],"deadlocks.":[27],"A":[28],"number":[29],"approaches":[31],"have":[32,42],"been":[33,137],"proposed":[34],"detect":[36],"such":[37],"problems,":[38],"but":[39],"they":[40],"often":[41,65],"high":[44],"rate":[45,127],"false":[47,125],"positives,":[48],"or":[49],"focus":[50],"only":[51,129],"on":[52,79],"commonly":[53],"used":[54],"functions.":[55],"In":[56],"this":[57],"paper":[58],"we":[59],"observe":[60],"that":[61,71,101,135],"are":[64],"found":[66,138],"error-handling":[68],"code,":[69],"choice":[73],"operation":[76],"may":[77],"depend":[78],"context":[81],"which":[83],"it":[84],"be":[87,140],"used.":[88],"We":[89,107],"propose":[90],"an":[91],"approach":[92,110],"finding":[94],"resource-release":[95],"omission":[96],"faults":[97,115],"C":[99],"code":[100],"takes":[102],"into":[103],"account":[104],"these":[105],"issues.":[106],"use":[108],"our":[109],"find":[112],"over":[113],"100":[114],"drivers":[118],"directory":[119],"Linux":[121],"2.6.34,":[122],"with":[123],"positive":[126],"16%,":[130],"well":[131],"below":[132],"30%":[134],"has":[136],"acceptable":[141],"developers.":[143]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}