View all news

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

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.

Edit this page