{"id":"https://openalex.org/W4387667195","doi":"https://doi.org/10.1145/3622858","title":"Inference of Resource Management Specifications","display_name":"Inference of Resource Management Specifications","publication_year":2023,"publication_date":"2023-10-16","ids":{"openalex":"https://openalex.org/W4387667195","doi":"https://doi.org/10.1145/3622858"},"language":"en","primary_location":{"id":"doi:10.1145/3622858","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622858","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622858","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3622858","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055186230","display_name":"Narges Shadab","orcid":"https://orcid.org/0009-0008-4417-9416"},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Narges Shadab","raw_affiliation_strings":["University of California, Riverside, Riverside, USA"],"raw_orcid":"https://orcid.org/0009-0008-4417-9416","affiliations":[{"raw_affiliation_string":"University of California, Riverside, Riverside, USA","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026733663","display_name":"Pritam Gharat","orcid":"https://orcid.org/0000-0002-5961-8142"},"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":"Pritam Gharat","raw_affiliation_strings":["Microsoft Research, Bengaluru, India"],"raw_orcid":"https://orcid.org/0000-0002-5961-8142","affiliations":[{"raw_affiliation_string":"Microsoft Research, Bengaluru, India","institution_ids":["https://openalex.org/I4210124949"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101520294","display_name":"Shrey Tiwari","orcid":"https://orcid.org/0000-0001-6697-0219"},"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":"Shrey Tiwari","raw_affiliation_strings":["Microsoft Research, Bengaluru, India"],"raw_orcid":"https://orcid.org/0000-0001-6697-0219","affiliations":[{"raw_affiliation_string":"Microsoft Research, Bengaluru, India","institution_ids":["https://openalex.org/I4210124949"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032068969","display_name":"Michael D. Ernst","orcid":"https://orcid.org/0000-0001-9379-277X"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]},{"id":"https://openalex.org/I58610484","display_name":"Seattle University","ror":"https://ror.org/02jqc0m91","country_code":"US","type":"education","lineage":["https://openalex.org/I58610484"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael D. Ernst","raw_affiliation_strings":["University of Washington, Seattle, USA"],"raw_orcid":"https://orcid.org/0000-0001-9379-277X","affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, USA","institution_ids":["https://openalex.org/I201448701","https://openalex.org/I58610484"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043023022","display_name":"Martin Kellogg","orcid":"https://orcid.org/0000-0002-3185-2340"},"institutions":[{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Martin Kellogg","raw_affiliation_strings":["New Jersey Institute of Technology, Newark, USA"],"raw_orcid":"https://orcid.org/0000-0002-3185-2340","affiliations":[{"raw_affiliation_string":"New Jersey Institute of Technology, Newark, USA","institution_ids":["https://openalex.org/I118118575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041084431","display_name":"Shuvendu K. Lahiri","orcid":"https://orcid.org/0000-0002-4446-4777"},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shuvendu K. Lahiri","raw_affiliation_strings":["Microsoft Research, Redmond, USA"],"raw_orcid":"https://orcid.org/0000-0002-4446-4777","affiliations":[{"raw_affiliation_string":"Microsoft Research, Redmond, USA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029930688","display_name":"Akash Lal","orcid":"https://orcid.org/0009-0002-4359-9378"},"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":"Akash Lal","raw_affiliation_strings":["Microsoft Research, Bengaluru, India"],"raw_orcid":"https://orcid.org/0009-0002-4359-9378","affiliations":[{"raw_affiliation_string":"Microsoft Research, Bengaluru, India","institution_ids":["https://openalex.org/I4210124949"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038828346","display_name":"Manu Sridharan","orcid":"https://orcid.org/0000-0001-7993-302X"},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Manu Sridharan","raw_affiliation_strings":["University of California, Riverside, Riverside, USA"],"raw_orcid":"https://orcid.org/0000-0001-7993-302X","affiliations":[{"raw_affiliation_string":"University of California, Riverside, Riverside, USA","institution_ids":["https://openalex.org/I103635307"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3576,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.66114458,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"7","issue":"OOPSLA2","first_page":"1705","last_page":"1728"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"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.9993000030517578,"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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9990000128746033,"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.8125025033950806},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.7644627094268799},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.5697287321090698},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5676433444023132},{"id":"https://openalex.org/keywords/aliasing","display_name":"Aliasing","score":0.5001764297485352},{"id":"https://openalex.org/keywords/resource-management","display_name":"Resource management (computing)","score":0.4802599251270294},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4140920341014862},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3617515563964844},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20102429389953613}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8125025033950806},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.7644627094268799},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.5697287321090698},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5676433444023132},{"id":"https://openalex.org/C4069607","wikidata":"https://www.wikidata.org/wiki/Q868732","display_name":"Aliasing","level":3,"score":0.5001764297485352},{"id":"https://openalex.org/C2780609101","wikidata":"https://www.wikidata.org/wiki/Q17156588","display_name":"Resource management (computing)","level":2,"score":0.4802599251270294},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4140920341014862},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3617515563964844},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20102429389953613},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C136536468","wikidata":"https://www.wikidata.org/wiki/Q1225894","display_name":"Undersampling","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3622858","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622858","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622858","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3622858","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622858","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622858","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1410056772","display_name":null,"funder_award_id":"CCF-2007024, CCF-2312262, and CCF-2312263","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2101301583","display_name":"Collaborative Research: SHF: Small: Lightweight Modular Typestate","funder_award_id":"2007024","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3047886343","display_name":"Collaborative Research: SHF: MEDIUM: General and Scalable Pluggable Type Inference","funder_award_id":"2312263","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3757292255","display_name":null,"funder_award_id":"FA8750-20-C-0226","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G8341170471","display_name":"Collaborative Research: SHF: MEDIUM: General and Scalable Pluggable Type Inference","funder_award_id":"2312262","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387667195.pdf","grobid_xml":"https://content.openalex.org/works/W4387667195.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W1963569294","https://openalex.org/W2033348393","https://openalex.org/W2044590882","https://openalex.org/W2053152889","https://openalex.org/W2074847015","https://openalex.org/W2106355420","https://openalex.org/W2113909714","https://openalex.org/W2130336012","https://openalex.org/W2776911292","https://openalex.org/W2899384793","https://openalex.org/W2927576984","https://openalex.org/W3100869085","https://openalex.org/W3195901183","https://openalex.org/W3206533211","https://openalex.org/W4230238662","https://openalex.org/W4250682300","https://openalex.org/W4284685949","https://openalex.org/W4386589281","https://openalex.org/W6966362943"],"related_works":["https://openalex.org/W2100212762","https://openalex.org/W2749690376","https://openalex.org/W4281673905","https://openalex.org/W2788563018","https://openalex.org/W2786317006","https://openalex.org/W2997587123","https://openalex.org/W2055243143","https://openalex.org/W3206385231","https://openalex.org/W4285339164","https://openalex.org/W2100577465"],"abstract_inverted_index":{"A":[0,46],"resource":[1,12,38,43,47,112,125,134,161],"leak":[2],"occurs":[3],"when":[4,171],"a":[5,22,95,105,111,116,155,186],"program":[6,53],"fails":[7],"to":[8,36,85,90,98,108,178,193],"free":[9],"some":[10],"finite":[11],"after":[13],"it":[14,62],"is":[15,131],"no":[16],"longer":[17],"needed.":[18],"Such":[19],"leaks":[20,39],"are":[21],"significant":[23,96],"cause":[24],"of":[25,121,188,229,248],"real-world":[26,195],"crashes":[27],"and":[28,59,70,72,219,254],"performance":[29],"problems.":[30],"Recent":[31],"work":[32],"proposed":[33],"an":[34,199,222],"approach":[35,80],"prevent":[37],"based":[40],"on":[41],"checking":[42],"management":[44,48,113,135,162],"specifications.":[45],"specification":[49,114,163],"expresses":[50],"how":[51],"the":[52,65,88,119,142,160,166,172,230,238,241,245,252],"allocates":[54],"resources,":[55,71],"passes":[56],"them":[57],"around,":[58],"releases":[60],"them;":[61],"also":[63],"tracks":[64],"ownership":[66],"relationship":[67],"between":[68,75],"objects":[69],"aliasing":[73],"relationships":[74],"objects.":[76],"While":[77],"this":[78,129],"specify-and-verify":[79],"has":[81],"several":[82],"advantages":[83],"compared":[84],"prior":[86],"techniques,":[87],"need":[89],"manually":[91,236],"write":[92],"annotations":[93,231],"presents":[94,104],"barrier":[97],"its":[99],"practical":[100,151],"adoption.":[101],"This":[102],"paper":[103],"novel":[106],"technique":[107,156,226],"automatically":[109],"infer":[110,159],"for":[115,124,150,237],"program,":[117],"broadening":[118],"applicability":[120],"specify-and-check":[122],"verification":[123],"leaks.":[126],"Inference":[127],"in":[128,139,169,210,217],"domain":[130],"challenging":[132],"because":[133],"specifications":[136],"differ":[137],"significantly":[138],"nature":[140],"from":[141],"types":[143],"that":[144,157,179,232],"most":[145],"inference":[146,189,202,208],"techniques":[147],"target.":[148],"Further,":[149,240],"effectiveness,":[152],"we":[153],"desire":[154],"can":[158],"intended":[164],"by":[165],"developer,":[167],"even":[168],"cases":[170],"code":[173],"does":[174],"not":[175],"fully":[176],"adhere":[177],"specification.":[180],"We":[181,204],"address":[182],"these":[183],"challenges":[184],"through":[185],"set":[187],"rules":[190],"carefully":[191],"designed":[192],"capture":[194],"coding":[196],"patterns,":[197],"yielding":[198],"effective":[200],"fixed-point-based":[201],"algorithm.":[203],"have":[205],"implemented":[206],"our":[207,225],"algorithm":[209],"two":[211],"different":[212],"systems,":[213],"targeting":[214],"programs":[215],"written":[216,235],"Java":[218],"C#.":[220],"In":[221],"experimental":[223],"evaluation,":[224],"inferred":[227],"85.5%":[228],"programmers":[233],"had":[234],"benchmarks.":[239],"verifier":[242],"issued":[243],"nearly":[244],"same":[246],"rate":[247],"false":[249],"alarms":[250],"with":[251],"manually-written":[253],"automatically-inferred":[255],"annotations.":[256]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}