Modern software increasingly demands memory-safe languages, with Rust emerging as a leading choice. Yet rewriting large legacy codebases is notoriously slow, error-prone and costly. This talk explores automatic approaches to translating C and Go code into Rust while preserving semantics and producing maintainable results. Our approach combines program analysis, testing and fuzzing with the generative capabilities of Large Language Models. I will also share lessons learned and highlight current limitations in scaling translation across languages and real-world systems.
Link to join virtually: https://cam-ac-uk.zoom.us/j/89473073451
A recording of this talk is available at the following link: https://www.cl.cam.ac.uk/seminars/wednesday/video/
This talk is being recorded. Any questions asked will also be included in the recording. The recording will be made available on the Department’s webpage
