Translating C to safer Rust M Emre, R Schroeder, K Dewey, B Hardekopf Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021 | 46 | 2021 |
Aliasing limits on translating c to safe rust M Emre, P Boyland, A Parekh, R Schroeder, K Dewey, B Hardekopf Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 551-579, 2023 | 7 | 2023 |