Login / Signup

CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety.

Liyi LiArunkumar BhattarLe ChangMingwei ZhuAravind Machiry
Published in: CoRR (2023)
Keyphrases