{"id":"https://openalex.org/W2248052518","doi":"https://doi.org/10.1109/issre.2015.7381811","title":"Automated resource release in device drivers","display_name":"Automated resource release in device drivers","publication_year":2015,"publication_date":"2015-11-01","ids":{"openalex":"https://openalex.org/W2248052518","doi":"https://doi.org/10.1109/issre.2015.7381811","mag":"2248052518"},"language":"en","primary_location":{"id":"doi:10.1109/issre.2015.7381811","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issre.2015.7381811","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)","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/A5017174482","display_name":"Jia-Ju Bai","orcid":"https://orcid.org/0000-0002-9500-6100"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jia-Ju Bai","raw_affiliation_strings":["National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100339128","display_name":"Yu-Ping Wang","orcid":"https://orcid.org/0000-0003-4129-7704"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu-Ping Wang","raw_affiliation_strings":["National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075036884","display_name":"Hu-Qiu Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hu-Qiu Liu","raw_affiliation_strings":["National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037233582","display_name":"Shi\u2010Min Hu","orcid":"https://orcid.org/0000-0001-7507-6542"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shi-Min Hu","raw_affiliation_strings":["National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Laboratory for Information Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I99065089"],"apc_list":null,"apc_paid":null,"fwci":0.3506,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.68745702,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"172","last_page":"182"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"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/T11424","display_name":"Security and Verification in Computing","score":0.9986000061035156,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9968000054359436,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8157799243927002},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.6752547025680542},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.618270754814148},{"id":"https://openalex.org/keywords/resource-management","display_name":"Resource management (computing)","score":0.5185973644256592},{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.5049534440040588},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.4387109875679016},{"id":"https://openalex.org/keywords/resource-allocation","display_name":"Resource allocation","score":0.43153154850006104},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.39720064401626587},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.35128411650657654},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3351321518421173},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.20430594682693481}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8157799243927002},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.6752547025680542},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.618270754814148},{"id":"https://openalex.org/C2780609101","wikidata":"https://www.wikidata.org/wiki/Q17156588","display_name":"Resource management (computing)","level":2,"score":0.5185973644256592},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.5049534440040588},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4387109875679016},{"id":"https://openalex.org/C29202148","wikidata":"https://www.wikidata.org/wiki/Q287260","display_name":"Resource allocation","level":2,"score":0.43153154850006104},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39720064401626587},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.35128411650657654},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3351321518421173},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.20430594682693481}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/issre.2015.7381811","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issre.2015.7381811","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W1583776219","https://openalex.org/W1708205384","https://openalex.org/W1973913856","https://openalex.org/W1975936355","https://openalex.org/W1995295735","https://openalex.org/W1996567876","https://openalex.org/W1998699392","https://openalex.org/W2000100269","https://openalex.org/W2004362216","https://openalex.org/W2006752465","https://openalex.org/W2012886500","https://openalex.org/W2026675907","https://openalex.org/W2027256755","https://openalex.org/W2031411490","https://openalex.org/W2034876169","https://openalex.org/W2041508799","https://openalex.org/W2048229966","https://openalex.org/W2054520963","https://openalex.org/W2061005179","https://openalex.org/W2064228006","https://openalex.org/W2066421240","https://openalex.org/W2079540358","https://openalex.org/W2081461908","https://openalex.org/W2088042822","https://openalex.org/W2096933749","https://openalex.org/W2098202130","https://openalex.org/W2102674270","https://openalex.org/W2116283852","https://openalex.org/W2121094954","https://openalex.org/W2121976262","https://openalex.org/W2126876608","https://openalex.org/W2127784167","https://openalex.org/W2130336012","https://openalex.org/W2131954495","https://openalex.org/W2141670850","https://openalex.org/W2145106894","https://openalex.org/W2147072352","https://openalex.org/W2154843497","https://openalex.org/W4229646679","https://openalex.org/W4237256801","https://openalex.org/W4247419475","https://openalex.org/W4248509944","https://openalex.org/W4251369193","https://openalex.org/W4253882112","https://openalex.org/W4254142897","https://openalex.org/W6657166589","https://openalex.org/W6674850668"],"related_works":["https://openalex.org/W2923452570","https://openalex.org/W206598027","https://openalex.org/W2978610750","https://openalex.org/W2022931285","https://openalex.org/W1589966275","https://openalex.org/W2086872282","https://openalex.org/W2137789903","https://openalex.org/W2138781885","https://openalex.org/W2153007255","https://openalex.org/W2362797233"],"abstract_inverted_index":{"Device":[0],"drivers":[1,196],"require":[2],"system":[3,46],"resources":[4,16,25,96,123,167],"to":[5,71,120,140,234],"control":[6],"hardware":[7],"and":[8,34,55,76,93,130,146,157,168,177,190,211],"provide":[9],"fundamental":[10],"services":[11],"for":[12,39,181],"applications.":[13],"The":[14,200],"acquired":[15,122,142,149],"must":[17],"be":[18,28],"explicitly":[19],"released":[20],"by":[21,30,108],"drivers.":[22],"Otherwise,":[23],"these":[24],"will":[26,127],"never":[27],"reclaimed":[29],"the":[31,110,117,136,204],"operating":[32],"system,":[33],"they":[35],"are":[36],"not":[37],"available":[38],"other":[40],"programs":[41],"any":[42],"more,":[43],"causing":[44],"hard-to-find":[45],"problems.":[47],"We":[48,185],"study":[49],"on":[50,98,193],"Linux":[51,198],"driver":[52,118],"mailing":[53],"lists,":[54],"find":[56],"many":[57],"applied":[58],"patches":[59],"handle":[60],"improper":[61],"resource-release":[62,78,218],"operations,":[63],"especially":[64],"in":[65,80,173,197],"error":[66,178],"handling":[67,179],"paths.":[68],"In":[69],"order":[70],"improve":[72],"current":[73],"resource":[74,155,183],"management":[75],"avoid":[77,165,235],"omissions":[79],"device":[81],"drivers,":[82],"we":[83,103],"propose":[84],"a":[85,105,151,227],"novel":[86],"approach":[87],"named":[88],"AutoRR,":[89],"which":[90,163],"can":[91,164],"automatically":[92],"safely":[94,147],"release":[95,121,141,148],"based":[97],"specification-mining":[99,232],"techniques.":[100],"During":[101],"execution,":[102,125],"maintain":[104],"resource-state":[106],"table":[107],"recording":[109],"runtime":[111,138],"information":[112,139],"of":[113,154,206,230],"function":[114],"calls.":[115],"If":[116],"fails":[119],"during":[124],"AutoRR":[126,171,187,207],"report":[128],"violations":[129,220],"call":[131],"corresponding":[132],"releasing":[133],"functions":[134],"with":[135,188],"recorded":[137],"resources.":[143],"To":[144],"fully":[145],"resources,":[150],"dynamic":[152],"analysis":[153],"dependency":[156],"allocation":[158],"hierarchy":[159],"is":[160,208],"also":[161],"performed,":[162],"dead":[166],"double":[169],"frees.":[170],"works":[172],"both":[174],"normal":[175],"execution":[176],"paths":[180],"reliable":[182],"management.":[184],"implement":[186],"LLVM,":[189],"evaluate":[191],"it":[192,212],"8":[194],"Ethernet":[195],"3.17.2.":[199],"evaluation":[201],"shows":[202,226],"that":[203],"overhead":[205],"very":[209],"low,":[210],"has":[213],"successfully":[214],"fixed":[215],"18":[216],"detected":[217],"omission":[219],"without":[221],"side":[222],"effects.":[223],"Our":[224],"work":[225],"feasible":[228],"way":[229],"using":[231],"results":[233],"related":[236],"violations.":[237]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}