Dhruv C. Makwana

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 3

Top Topics

Radon Transform

Image Processing

Computer Architecture

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Christopher Pulte, Dhruv C. Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell, Neel Krishnaswami
CN: Verifying Systems C Code with Separation-Logic Refinement Types. Proc. ACM Program. Lang. 7 (POPL) (2023)
Dhruv C. Makwana, Neelakantan R. Krishnaswami
NumLin: Linear Types for Linear Algebra. ECOOP (2019)
Dhruv C. Makwana, Neelakantan R. Krishnaswami
NumLin: Linear Types for Linear Algebra (Artifact). Dagstuhl Artifacts Ser. 5 (2) (2019)