Arunkumar Bhattar

Identifiers

• name variant Arunkumar Bhattar 0.60 · backfill

Papers (1)

1. CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety cs.CR · 2023 · author #2

Mentions

• 2302.01811 #2 · arxiv_oai · confidence 0.70 Arunkumar Bhattar

Frequent Coauthors

• Aravind Machiry 1 shared papers
• Le Chang 1 shared papers
• Liyi Li 1 shared papers
• Mingwei Zhu 1 shared papers