Improving Automatic C-to-Rust Translation with Static Analysis. - Hong, Jaemin (ICSE: International Conference on Software Engineering, 2023)