Login / Signup
Arunkumar Bhattar
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Memory Size
Spatio Temporal
Partitioning Algorithm
Computing Power
Top Venues
CoRR
</>
Publications
</>
Liyi Li
,
Arunkumar Bhattar
,
Le Chang
,
Mingwei Zhu
,
Aravind Machiry
CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety.
CoRR
(2023)