@misc{indiciae8ebf0f021499,
  title = {CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety},
  author = {Liyi Li and Arunkumar Bhattar and Le Chang and Mingwei Zhu and Aravind Machiry},
  year = {2023},
  url = {https://arxiv.org/abs/2302.01811},
  note = {Source identifier: 2302.01811}
}