TY  - RPRT
TI  - CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety
AU  - Liyi Li
AU  - Arunkumar Bhattar
AU  - Le Chang
AU  - Mingwei Zhu
AU  - Aravind Machiry
PY  - 2023
UR  - https://arxiv.org/abs/2302.01811
ID  - 2302.01811
ER  -