The Bristol Programming Languages group has received a grant from Huawei Ireland to look into automatic translation of C code to Rust (PI: Meng Wang; Co-Is: Cristina David and Alex Kavvos).
Rust is a multi-paradigm, general-purpose programming language designed for performance and safety. Often considered a "safer C/C++," Rust has gained immense popularity among software developers, and is often the target of code migration from legacy C codebases. This project capitalises on the group’s extensive expertise on program synthesis (David) and type systems (Kavvos) which heavily influenced Rust's design, and aims to produce a mechanism for automatically translating C programs to Rust code.