KAIST's Revolutionary C-to-Rust Translator Garners Global Acclaim
A groundbreaking research team at KAIST has developed a C-to-Rust translator that has garnered worldwide praise for its precision and innovation. This technology addresses the security limitations of the C language, which has been the backbone of critical global software since the 1970s, by providing a reliable and secure alternative. The team's work, led by Professor Sukyoung Ryu and Researcher Jaemin Hong, has been featured as the cover story in CACM, the world's most prestigious academic journal in computer science.
The C language, while widely used, has structural limitations that lead to severe bugs and security vulnerabilities. Rust, a secure programming language developed since 2015, offers a solution by detecting and preventing bugs before program execution. Recognizing the need for a safer alternative, the US White House recommended discontinuing C in a 2024 technology report, and DARPA explicitly endorsed Rust as the core solution for C's security issues.
Professor Ryu's team took a proactive approach, addressing C's safety concerns and the importance of automatic conversion even before these movements gained momentum. They have been developing core technologies to ensure a seamless transition from C to Rust. In May 2023, they introduced Mutex conversion technology, essential for program synchronization, at ICSE, the top conference in software engineering. In June 2024, they presented Output Parameter conversion technology, used for result delivery, at PLDI, the premier programming languages conference. In October of the same year, they showcased Union conversion technology, designed for storing diverse data together, at ASE, the leading conference in software automation.
These three studies represent 'world-first' achievements, presented at top-tier international academic conferences, demonstrating high completeness in automatic conversion technology for each function. Since 2023, the team has consistently published papers in CACM, solidifying their status as global leaders in solving significant and challenging problems in computer science.
The paper, published on October 24, features Dr. Jaemin Hong as the first author. Dr. Hong emphasizes the technology's strength in logically proving the 'correctness' of the conversion, setting it apart from most research that relies on Large Language Models (LLMs). He highlights the mathematical guarantee of conversion correctness.
Dr. Hong is set to join the Computer Science Department at UNIST as an Assistant Professor in March 2025. Additionally, Professor Ryu's team has four papers accepted for presentation at ASE 2025, the highest-authority conference in software engineering, including C→Rust conversion technology.
These papers cover various cutting-edge software engineering fields and are receiving high international acclaim. They include technology to verify quantum computer program correctness, 'WEST' technology for WebAssembly program correctness and testing, and technology for simplifying complex WebAssembly code. The WEST paper received the Distinguished Paper Award.
This research was supported by the National Research Foundation of Korea, the Institute of Information & Communications Technology Planning & Evaluation (IITP), and Samsung Electronics.
The team's work not only addresses the security concerns of the C language but also paves the way for a safer and more robust future in software development.
