Translating C to safer Rust. - Mehmet Emre; Ryan Schroeder; Kyle Dewey; Ben Hardekopf (Proc. ACM Program. Lang., 2021)

Aliasing Limits on Translating C to Safe Rust. - Mehmet Emre; Peter Boyland; Aesha Parekh; Ryan Schroeder; Kyle Dewey; Ben Hardekopf (Proc. ACM Program. Lang., 2023)