Huawei grant to Programming Languages group
22 December 2021
The Bristol Programming Languages group have been awarded funding to study modern, type-safe systems programming
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.