C and Rust
Presented on October 12, 2020
Presenter: Mehmet
Presenter: Mehmet
Preview
Mehmet discussed his work on translating C to safer Rust by reasoning about lifetimes and pointer usage.
Mehmet discussed his work on translating C to safer Rust by reasoning about lifetimes and pointer usage.