{"id":{"repo_id":"gatech","oai_identifier":"oai:repository.gatech.edu:1853/78728"},"canonical_url":"https://search.dev.ndltd.org/etd/gatech/oai:repository.gatech.edu:1853/78728","repository":{"repo_id":"gatech","name":"Georgia Tech","base_url":"https://repository.gatech.edu/server/oai/request"},"display":{"title":"Automatically Improving The Code Quality Of Rust Via LLM","abstract":"In this thesis, the research objective is to define and resolve the challenges of leveraging LLM to automatically improve Rust’s code quality. The application of LLMs to Rust code quality improvement requires addressing fundamental challenges in three key areas: generating compilable code that satisfies Rust’s strict type system, detecting subtle safety violations that escape traditional analysis, and creating comprehensive test suites that achieve meaningful code coverage. These challenges necessitate novel approaches that combine LLMs with program analysis techniques specifically designed for Rust’s unique characteristics.","abstract_html":"In this thesis, the research objective is to define and resolve the challenges of leveraging LLM to automatically improve Rust’s code quality. The application of LLMs to Rust code quality improvement requires addressing fundamental challenges in three key areas: generating compilable code that satisfies Rust’s strict type system, detecting subtle safety violations that escape traditional analysis, and creating comprehensive test suites that achieve meaningful code coverage. These challenges necessitate novel approaches that combine LLMs with program analysis techniques specifically designed for Rust’s unique characteristics.","abstract_has_math":false,"creators":["Cheng, Xiang"],"institution":"Georgia Institute of Technology","degree_name":null,"degree_level":"Doctoral","degree_discipline":null,"degree_department":"Computer Science","school":null,"contributors":[],"advisors":["Kim, Taesoo"],"committee_chairs":[],"committee_members":["Orso, Alessandro","Zhang, Qirun","Zhang, Xiaokuan","Saltaformaggio, Brendan"],"year":2025,"date_issued":"2025-07-29","date_published":"2025-07-29","updated_at":"2026-07-27T19:49:22Z","subjects":["Rust","LLM"],"languages":["en_US"],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/1853/78728","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Kim, Taesoo"]},{"key":"dc:contributor.committeemember","label":"Committee Member","values":["Orso, Alessandro","Zhang, Qirun","Zhang, Xiaokuan","Saltaformaggio, Brendan"]},{"key":"dc:contributor.department","label":"Department","values":["Computer Science"]},{"key":"dc:creator","label":"Author","values":["Cheng, Xiang"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2025-08-15T12:45:00Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2025-08-15T12:45:00Z"]},{"key":"dc:date.issued","label":"Date","values":["2025-07-29"]},{"key":"dc:publisher","label":"Institution","values":["Georgia Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Text"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Doctoral"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Rust","LLM"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["en_US"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/1853/78728"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["In this thesis, the research objective is to define and resolve the challenges of leveraging LLM to automatically improve Rust’s code quality. The application of LLMs to Rust code quality improvement requires addressing fundamental challenges in three key areas: generating compilable code that satisfies Rust’s strict type system, detecting subtle safety violations that escape traditional analysis, and creating comprehensive test suites that achieve meaningful code coverage. These challenges necessitate novel approaches that combine LLMs with program analysis techniques specifically designed for Rust’s unique characteristics."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["Ph.D."]},{"key":"dc:format.mimetype","label":"Dc Format Mimetype","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Automatically Improving The Code Quality Of Rust Via LLM"]}]}],"canonical_facts":{"dc:contributor.advisor":["Kim, Taesoo"],"dc:contributor.committeemember":["Orso, Alessandro","Zhang, Qirun","Zhang, Xiaokuan","Saltaformaggio, Brendan"],"dc:contributor.department":["Computer Science"],"dc:creator":["Cheng, Xiang"],"dc:date.accessioned":["2025-08-15T12:45:00Z"],"dc:date.available":["2025-08-15T12:45:00Z"],"dc:date.issued":["2025-07-29"],"dc:description.abstract":["In this thesis, the research objective is to define and resolve the challenges of leveraging LLM to automatically improve Rust’s code quality. The application of LLMs to Rust code quality improvement requires addressing fundamental challenges in three key areas: generating compilable code that satisfies Rust’s strict type system, detecting subtle safety violations that escape traditional analysis, and creating comprehensive test suites that achieve meaningful code coverage. These challenges necessitate novel approaches that combine LLMs with program analysis techniques specifically designed for Rust’s unique characteristics."],"dc:description.degree":["Ph.D."],"dc:format.mimetype":["application/pdf"],"dc:identifier.uri":["https://hdl.handle.net/1853/78728"],"dc:language.iso":["en_US"],"dc:publisher":["Georgia Institute of Technology"],"dc:subject":["Rust","LLM"],"dc:title":["Automatically Improving The Code Quality Of Rust Via LLM"],"dc:type":["Text"],"thesis:degree_level":["Doctoral"]},"updated_at":"2026-07-27T19:49:22Z"}