C and Rust

Presented on October 12, 2020
Presenter: Mehmet

Preview

Mehmet discussed his work on translating C to safer Rust by reasoning about lifetimes and pointer usage.