@misc{indiciae8d639dcd3e59,
  title = {Ownership guided C to Rust translation},
  author = {Hanliang Zhang and Cristina David and Yijun Yu and Meng Wang},
  year = {2023},
  url = {https://arxiv.org/abs/2303.10515},
  note = {Source identifier: 2303.10515}
}