CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety. - Liyi Li 002; Arunkumar Bhattar; Le Chang; Mingwei Zhu; Aravind Machiry (CoRR, 2023)

Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper). - Sourag Cherupattamoolayil; Arunkumar Bhattar; Connor Glosner; Aravind Machiry (Proc. ACM Softw. Eng., 2025)