@misc{indiciae108642f90ed8,
  title = {Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs},
  author = {Jaemin Hong and Sukyoung Ryu},
  year = {2023},
  url = {https://arxiv.org/abs/2301.10943},
  note = {Source identifier: 2301.10943}
}