{"id":"https://openalex.org/W4401749796","doi":"https://doi.org/10.1109/tse.2024.3447671","title":"Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language","display_name":"Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language","publication_year":2024,"publication_date":"2024-08-22","ids":{"openalex":"https://openalex.org/W4401749796","doi":"https://doi.org/10.1109/tse.2024.3447671"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2024.3447671","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2024.3447671","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","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/A5106662234","display_name":"Vikram Nitin","orcid":"https://orcid.org/0009-0004-8620-8255"},"institutions":[{"id":"https://openalex.org/I1328219102","display_name":"Red Hat (United States)","ror":"https://ror.org/03ncs3316","country_code":"US","type":"company","lineage":["https://openalex.org/I1328219102"]},{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vikram Nitin","raw_affiliation_strings":["Department of Computer Science, Columbia University, New York, NY, USA","RedHat Research, USA"],"raw_orcid":"https://orcid.org/0009-0004-8620-8255","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]},{"raw_affiliation_string":"RedHat Research, USA","institution_ids":["https://openalex.org/I1328219102"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023172604","display_name":"Anne Mulhern","orcid":null},"institutions":[{"id":"https://openalex.org/I1328219102","display_name":"Red Hat (United States)","ror":"https://ror.org/03ncs3316","country_code":"US","type":"company","lineage":["https://openalex.org/I1328219102"]},{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anne Mulhern","raw_affiliation_strings":["Red Hat Research, Boston, MA, USA","Department of Computer Science, Columbia University, New York, USA"],"raw_orcid":"https://orcid.org/0009-0005-8895-0688","affiliations":[{"raw_affiliation_string":"Red Hat Research, Boston, MA, USA","institution_ids":["https://openalex.org/I1328219102"]},{"raw_affiliation_string":"Department of Computer Science, Columbia University, New York, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Sanjay Arora","orcid":"https://orcid.org/0009-0003-4731-9959"},"institutions":[{"id":"https://openalex.org/I1328219102","display_name":"Red Hat (United States)","ror":"https://ror.org/03ncs3316","country_code":"US","type":"company","lineage":["https://openalex.org/I1328219102"]},{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sanjay Arora","raw_affiliation_strings":["Red Hat Research, Boston, MA, USA","Department of Computer Science, Columbia University, New York, USA"],"raw_orcid":"https://orcid.org/0009-0003-4731-9959","affiliations":[{"raw_affiliation_string":"Red Hat Research, Boston, MA, USA","institution_ids":["https://openalex.org/I1328219102"]},{"raw_affiliation_string":"Department of Computer Science, Columbia University, New York, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064541855","display_name":"Baishakhi Ray","orcid":"https://orcid.org/0000-0003-3406-5235"},"institutions":[{"id":"https://openalex.org/I1328219102","display_name":"Red Hat (United States)","ror":"https://ror.org/03ncs3316","country_code":"US","type":"company","lineage":["https://openalex.org/I1328219102"]},{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Baishakhi Ray","raw_affiliation_strings":["Department of Computer Science, Columbia University, New York, NY, USA","RedHat Research, USA"],"raw_orcid":"https://orcid.org/0000-0003-3406-5235","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]},{"raw_affiliation_string":"RedHat Research, USA","institution_ids":["https://openalex.org/I1328219102"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.6094,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.88679008,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"50","issue":"10","first_page":"2602","last_page":"2613"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13220","display_name":"Plant and Fungal Interactions Research","score":0.830299973487854,"subfield":{"id":"https://openalex.org/subfields/1310","display_name":"Endocrinology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T13220","display_name":"Plant and Fungal Interactions Research","score":0.830299973487854,"subfield":{"id":"https://openalex.org/subfields/1310","display_name":"Endocrinology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12668","display_name":"Yeasts and Rust Fungi Studies","score":0.7372000217437744,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8887801170349121},{"id":"https://openalex.org/keywords/annotation","display_name":"Annotation","score":0.7048825621604919},{"id":"https://openalex.org/keywords/rust","display_name":"Rust (programming language)","score":0.5945062041282654},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5779590606689453},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.49106788635253906},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.42569267749786377},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3608347177505493},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.29665327072143555}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8887801170349121},{"id":"https://openalex.org/C2776321320","wikidata":"https://www.wikidata.org/wiki/Q857525","display_name":"Annotation","level":2,"score":0.7048825621604919},{"id":"https://openalex.org/C197781089","wikidata":"https://www.wikidata.org/wiki/Q575650","display_name":"Rust (programming language)","level":2,"score":0.5945062041282654},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5779590606689453},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.49106788635253906},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.42569267749786377},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3608347177505493},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.29665327072143555}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2024.3447671","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2024.3447671","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5268600980","display_name":"Collaborative Research: SHF: Medium: Learning Semantics of Code To Automate Software Assurance Tasks","funder_award_id":"2313055","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6502924317","display_name":"CAREER: Systematic Software Testing for Deep Learning Applications","funder_award_id":"1845893","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8383979801","display_name":"Collaborative Research: SHF: Medium: Causal Performance Debugging for Highly-Configurable Systems","funder_award_id":"2107405","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"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W2020841721","https://openalex.org/W2149237601","https://openalex.org/W2245053900","https://openalex.org/W2779850521","https://openalex.org/W2793146918","https://openalex.org/W2893945704","https://openalex.org/W2996725384","https://openalex.org/W3034030180","https://openalex.org/W3109383821","https://openalex.org/W3151648723","https://openalex.org/W3152550240","https://openalex.org/W3202751128","https://openalex.org/W3206881395","https://openalex.org/W3209913027","https://openalex.org/W3212191335","https://openalex.org/W4200421685","https://openalex.org/W4281773296","https://openalex.org/W6682018898","https://openalex.org/W6760488125","https://openalex.org/W6780280437"],"related_works":["https://openalex.org/W2361861616","https://openalex.org/W2263699433","https://openalex.org/W2377979023","https://openalex.org/W2218034408","https://openalex.org/W2392921965","https://openalex.org/W2358755282","https://openalex.org/W2625833328","https://openalex.org/W1533177136","https://openalex.org/W4380994516","https://openalex.org/W2251519152"],"abstract_inverted_index":{"The":[0],"Rust":[1,21,69,78],"programming":[2],"language":[3],"is":[4],"becoming":[5],"increasingly":[6],"popular":[7],"among":[8],"systems":[9],"programmers":[10],"due":[11],"to":[12,26,34,52,56,73,96,107,137,147,167,181],"its":[13,61],"efficient":[14],"performance":[15],"and":[16,50,112,133,172,177,206,211],"robust":[17],"memory":[18,115,130],"safety":[19,131],"guarantees.":[20],"employs":[22],"an":[23],"ownership":[24],"model":[25],"ensure":[27],"these":[28,98,119,204],"guarantees":[29],"by":[30,37],"allowing":[31],"each":[32],"value":[33],"be":[35],"owned":[36],"only":[38],"one":[39],"identifier":[40],"at":[41],"a":[42,127,139,157,163,175],"time.":[43],"It":[44],"uses":[45,156],"the":[46,74,183,209],"concept":[47],"of":[48,76,129,190],"borrowing":[49],"lifetimes":[51],"enable":[53],"other":[54],"variables":[55],"temporarily":[57],"borrow":[58],"values.":[59],"Despite":[60],"benefits,":[62],"security":[63],"vulnerabilities":[64],"have":[65],"been":[66],"reported":[67],"in":[68,82],"projects,":[70],"often":[71],"attributed":[72],"use":[75],"\u201cunsafe\u201d":[77],"code.":[79],"These":[80],"vulnerabilities,":[81],"part,":[83],"arise":[84],"from":[85],"incorrect":[86,123],"lifetime":[87,124,150,191],"annotations":[88,125],"on":[89,203],"function":[90],"signatures.":[91],"However,":[92],"existing":[93],"tools":[94],"fail":[95],"detect":[97,108,148],"bugs,":[99],"primarily":[100],"because":[101],"such":[102],"bugs":[103,132,199],"are":[104],"rare,":[105],"challenging":[106],"through":[109],"dynamic":[110],"analysis,":[111],"require":[113],"explicit":[114],"models.":[116],"To":[117],"overcome":[118],"limitations,":[120],"we":[121,207],"characterize":[122],"as":[126],"source":[128],"leverage":[134],"this":[135],"understanding":[136],"devise":[138],"novel":[140],"static":[141],"analysis":[142,159,180],"tool,":[143],"<sc":[144,153,194],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[145,154,195],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Yuga</small>,":[146],"potential":[149,169],"annotation":[151,192],"bugs.":[152,184,193],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Yuga</small>":[155,196],"multi-phase":[158],"approach,":[160],"starting":[161],"with":[162,200],"quick":[164],"pattern-matching":[165],"algorithm":[166],"identify":[168],"buggy":[170],"components":[171],"then":[173],"conducting":[174],"flow":[176],"field-sensitive":[178],"alias":[179],"confirm":[182],"We":[185],"also":[186],"curate":[187],"new":[188],"datasets":[189,212],"successfully":[197],"detects":[198],"good":[201],"precision":[202],"datasets,":[205],"make":[208],"code":[210],"publicly":[213],"available.":[214]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":3}],"updated_date":"2025-12-26T23:08:49.675405","created_date":"2025-10-10T00:00:00"}