NumLin: Linear Types for Linear Algebra. - Dhruv C. Makwana; Neelakantan R. Krishnaswami (ECOOP, 2019)

NumLin: Linear Types for Linear Algebra (Artifact). - Dhruv C. Makwana; Neelakantan R. Krishnaswami (Dagstuhl Artifacts Ser., 2019)

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., 2023)

Fulminate: Testing CN Separation-Logic Specifications in C. - Rini Banerjee; Kayvan Memarian; Dhruv C. Makwana; Christopher Pulte; Neel Krishnaswami; Peter Sewell (Proc. ACM Program. Lang., 2025)