%53%75%6b%79%6f%75%6e%67%20%52%79%75
-
Automatic C to Rust Translation Technology Gains Global Attention for Accuracy Beyond AI
<(From Left) Professor Sukyoung Ryu, Researcher Jaemin Hong>
As the C language, which forms the basis of critical global software like operating systems, faces security limitations, KAIST's research team is pioneering core original technology research for the accurate automatic conversion to Rust to replace it. By proving the mathematical correctness of the conversion, a limitation of existing Artificial Intelligence (LLM) methods, and solving C language security issues through automatic conversion to Rust, they presented a new direction and vision for future software security research. This work has been selected as the cover story for CACM, the world's highest-authority academic journal, thereby demonstrating KAIST's global research leadership in the field of computer science.
KAIST announced on the 9th of November that the paper by Professor Sukyoung Ryu's research team (Programming Language Research Group) from the School of Computing was selected as the cover story for the November issue of CACM (Communications of the ACM), the highest authority academic journal published by ACM (Association for Computing Machinery), the world's largest computer society.
<Photo of the Paper Selected for the Cover of Communications of the ACM>
This paper comprehensively addresses the technology developed by Professor Sukyoung Ryu's research team for the automatic conversion of C language to Rust, and it received high acclaim from the international research community for presenting the technical vision and academic direction this research should pursue in the future.
The C language has been widely used in the industry since the 1970s, but its structural limitations have continuously caused severe bugs and security vulnerabilities. Rust, on the other hand, is a secure programming language developed since 2015, used in the development of operating systems and web browsers, and has the characteristic of being able to detect and prevent bugs before program execution.
The US White House recommended discontinuing the use of C language in a technology report released in February 2024, and the Defense Advanced Research Projects Agency (DARPA) also explicitly stated that Rust is the core alternative for resolving C language security issues by promoting a project to develop technology for the automatic conversion of C code to Rust.
Professor Sukyoung Ryu's research team proactively raised the issues of C language safety and the importance of automatic conversion even before these movements began in earnest, and they have continuously developed core related technologies.
In May 2023, the research team presented the Mutex conversion technology (necessary for program synchronization) at ICSE (International Conference on Software Eng), the top authority conference in software engineering. In June 2024, they presented the Output Parameter conversion technology (used for result delivery) at PLDI (Programming Language Design and Implementation), the top conference in programming languages, and in October of the same year, they presented the Union conversion technology (for storing diverse data together) at ASE (Automated Software Eng), the representative conference in software automation.
These three studies are all "world-first" achievements presented at top-tier international academic conferences, successfully implementing automatic conversion technology for each feature with high completeness.
Since 2023, the research team has consistently published papers in CACM every year, establishing themselves as global leading researchers who consistently solve important and challenging problems worldwide.
This paper was published in CACM (Communications of the ACM) on October 24, with Dr. Jaemin Hong (Postdoctoral Research Fellow at KAIST Information and Electronics Research Institute) as the first author. ※Paper Title: Automatically Translating C to Rust, DOI: https://doi.org/10.1145/3737696
Dr. Jaemin Hong stated, "The conversion technology we developed is an original technology based on programming language theory, and its biggest strength is that we can logically prove the 'correctness' of the conversion." He added, "While most research relies on Large Language Models (LLMs), our technology can mathematically guarantee the correctness of the conversion."
Dr. Hong is scheduled to be appointed as an Assistant Professor in the Computer Science Department at UNIST starting in March 2025.
Furthermore, Professor Ryu's research team has four papers accepted for presentation at ASE 2025, the highest-authority conference in software engineering, including C→Rust conversion technology.
These papers, in addition to automatic conversion technology, cover various cutting-edge software engineering fields and are receiving high international acclaim. They include: technology to verify whether quantum computer programs operate correctly, 'WEST' technology that automatically checks the correctness of WebAssembly programs (technology for fast and efficient program execution on the web) and creates tests for them, and technology that automatically simplifies complex WebAssembly code to quickly find errors. Among these, the WEST paper received the Distinguished Paper Award.
This research was supported by the Leading Research Center/Mid-career Researcher Support Program of the National Research Foundation of Korea, the Institute of Information & Communications Technology Planning & Evaluation (IITP), and Samsung Electronics.
2025.11.10 View 6040 -
Krafton Matches Alumni Donations to Raise 11 Billion KRW for SW Developers
Alumni donations from the School of Computing, including Baemin and Devsisters, continue to grow
Alumni from the KAIST School of Computing who are current and former developers at the leading game company Krafton, established by KAIST alumna Byung-Gyu Chang, made an agreement to help raise 11 billion KRW during a ceremony on June 4. The funds raised in the matching grant will be used to nurture software developers.
Krafton Chairman Chang donated 10 billion won last January. His donation inspired other alumni working at Krafton as well as its former developers. Eleven KAIST alumni raised 5.5 billion KRW in two months and discussed the matching grant idea with Chairman Chang.
The Krafton matching grant ceremony was attended by President Kwang Hyung Lee, Provost and Executive Vice President Seung Seob Lee, Vice President for Research Sang Yup Lee, Head of the School of Computing Sukyoung Ryu, Krafton Chairman Byung-gyu Chang, and KAIST alumnus from Krafton Seung-woo Shin. Other alumni donors including Krafton CEO Changhan Kim joined the ceremony online.
Krafton CEO Changhan Kim said, “Just as our alma mater played an important role in growing our company, we hope that our donation could help support good developers. This will not only help our company, but advance our industry.”
KAIST and Krafton also signed a business agreement to foster competitive developers. Krafton said it plans to continue giving back to society through the matching grant program.
Head of the School of Computing Sukyoung Ryu thanked Chairman Chang and alumni who took part in the fund raising, saying, “To take the lead in rapidly changing computer technology, we desperately need more top students, faculty members, and facilities. We need more resources and infrastructure for interdisciplinary research.”
The School of Computing has seen significant growth recently. Its number of undergraduate students has increased from 450 in 2016 to more than 900 in 2021. With this donation, the school will expand its current buildings to provide diverse educational and mentoring programs in more spacious facilities.
Seung-woo Shin (Class of ’92), who joined Krafton’s matching grant, said, “I have always been thankful for the people I met and what I learned at KAIST. I was moved by the idea of giving back to the school.”
Seong-jung Ryu (Class of ’97) said, “This donation reminded me of the good times I had back then. I thought it was crucial that the department’s facilities be extended, so I naturally wanted to take part.”
Alumni donations, especially from the School of Computing, have also continued to grow more recently. Woowa Brothers Corp. CEO Beom-Jun Kim, the developer of the meal delivery app ‘Baemin’ donated 100 million KRW in April. Baemin became the most used app in the country during the COVID-19 pandemic.
He explained, “I have been thinking about ways to give something to the next generation, rather than ‘paying back’ those who helped me in the past.”
Encouraged by Baemin’s donation, alumni couple Ha-Yeon Seo and Dong-Hun Hahn from the School of Computing and eleven alumni engineers working at Devsisters Corp. also followed suit.
2021.06.09 View 18138