{"678675":{"#nid":"678675","#data":{"type":"event","title":"PhD Proposal by Xiang Cheng","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003ETitle\u003C\/strong\u003E: Automatically Improving the code quality of Rust via LLM\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EDate\u003C\/strong\u003E: Monday, December 2, 2024\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003ETime\u003C\/strong\u003E: 10:00 AM \u2013 11:30 AM EST\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003ELocation\u003C\/strong\u003E: (virtual) \u003Ca href=\u0022https:\/\/gatech.zoom.us\/j\/94397495362\u0022\u003Ehttps:\/\/gatech.zoom.us\/j\/94397495362\u003C\/a\u003E\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EXiang Cheng\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EPh.D. Student\u003C\/p\u003E\u003Cp\u003ESchool of Computer Science \u0026amp; School of Cybersecurity and Privacy\u003C\/p\u003E\u003Cp\u003ECollege of Computing\u003C\/p\u003E\u003Cp\u003EGeorgia Institute of Technology\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003ECommittee:\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EDr. Taesoo Kim \u003Cem\u003E(advisor)\u003C\/em\u003E, School of Cybersecurity and Privacy, Georgia Institute of Technology\u003C\/p\u003E\u003Cp\u003EDr. Brendan D. Saltaformaggio, School of Cybersecurity and Privacy, Georgia Institute of Technology\u003C\/p\u003E\u003Cp\u003EDr. Qirun Zhang - School of Computer Science, Georgia Institute of Technology\u003C\/p\u003E\u003Cp\u003EDr. Alessandro Orso - School of Computer Science, Georgia Institute of Technology\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003EAbstract:\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003ERust, as an emerging system programming language that performs strict compilation checks, is gaining traction for its performance and memory safety advancements. It is adopted in crucial projects such as OS kernels, device drivers, web browsers, etc. While Rust\u0027s stringent memory safety features enhance security, they also pose challenges for developers in creating high-quality software and can lead to potential vulnerabilities.\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003ERecent advancements in large language models (LLMs) have demonstrated significant capabilities in understanding and reasoning about program logic, contributing to increased productivity in software development through LLM-based assistants. However, these tools often fall short in generating high-quality Rust code that adheres to its strict safety standards.\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp\u003EIn this proposal, we analyze the root cause of such gaps and propose different LLM-based tools to automatically improve the code quality of Rust from different aspects. From a testing perspective, we demonstrate a unit test generator for Rust: RUG, to automatically generate unit tests comparable with human developers. From a security perspective, we present SPOT, to recover the unsafe regions in Rust binaries and help with vulnerability hunting process. Finally, we propose COIN, a LLM based code analyzer for Rust to find implicit unsafe operations in Rust code.\u003C\/p\u003E\u003Cp\u003E\u0026nbsp;\u003C\/p\u003E","summary":"","format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"\u003Cp\u003EAutomatically Improving the code quality of Rust via LLM\u003C\/p\u003E","format":"limited_html"}],"field_summary_sentence":[{"value":"Automatically Improving the code quality of Rust via LLM"}],"uid":"27707","created_gmt":"2024-11-26 21:49:20","changed_gmt":"2024-11-26 21:50:12","author":"Tatianna Richardson","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2024-12-02T10:00:00-05:00","event_time_end":"2024-12-02T11:30:00-05:00","event_time_end_last":"2024-12-02T11:30:00-05:00","gmt_time_start":"2024-12-02 15:00:00","gmt_time_end":"2024-12-02 16:30:00","gmt_time_end_last":"2024-12-02 16:30:00","rrule":null,"timezone":"America\/New_York"},"location":"(virtual) ","extras":[],"groups":[{"id":"221981","name":"Graduate Studies"}],"categories":[],"keywords":[{"id":"102851","name":"Phd proposal"}],"core_research_areas":[],"news_room_topics":[],"event_categories":[{"id":"1788","name":"Other\/Miscellaneous"}],"invited_audience":[{"id":"78771","name":"Public"}],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[],"email":[],"slides":[],"orientation":[],"userdata":""}}}