Ownership Guided C to Rust Translation.

Hanliang Zhang, Cristina David, Yijun Yu, Meng Wang

Browse the full CAV paper archive.