Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs.

Jaemin Hong, Sukyoung Ryu

Browse the full ICSE paper archive.