Dipesh Kafle

According to our database, Dipesh Kafle authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

Certified Program Synthesis with a Multi-Modal Verifier.

Yueyang Feng, Dipesh Kafle, Vladimir Gladshtein, Vitaly Kurin, George Pîrlea, Qiyuan Zhao, Peter Müller, Ilya Sergey

CoRR, April, 2026

2025

A Mechanically Verified Garbage Collector for OCaml.

Sheera Shamsu, Dipesh Kafle, Dhruv Maroo, Kartik Nagar, Karthikeyan Bhargavan, K. C. Sivaramakrishnan

J. Autom. Reason., June, 2025