Dhruv C. Makwana

According to our database, Dhruv C. Makwana authored at least 3 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

CN: Verifying Systems C Code with Separation-Logic Refinement Types.

Christopher Pulte, Dhruv C. Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell, Neel Krishnaswami

Proc. ACM Program. Lang., January, 2023

2019

NumLin: Linear Types for Linear Algebra (Artifact).

Dhruv C. Makwana, Neelakantan R. Krishnaswami

Dagstuhl Artifacts Ser., 2019

NumLin: Linear Types for Linear Algebra.

Dhruv C. Makwana, Neelakantan R. Krishnaswami

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019